Elméleti számítástudomány
Matematikai Logika (8-14 hét)


A pót zh. eredményeket lásd a lap alján!
A  Matematikai Logika pót zh.-k megtekinthetők május 20-án a H445-ben 12h-kor.

Pótpót zh. május 21. 10.00, IB 134.
    (pótpót zh.-t már csak az egyik témából lehet írni).



Figyelem! Aki nem látta még a Matematika logika zh.-ját, az megtekintheti május 14-én (szerda) 18h-tól, az E I.B-ben. Ha nem tud jönni és nem ismeri a zh. eredményét sem, akkor írjon e-mailt.


Pót zh. május 16. (az előadás helyén)
         14.00-15.00 a 2. zh. pótlása
         15.00-16.00 az 1. zh. pótlása

    (az is írhat pót zh.-kat, akinek mindkét zh.-ja elégtelen).


Előadás és gyakorlat:
T 606 kedd 10-12
T 606 péntek 14-16


Jegyzet: Ferenczi Miklós, Matematikai logika, 2014, Műszaki kiadó

Zárthelyi: május 10 (szombat, pénteki tanítás helyett), 12.15 , K 134

A zh. anyaga a jegyzetből:  1.1 (1.1.3 nem), 2 fej (95old, 11 Tétel nem),  3.1, 3.3,  3.5
 
4.1.2 és 6.2 (utóbbi kettőt a  zh.-ra még nem kell tudni)
(a fentiek jelentős része ismétlés) bizonyításokat nem kell tudni

Feladat típusok:
Formalizálás, Normálformára hozás, Következmény fogalom vizsgálata a definíció alapján, Rezolúciós levezetés, Korrekt válasz megadása.

Függetlenség és ellentmondástalanság vizsgálat (utóbbi kettő a zh.-ra még nem kell).

MintaZh1
MintaZh2  (csak feladat rész)




Neptun kód

1.       Pót

2.       Pót

(2: 22/55p)

 Félévv. jegy

 

O45HEZ

 

5  (51)

5

 

PZSN98

 

5 (42)

5

 

CFGOW7

 

2 (22)

3

 

LHTWUE

 

2  (23)

2

 

YF9ON1

 

2 (22)

2

 

BTH3HK

1

 

PP1

 

K030V3

1

2  (22)

PP1

 

CVFRIB

2

 

3

 

A01QF6

3

1 (6)

PP2

 

E3SVMC

 

 

 

 

YFCPRE

1

 1 (10)

1

 

FXGKZ3

4

 

4

 

GYNDRC

3

 

3

 

XND5XO

 

2 (22)

2

 

PDO43C

1

 

PP1

 

E3HBW9

 

3 (28)

 

 

IQA5ET

 

4  (35)

4

 

BUQDRN

3

2 (22)

3

 

 

Ferenczi Miklós