A InfoWiki wikiből
(Változatok közti eltérés)
(Új oldal, tartalma: „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/...”) |
|||
| 1. sor: | 1. sor: | ||
A félév során 2 db. ZH-t kell írni a gyakorlati órákon. | A félév során 2 db. ZH-t kell írni a gyakorlati órákon. | ||
| + | <ul> | ||
| + | <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> | ||
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> | |
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:38-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.
