Személyes eszközök
Keresés

 

A InfoWiki wikiből

A lap korábbi változatát látod, amilyen Kovasz (vita | szerkesztései) 2014. október 8., 15:37-kor történt szerkesztése után volt.
(eltér) ←Régebbi változat | Aktuális változat (eltér) | Újabb változat→ (eltér)

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.

A lap eredeti címe: „http://wiki.ektf.hu/wiki/LOG
Nézetek
nincs sb_52.55.55.239 cikk