Plus d’un million de livres, à portée de main !
Bookbot

Antonín Sochor

    Klasická matematická logika
    Metamatematika teorií množin
    Logika pro všechny ochotné myslet
    • Zájemcům o logiku, ať už z řad studentů vyšších ročníků gymnázií, či širší veřejnosti, je určena publikace přibližující základy logiky v její moderní podobě. Od logických hádanek a sylogismů směřuje systematicky k bližšímu seznámení s logikou jako vědním oborem. Zejména studenti gymnázií uvažující o vysokoškolském studiu matematického zaměření se zde mohou setkat nejen s výrokovou a predikátovou logikou, ale také se zkoumáním vlastností axiomatických teorií či rozborem Gödelových vět o neúplnosti.

      Logika pro všechny ochotné myslet
    • Klasická matematická logika

      • 402pages
      • 15 heures de lecture

      Obsáhlá publikace je rozdělena do tří částí podle úrovně vědomostí a náročnosti čtenáře. Kapitoly I a II jsou určeny všem zájemcům o základy matematické logiky a seznamují čtenáře s jejími nejvážnějšími zásadami a postupy. Úroveň III je určena zájemcům o hlubší studium logiky a kromě určitých matematických znalostí předpokládá především schopnost a ochotu myslet.

      Klasická matematická logika