Felsőbb Matematika Informatikusoknak C.

                                               Alkalmazott Algebra és Matematikai Logika

                                                         Előadók: Ivanyos Gábor és Ferenczi Miklós

     Tudnivalók a félévzárással kapcsolatban:

    Mat.Logika zh. eredmények és az algebra megajánlással összevont megajánlott jegyek itt megtekinthetők. A MatLog pót zh.-ban elkövetett leggyakoribb hibákra nézve, lásd ezen lap alját!

    A MatLogika zh eredmények az utolsó megírt zh.-ra vonatkoznak (a megajánlás alsó határa a rendes zh.-nál 17p, a pót zh.-nál: 14p). A megajánlásnál a két féljegy átlagát vettük és felfelé kerekítettük. Ha valaki kapott az egyik negyedévből megajánlást, akkor csak a másik témából kell vizsgáznia. Ha valaki vizsgázik egy témából, amelyből megajánlást kapott, akkor a megajánlást elveszíti.

    Pót-pót zh: dec. 15. 8h E 407  Erre a Neptunban jelentkezni kell és csak azok jöjjenek, akik a) egyik - és csak egyik - témából egyáltalán nem írtak zh.-t b) vizsgázni kívánnak. Megajánlást szerezni ez alkalommal már nem lehet.

    Elfogadott jegy beiratása: Akik elfogadják a megajánlott jegyet, azok jelentkezzenek a dec. 20.-i vizsga alkalomra a Neptunban. Írjanak e-mailt viszont dec. 16-ig azok, akik a) nem biztosak abban, hogy elfogadják a megajánlást b) ténylegesen vizsgázni kívánnak dec. 20-án, feltüntetve, hogy melyik tárgyból kívánnak vizsgázni (e-mail címek: ferenczi@math.bme.hu, ivanyos@sztaki.mta.hu)

    A MatLog vizsgáról: A vizsga írásbeli része hasonló lesz az eddigi zh. sorozatokhoz, azzal a különbséggel, hogy elméletet is tartalmaz. Bizonyításokat nem kérdezek (az elméletre nézve lásd az alább kijelölt részeket a jegyzetből). Az elmélet és a feladatok aránya kb. 50-50%. Amennyiben az írásbeli eléri az elégségest, akkor lehet javítani egy, nem kötelező, szóbelin.

2011, dec. 10

Ferenczi Miklós


    Előadás: H - Cs, 12 -14h
    Qép. 09

    Alkalmazott Algebra
    1-7 hét.
    1. zh.: okt 27.
      további tudnivalók


   Matematikai Logika
   8-14 hét.

    Jegyzet:
    Ferenczi Miklós: Matematikai logika, Műszaki Kiadó, 2002,  Innen lehívható

    Ajánlott:
    Ferenczi, M., Szőts, M., Mathematical Logic for Applications, Typotex, 2011, Innen lehívható

    Mat. logika Pót zh.: Dec. 8.  18-20, Terem: KF76 (NEM a Stoczek Nagy!). 
    A pótzh.-n a rendes zh.-éhoz azonos feltételekkel lehet indulni a megajánlásért (ill. aláírásért).

    A pót zh. kijavítása után egyeztetetek Ivanyos tanár úrral és megírjuk a Neptunon, hogy pontosan melyek a megajánlott jegyek. Azt is megírjuk, hogy melyik vizsgára kell jelentkezni a jegy beiratáshoz.

    A következők nem tekintették meg a II. zh.-t: (kimutatásom szerint)
     ST5763, 27/40p, (4)
     WPCGJ8, 25/40p., (3\4)
     H7UQWK, 13/40p.
     QBOP3B, 7/40p
     G45EQE, 0/40p
     
   
    Kihirdettem a legutóbbi előadáson a következőt:

    PÓT HÁZI FELADAT (azoknak, akik a kötelező hf.-t nem adták be időben): A http://www.umsu.de/logik/trees/ oldalon található program egy működtetését kell dokumentálni egy a jegyzetből választott teszőleges feladat választásával (megjelölve, hogy hol található a feladat).. A nyomtatott példányt kérem a hétfői előadásra (dec. 5-re ).

   
    Kötelező házi feladat nov. 29-i beadással: a feladatok innen letölthetők

   2. zh. : december 1. Stoczek Nagy, 18-20

    Konzultáció (pótóra): nov. 29 (kedd), 16h, Q 13.

   A 2. zh. -ban a következő feladattípusok szerepelhetnek ( a zárójelben az az oldalszám szerepel, ahol a jegyzetben mintapéldák találhatók a típusra):

    Formalizálás (57),
    Logikai következmény fogalom helyességének vizsgálata definíció alapján (73),
    A logikai következmény fogalom helyességének vizsgálata analitikus fával (135),
    Normálformára hozás (82),
    Ellentmondástalanság, függetlenség és komplettség vizsgálata modell módszerrel ( 200),
    A kompaktsági tétel alkalmazása (6),
    Állítás rezolúció (146).

    A tanult elmélet a jegyzetből:
    1. fejezet (kimaradt: 1.1.3)
     2. fejezet  (kimaradt: 2.4.2 és 2.4.3)
    3. fejezet : 3.1, 3.2, 3.3.1, 3.4
    4. fejezet 4.1, 4.2.1,
    5. fejezet: 5.1
     6. fejezet: 6.1.1
     
   Vizsga időpontok: dec. (15), 20, jan 3, 10, 17 (termeket, pontos időpontokat lásd a Neptunon).

   A MatLog pót zh. feladatairól:
    Pontozás:
     1. 7 + 10
     2. 10
     3. 8 + 5
     4.  5
     Szumma 40-t számoltam az összpontszámnál!
Osztályzat határok: 16- elégséges, 22 - közepes, 28 - jó, 34- jeles .

Megjegyzések az egyes feladatokhoz:   
    1a) Megoldás: Jegyzet, 59old, 8. Példa. Néhányan csak a felülről korlátosságot formalizálták.
      b) Több zh.-ban lemaradt a "kizáró vagy" formalizálása, valamint a konklúzió tagadása. Továbbá mindkét utóbbi formulát klóz alakra is kellett hozni.
    2 Többen keverték az érvénytelenség, kielégíthetőség, érvényesség fogalmakat.
    3 Néhányan az a) résznél nem negáltak, viszont a b) résznél negáltak.
       Az analitikus fáknál helytelen, ha valaki a specifikációt nem a balszélso kvantorral kezdi (hanem valamelyik belsővel).
    4. A bizonyítás teljesen hasonló a  86old-on található példáéhoz.

 
    Ferenczi Miklós