| MIF0008 | Aspecte Pragmatice în programare |
| Titularii de disciplina |
| Célkitűzések |
|
adatok ábrázolásmódjainak elsajátítása a számírógépek felépítésének alapját képezo logikai áramkörök megismerése a matematikai logika alapjainak elsajátítása a Prolog nyelv alapját képezo rezolúciós stratégia megismerése |
| Tartalom |
|
Eloadás és szeminárium Számrendszerek A számrendszerek kialakulása Valós számok ábrázolása adott b alapon Átváltási módszerek Muveletek tetszoleges alapú számrendszerekben Példák a 2-es, 8-as és 16-os számrendszerben Adatok ábrázolása a számítógépben A kódolás és dekódolás Alfanumerikus kódok Elojel nélküli egészek ábrázolása, muveletek Egész számok ábrázolása, komplementer kód Valós számok ábrázolása: fixpontos és lebegopontos ábrázolás Hibaészlelo és hibajavító kódok Boole-algebra Logikai muveletek, kifejezések szintaxisa Szemantika: kifejezések értelmezése (logikai értékek), tautologia, ellentmondás (kontradikció) A Boole algebra axiómái Igazságfüggvények megadási módjai és azok közötti kapcsolatok Boole-függvények egyszerusítése Normálformák Logikai áramkörök Elemi logikai kapuk („and”, „or”, „not”) értelmezése, fizikai megvalósításuk Származtatott logikai kapuk („xor”, „nand”, „nor”) és kapcsolataik az elemi logikai kapukkal Boole-függvények megvalósítása logikai kapuk segítségével Példák logikai áramkörökre (összehasonlító áramkör, dekódoló, félösszeadó, összeadó) Matematikai logika alapjai Elsorendu matematikai-logikai nyelvek, termek, formulák értelmezése. Példák elsorendu nyelvekre Szabad és kötött változók, változók helyettesítése termekkel Normálformák Ítéletek formalizálása Logikai nyelv klasszikus szemantikája, igazságértékelés a modellben, interpretáció Logikai törvények, ellentmondásos formulák, kielégítheto formulák Logikai kalkulus, levezethetoség Rezolúció Klóz, prenex forma, Skolem-normálforma Herbrandt univerzum, Herbrandt tétel Illeszto helyettesítés (unifikáció) A rezolúciós stratégia, Cáfolati gráf, válaszadási gráf Rezolúciós stratégiák Horn kalkulus |
| Felmérés |
|
év közben (20%) minden szemináriumon rövid zárthelyi dolgozat; lehetoség plusz pontok szerzésére egyéb tevékenységekkel (bittologatók részvétel, TDK, stb) vizsgán (80%) írásbeli vizsga Részletesebb információk a honlapomon: http://www.cs.ubbcluj.ro/~robu/bmc |