Felsőbb Matematika Informatikusoknak

                                                      Alkalmazott Algebra és Matematikai Logika
                
                (2019/20 ősz)


                                                                    Matematikai Logika
                                                                              Előadó: Ferenczi Miklós


         Figyelem! Óracsere! Okt.15-n kedden, Matematikai logika, okt.18-án pénteken, Alkalmazott algebra óra.
      

         Előadások:
         Kedd 10-12,  E1C (Alkalmazott Algebra, Nagy Gábor Péter)
         Péntek  10-12  E1C (Matematikai logika, Ferenczi Miklós)

         Zárthelyi (közös a két témából):
         2019-11-13, Sze 18-20 
         pzh 2019-11-28, Cs 18-20

         A vizsga írásbeli, a két témából közös. 4-5 zh. eredmény beszámításra kerül.
        

         Jegyzet: Ferenczi Miklós, Matematikai logika, Műszaki kiadó, 2002 (a második, bővített  kiadás, 2014-ben jelent meg).

         Az anyag a jegyzetből:
         1.1 A nyelv - kivéve 1.1.3 (29-41)
         2.1 Struktúra, igazság, formalizálás - kivéve 2.1.3 (45-52)
         2.2 A logikai következmény fogalmáról (62-77)
         FOLYT következik

         Házi Feladatok:
         319/1,2  320/5
         322/3,4  323/9,13 324/15,17 325/19,21 326/22,25
         327/28,29  329/36-40
         FOLYT. KÖV.


       
         Az alkalmazott algebra téma honlapja
       

        Ferenczi Miklós