A InfoWiki wikiből
(Változatok közti eltérés)
2. sor: | 2. sor: | ||
<ul> | <ul> | ||
<li> | <li> | ||
- | Az 1. ZH anyaga a nulladrendű logika: formalizálás, igazságtábla, logikai törvény/kielégíthetőség/ellentmondás, konjunktív és diszjunktív normálforma. | + | Az '''1. ZH anyaga''' a nulladrendű logika: formalizálás, igazságtábla, logikai törvény/kielégíthetőség/ellentmondás, konjunktív és diszjunktív normálforma. |
<li> | <li> | ||
- | A 2. ZH anyaga az elsőrendű logika: formalizálás, matematikai logikai nyelvek (GEOM, AR, SUBSET), Gentzen kalkulus. | + | A '''2. ZH anyaga''' az elsőrendű logika: formalizálás, matematikai logikai nyelvek (GEOM, AR, SUBSET), Gentzen kalkulus. |
</ul> | </ul> | ||
- | Az előadás anyagából kollokviumot kell tenni. | + | Az előadás anyagából '''kollokviumot''' kell tenni. |
A lap 2014. október 8., 15:39-kori változata
A félév során 2 db. ZH-t kell írni a gyakorlati órákon.
- Az 1. ZH anyaga a nulladrendű logika: formalizálás, igazságtábla, logikai törvény/kielégíthetőség/ellentmondás, konjunktív és diszjunktív normálforma.
- A 2. ZH anyaga az elsőrendű logika: formalizálás, matematikai logikai nyelvek (GEOM, AR, SUBSET), Gentzen kalkulus.
Az előadás anyagából kollokviumot kell tenni.