59 KB
Eddig 993 alkalommal töltötték le.
Az informatika logikai alapjai [Kötelező] tantárgyhoz tartozó fájl.
Gépelt jegyzet az első zh-t megelőző anyagból.
- a logika feladata
- Arisztotelész alapelvei
- Következtetési sémák
- Logikai összekötőjelek
- Logikai nyelv
- Miért van szüksége a logikának saját nyelvre?
- Az ítéletlogika
- A szerkezeti indukció elve
- Az egyértelmű elemzés tétele
- A szerkezeti rekurzió elve
- Logikai összetettség
- Interpretáció
- Az ítéletlogikai formulák szemantikája
- Ítéletlogikai törvények
- Formulák normálformái
- Szemantikus következményfogalom
Ezt a fájlt admin töltötte fel 2013. 09. 06. 15:05:38-kor és azóta nem volt módosítva.