Hľadaj Zobraz: Univerzity Kategórie Rozšírené vyhľadávanie

45 035   projektov
0 nových

Matematická logika

«»
Prípona
.pdf
Typ
študijný materiál
Stiahnuté
1 x
Veľkosť
5,7 MB
Jazyk
slovenský
ID projektu
39784
Posledná úprava
16.03.2012
Zobrazené
1 112 x
Autor:
klakla333
Facebook icon Zdieľaj na Facebooku
Detaily projektu
Popis:
Teória k matematickej logike.
Kapitola 1 - Množiny a binárne relácie
1.1 Základné pojmy teórie množín
Pod množinou budeme rozumieť súbor navzájom odlišných objektov, ktoré tvoria podľa nejakého zákona jeden celok...

Kľúčové slová:

matematická logika

teória

tuke



Obsah:
  • 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