Vypracované dôkazy z matematickej logiky

«»

Prípona .doc	Typ výpočet	Stiahnuté 1 x
Veľkosť 0,1 MB	Jazyk slovenský	ID projektu 1861
Posledná úprava 21.07.2016	Zobrazené 1 860 x	Autor: lukfor
Zdieľaj na Facebooku
Detaily projektu

cena:
16 Kreditov
kvalita:
71,6%
71,6%
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:-
Ročník:2. ročník
Formát:MS Office Word (.doc)
Rozsah A4:1 strán

Popis:

Semantika VL
Metaveta 8 Relácia výrokovej ekvivalencie je metamatematickou ekvivalenciou na systéme všetkých formúl výrokovej logiky.
Overenie. Pre lubovolné ohodnotenie π je

Kľúčové slová:

dôkazy

matematická logika

výroková ekvivalencia

reflexívnosť

symetria

tranzitívnosť

Obsah:

Semantika VL
Syntax VL
Semantika PL
Syntax PL

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