Cílem předmětu je seznámit studenty s pojmovým aparátem a metodami výrokové logiky, predikátové logiky 1. řádu a teorií formálních systémů. Tento aparát a tyto metody jsou běžně používány v různých oblastech informatiky (precizace a formalizace intuitiv
Hodně kreditů
Zkratka:
ML
Kredity:
8
Ukončení:
Zkouška
Garant:
Marie Duží
Projektů:
1
Bodů k zápočtu:
15
| Popis | Nahrál | Materiál | Staženo | Nahráno |
|---|---|---|---|---|
| Zapoctovy test 12/2014 | flofa | Zadání ke zkoušce | 74x | 08.12.2014 |
| okruhy ke zkousce + tahák | /predmety/matematicka-logika | Zpracované otázky ke zkoušce | 534x | 20.01.2013 |
| Odpovědi si musíte trochu domyslet, jsou zatržené od dvou lidí, ale dá se to. | ratata | Zpracované otázky ke zkoušce | 328x | 12.01.2013 |
| variantyBCD z 5.1.2011 | wib | Zadání ke zkoušce | 280x | 12.11.2012 |
| přepsané zkoušky z minulého roku | ahlstrom | Zpracované otázky ke zkoušce | 549x | 13.12.2011 |
| Vypočtené všechny příklady z prologu k zítřejší zápočtové písemce z ML. | LorD_OniX | Vypočtené příklady | 489x | 05.12.2011 |
| Prezentace, asi z přednášek | Demilich | Balík přednášek | 168x | 31.05.2011 |
| Různé otázky ze zkoušky 2010/2011 | rad | Zadání ke zkoušce | 453x | 24.01.2011 |
| zkouška 2011 | rad | Zadání ke zkoušce | 417x | 24.01.2011 |
| POOPRAVENE vypracovane otazky k zkousce ML cca 55 otazek...upravujte dale POKUD jste si JISTI! | wib | Zadání ke zkoušce | 669x | 19.01.2011 |