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/...”) |
Aktuális változat (2014. december 11., 15:43) (lapforrás) (→Az informatika logikai alapjai) |
||
(3 közbeeső változat nincs mutatva) | |||
1. sor: | 1. sor: | ||
+ | == Az informatika logikai alapjai == | ||
+ | |||
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. | ||
- | 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. | + | <ul> |
- | A 2. ZH anyaga az elsőrendű logika: formalizálás, matematikai logikai nyelvek (GEOM, AR, SUBSET), Gentzen kalkulus. | + | <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. | ||
+ | <li> | ||
+ | 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. | ||
- | + | <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.