Személyes eszközök
Keresés

 

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.

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