Teória matematická logika (Výroková logika, Predikátová logika)

«»

Prípona .pdf	Typ študijný materiál	Stiahnuté 29 x
Veľkosť 0,2 MB	Jazyk slovenský	ID projektu 39783
Posledná úprava 17.03.2012	Zobrazené 1 711 x	Autor: klakla333
Zdieľaj na Facebooku
Detaily projektu

cena:
0 Kreditov
kvalita:
73,5%
73,5%
Stiahni
Pridaj na porovnanie

Univerzita:Technická univerzita v Košiciach
Fakulta:Fakulta elektrotechniky a informatiky
Kategória:Prírodné vedy » Matematika
Predmet:Matematická logika
Študijný program:Informatika
Ročník:1. ročník
Formát:PDF dokument (.pdf)
Rozsah A4:5 strán

Popis:

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...

Kľúčové slová:

matematická logika

matematika

tuke

Obsah:

Výroková logika
Predikátová logika

Zdieľaj na Facebooku

Stiahni

Pridaj projekt

Pridaj projekt a získaj kredity za stiahnutie. S kreditmi možeš sťahovať iné projekty. Je to jednoduché :)

Najčastejšie

Zobraz

Odporúčame

Prihlásenie/login

Technická univerzita v Košiciach - TUKE

Teória matematická logika (Výroková logika, Predikátová logika)

matematická logika

matematika

tuke