1. rész Matematikai Logika (1-7 hét)


Záró dolgozat és a megoldások

Pót.zh.április 16-án, 12.15. a T 606-ban.


FIGYELEM! A Matematikai logika rész záró dolgozata az utolsó előadás időpontjában, tehát
márc.27-én, szerdán, 12.15-től, de nem a szokásos teremben, hanem a Km 34.-ben lesz.
Az eredményeket a Neptunon keresztül megírom (ápr. 5-ig), megtekintés ápr.8.-án,9.15-10.00, H.405.
A zh.-ra mintát itt talál: Mintazh. (megoldások lent)
A tanult elméleti TANANYAG a jegyzetben:
1. (kivéve 1.1.3), 2. (kivéve 2.1.3 és 2.4.3), 3. (kivéve 3.2, 3.5.3, 3.6.1.4-5)
4.1.1, 5.1 és 6.2

Előadás és gyakorlat:
  H 405a hétfő 10-12
  H 405a szerda 12-14
A foglalkozások közben 10 perc szünet.

Jegyzet és példatár: Ferenczi Miklós, Matematikai Logika, 2014, Műszaki Kiadó
(második, módosított kiadás)

Hozzáolvasás: Burke, E.- Foxley, E, Logic and its Applications, Prentice Hall

A félév során rendszeresen lesznek házi feladatok, amelyeket be lehet adni.

Számonkérés:
A tárgy első (Matematikai logika) és második része (Algoritmuselmélet) is egy záró dolgozattal végződik, amelyeket az illető rész lezárásának hetében íratunk. A dolgozat 4-5 feladatból és egy elméleti kérdésből áll. A félévközi jegy a két eredmény átlagolásából adódik. Mindkét dolgozat íratása utáni héten lesz pótlási lehetőség, sőt, lesz még egy pót zh. a félév zárása előtt is (itt már csak az egyik részt lehet pótolni). A zh.-k pontos időpontját és anyagát később hirdetjük ki.


A tárgy első részével kapcsolatos hirdetmények majd itt jelennek meg a honlapon, illletve a sürgős hirdetmények a Neptun levelezésben.

Hf1.megoldások
Hf2.megoldások
Hf3.megoldások
Hf4.megoldások
Hf5,(Mintazh) megoldások


Algoritmuselmélet
A tárgy ezen 2. részét, dr. Csima Judit tanárnő tartja. A 2. rész honlapja majd itt található: www.cs.bme.hu/~csima

Ferenczi Miklós
Algebra és geometria Tsz. H 445
ferenczi@math.bme.hu