Személyes eszközök
Keresés

 

A InfoWiki wikiből

(Változatok közti eltérés)
Aktuális változat (2014. december 11., 15:43) (lapforrás)
(Az informatika logikai alapjai)
 
9. sor: 9. sor:
</ul>
</ul>
Az előadás anyagából '''kollokviumot''' kell tenni.
Az előadás anyagából '''kollokviumot''' kell tenni.
 +
 +
<p>
 +
'''Levelező tagozaton''': A ZH-k fent olvasható anyagából egy '''beugró feladatot''' kell megoldaniuk a kollokvium elején. Csak annak sikeres megoldása esetén lehet tételt húzni.

Aktuális változat

Az informatika logikai alapjai

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.

Levelező tagozaton: A ZH-k fent olvasható anyagából egy beugró feladatot kell megoldaniuk a kollokvium elején. Csak annak sikeres megoldása esetén lehet tételt húzni.

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