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ů
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 |