Registrácia
|
Prihlásiť
Univerzity
Kategórie
Rozšírené vyhľadávanie
Prednášky: Logika 2, Martin Kuba
Skryť detaily
|
Obľúbený
Kvalita:
65,1 %
Typ:
Prednášky
Kategória:
Prírodné vedy
Podkategória:
Matematika
Autor:
zadsemuser
Dokumentácia:
Stiahni
Rozsah A4:
35 strán
Zobrazené:
579 x
Stiahnuté:
2 x
Veľkosť:
0,4 MB
Formát a prípona:
PDF dokument (.pdf)
Jazyk:
český
ID projektu:
11622
Posledna úprava:
11.12.2018
Logika 2, Martin Kuba (prednášky)
Kľúčové slová:
výroková logika
rezoluce
predikátová logika
rezolúcia
klauzulárny tvar
unifikace
Hodnotenie (0x):