Matematická logika

matematická logika

teória

tuke

• Kapitola 1 - Množiny a binárne relácie
  1.1 Základné pojmy teórie množín
  1.2 Binárne relácie
  Kapitola 2 - Sémantiky výrokovej logiky
  2.1 Výrok a formula
  2.2 Základy sémantiky výrokovej logiky
  2.3 Systémy logických spojok
  2.4 Normálny tvar formuly
  Kapitola 3 - Syntax výrokovej logiky
  3.1 Axiómy výrokovej logiky
  3.2 Rezolučná metóda
  Kapitola 4 - Základné pojmy predikátovej logiky
  4.1 Neformálne zavedenie predikátovej logiky
  4.2 Term a formula
  4.3 Substituovateľnosť termu za premennú
  Kapitola 5 - Sémantika predikátovej logiky
  5.1 Štruktúra a realizácia termu
  Kapitola 6 - Syntax predikátovej logiky
  6.1 Teória a model
  6.2 Axiómy predikátovej logiky
  Kapitola 7 - Rezolučná metóda v predikatovej logike
  7.1 Prenexný tvar formuly
  7.2 Skolemovský tvar funkcie
  7.3 Rezolventy
  7.4 Použitie rezolučnej metódy pre zisťovanie splniteľnosti teórie