Skriptá z predmetu Matematická logika
Skriptá71 s. / 2. roč. / pdf
Pre západnú civilizáciu, ktorá vznikla syntézou helénskeho a krest,anského ducha, je vlastná úcta k rozumu. Grécka tradícia kritického skúmania a presvedčenia o potrebe rozumného konania sa zachovala ako významný prúd náboženského myslenia v kresťanstve až dodnes. V Teologickej sume sv. Tomáša Akvinského nachádzame: “Musí sa povedať, že pod všemohúcnosť Božiu nespadá, čo obsahuje odporovanie.” Rok vydania 2007.
|
|
0,7 |
207x |
|
Matematická logika - príklady s výsledkami
Študijný materiál23 s. / 2. roč. / pdf
V dokumente je 32 príkladov na preriešenie. Na konci dokumentu sú správne výsledky.
|
|
0,2 |
1x |
|
Matematická logika
Študijný materiál51 s. / 1. roč. / pdf
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...
|
|
5,7 |
1x |
|
Teória matematická logika (Výroková logika, Predikátová logika)
Študijný materiál5 s. / 1. roč. / pdf
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á logika1. (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 otvo...
|
|
0,2 |
30x |
|
Vypracované dôkazy z matematickej logiky
Výpočet1 s. / 2. roč. / doc
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
|
|
0,1 |
1x |
|
Matematická logika
Skriptá85 s. / 2. roč. / pdf
Pre západnú civilizáciu, ktorá vznikla syntézou helénskeho a krest,anského ducha, je vlastná úcta k rozumu. Grécka tradícia kritického skúmania a presvedčenia o potrebe rozumného konania sa zachovala ako významný prúd náboženského myslenia v kresťanstve až dodnes. V Teologickej sume sv. Tomáša Akvinského nachádzame: “Musí sa povedať, že pod všemohúcnosť Božiu nespadá, čo obsahuje odporovanie.” Rok vydania 2009.
|
|
0,8 |
2x |
|
Matematická logika (zbierka úloh)
Skriptá9 s. / 2. roč. / pdf
1. Napíste vo formálnom jazyku výrokovej logiky:
a) stúdium je uzitocné alebo nie je lahké.
b) Janko má Marienku rád, avsak zenit, sa nechce.
c) Neprisla povozom ani peso.
d) Ak sa Vierka alebo Janko zúcastnia na výlete, tak pôjde aj Ferko, ale
Evicka nie...
|
|
0,1 |
1x |
|
Matematická logika
Referát1 s. / 2. roč. / rtf
zdravy zivotny styl
unárne predikáty : Z - zdravo sa stravovať
P - mať dostatok pohybu
F - fajčiť
T - mať nadváhu
N - mať náklonosť k ochoreniu
|
|
0,1 |
0x |
|
