Návrh algoritmů IIAutoři: Černá, Ivana
Kurz Návrh algoritmů II (PDF) navazuje na úvodní kurz Návrh algoritmů I. Prezentuje algoritmické koncepty a konstrukty bez jejich přímé návaznosti na konkrétní programovací jazyk. Cílem publikace je stručně objasnit konstruování a analýzy algoritmů v kontextu pseudokódů, jsou zde uvedeny pokročilé techniky analýzy algoritmů. Publikace se využívá v předmětu Návrh algoritmů II (IB108). |
Formální jazyky a automaty IAutoři: Černá, Ivana - Křetínský, Mojmír - Kučera, Antonín
Kurz Formální jazyky a automaty I (PDF) prezentuje základní pojmy a konstrukce teorie formálních jazyků (formální jazyky, gramatiky, konečné a zásobníkové automaty a Turingovy stroje). Jsou zde předvedeny aplikace gramatik a automatů při návrhu, popisu a analýze formálních jazyků, jakož i klasifikace problémů vzhledem k jejich rozhodnutelnosti. Text je studentům dostupný ve výuce předmětu Formální jazyky a automaty I ( IB005). |
Logická analýza přirozeného jazykaAutoři: Materna, Pavel
Práce Logická analýza přirozeného jazyka (PDF) je primárně určena jako podpora přednášky se stejným názvem (IV029 Logická analýza přirozeného jazyka I), ale může být využita kterýmkoliv čtenářem zajímajícím se o procedurální sémantiku. Jak ukázaly zkušenosti s přednášením této látky na Fakultě informatiky, je pojetí vyložené v textu a založené na tzv. transparentní intenzionální logice zajímavé a inspirativní zejména pro informatiky, kteří dobře vědí, že je zásadní rozdíl mezi procedurou a jejím výsledkem. Další cílovou skupinou čtenářů jsou filozofové, logici a lingvisté. |
Logická analýza přirozeného jazyka IIAutoři: Materna, Pavel
Publikace Logická analýza přirozeného jazyka II navazuje na skripta Logická analýza přirozeného jazyka. V tomto druhém dílu je Transparentní intenzionální logika (TIL) využita jako teorie pojmů. Logická analýza přirozeného jazyka II podává explikaci, která bude vyhovovat především těm, kdo si uvědomují, že procedura je něco jiného než výsledek procedury, tj. zejména informatikům. Významné implikace lze hledat směrem k lingvistice. Výukový text je zařazen ve studijních materiálech stejnojmenného předmětu (IA157) na Fakultě informatiky. |
Úvod do informatikyAutoři: Hliněný, Petr
Výukový text Úvod do informatiky (pdf verze) strukturovaným matematickým přístupem seznamuje čtenáře s formálními oblastmi důležitými pro úspěšné studium informatiky a je navíc doplněn řadou interaktivních cvičení v IS MU. Obsahově pokrývá především základy matematického vyjadřování, teorie množin a relací, výrokové logiky a formalizace algoritmů. Tento text je využívám v předmětu FI: IB000 Úvod do informatiky vyučovaném v podzimním semestru. |
Základy teorie grafůAutoři: Hliněný, Petr
Výukový text Základy teorie grafů (pdf verze) čtenáře seznámí jak s přehlednými základy klasické teorie grafů, tak i s hlavními grafovými pojmy užitečnými pro aplikace (především ty informatické) a závěrem rozvede některé zajímavé nové směry vývoje. Text je koncipován jako soběstačný celek, který od čtenáře nevyžaduje o mnoho více než běžné středoškolské matematické znalosti, k tomu znalost základních formalismů matematiky a chuť do studia. Tento text je využíván v předmětu FI: MA010 Graph Theory (on-line průvodce v IS MU v angličtině) vyučovaném v podzimním semestru. |
Právo a právní vědaAutoři: Telec, Ivo
Soubory webových prezentací Právo a právní věda obsahují vybraná témata zaměřená na otázky práva a právní vědy. Pozornost je věnována zejména právu duševního vlastnictví, některým částem práva občanského a vědecké propedeutice, resp. právním aspektům výzkumu a vývoje, a to na základě principů právního myšlení. Odborný obsah prezentací je přizpůsoben cílovým studentům, pro které právo není primárním oborem. Jde o studijní text pro studenty Fakulty informatiky v předmětech Principy právního myšlení (VB041), Právo duševního vlastnictví (VB042), Právní aspekty výzkumu a vývoje (VV060). Kolekci všech souvisejících prací je možné nalézt v souborném svazku. |
fi
muni
cz
fi
muni
cz
fi
muni
czElportál (E-learning na MU) ISSN 1802-128X