Študijný materiál: Teória matematická logika (Výroková logika, Predikátová logika)
Skryť detaily | Obľúbený- Kvalita:73,5 %
- Typ:Študijný materiál
- Univerzita:Technická univerzita v Košiciach
- Fakulta:Fakulta elektrotechniky a informatiky
- Kategória:Prírodné vedy
- Podkategória:Matematika
- Predmet:Matematická logika
- Študijný program:Informatika
- Autor:klakla333
- Ročník:1. ročník
- Rozsah A4:5 strán
- Zobrazené:1 537 x
- Stiahnuté:29 x
- Veľkosť:0,2 MB
- Formát a prípona:PDF dokument (.pdf)
- Jazyk:slovenský
- ID projektu:39783
- Posledna úprava:17.03.2012
TEÓRIA
Výroková logika
1. Definujte vytvárajúcu postupnost formuly výrokovej logiky. Napíšte vytvárajúcu postupnost formuly
: (p ^ :q ) r) , p _ :p:
2. Definujte vytvárajúcu postupnost formuly výrokovej logiky. Zistite, ci nasledujúce postupnosti predstavujú vytvárajúce postupnosti formúl výrokovej logiky
...
Predikátová logika
1. (6 b) Definujte abecedu jazyka predikátovej logiky, rozdeľte symboly na logické a špeciálne.
2. (5 b) Definujte viazaný a volný výskyt premennej, uzavretú a otvorenú formulu predikátovej logiky. Napíšte príklady troch formúl s aspon tromi premennými...
Výroková logika
1. Definujte vytvárajúcu postupnost formuly výrokovej logiky. Napíšte vytvárajúcu postupnost formuly
: (p ^ :q ) r) , p _ :p:
2. Definujte vytvárajúcu postupnost formuly výrokovej logiky. Zistite, ci nasledujúce postupnosti predstavujú vytvárajúce postupnosti formúl výrokovej logiky
...
Predikátová logika
1. (6 b) Definujte abecedu jazyka predikátovej logiky, rozdeľte symboly na logické a špeciálne.
2. (5 b) Definujte viazaný a volný výskyt premennej, uzavretú a otvorenú formulu predikátovej logiky. Napíšte príklady troch formúl s aspon tromi premennými...