Diskuze:
napište první příspěvek
Nejlepší odpověď
Predikátový kalkul 1. řádu (3 s.), která standardně definuje predikátovou logiku na pěti axiomech a dvou pravidlech odvození; stručně je uvedena Goedelova věta o úplnosti predikátového kalkulu, věta o dedukci (Herbrandův teorém) a Gentzenova přirozená dedukce.
je to zvídavý chlapec ten „Retko“
| 0 Nominace Nahlásit |
Otázka nemá žádné další odpovědi.
Diskuze k otázce
U otázky nebylo diskutováno.
Nový příspěvek
Zajímavé otázky v kategorii Věda
- Jde věda nejen kupředu, ale i dozadu v jistých směrech? (5 odpovědí)
- Je objev časového krystalu něco na pokraji zázraku? (4 odpovědi)
- Je prokázáno, že strach zkracuje délku života? (9 odpovědí)
- Dalo by se žít bez amygdaly? (2 odpovědi)
- Myslíte, že nás někdy nahradí jiný živočišný druh? (5 odpovědí)
Kvalitní odpovědi v: Věda
| annas | 5283 | |
| Kepler | 2867 | |
| Drap | 2637 | |
| quentos | 1803 | |
| mosoj | 1594 | |
| marci1 | 1356 | |
| led | 1348 | |
| aliendrone | 1172 | |
| zjentek | 1064 | |
| Kelt | 1005 |
Kategorie otázek
| Astronomie |
| Fyzika |
| Jazyky |
| Matematika |
| Sociální vědy |
| Technické vědy |
| Ostatní věda |