Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.
135 Odpovědi
2767757 Zobrazení
Poslední příspěvek od FrankJScott
včera, 18:04
85 Odpovědi
2483991 Zobrazení
Poslední příspěvek od FrankJScott
6. 5. 2024 23:18
Priklad
Odpovědi: 3
od umpalumpa » 28. 2. 2011 11:10
3 Odpovědi
3417 Zobrazení
Poslední příspěvek od umpalumpa
4. 3. 2011 19:49
0 Odpovědi
2613 Zobrazení
Poslední příspěvek od Jookyn
27. 2. 2011 11:46
1 Odpovědi
2720 Zobrazení
Poslední příspěvek od Jitka42
18. 2. 2011 13:16
6 Odpovědi
5497 Zobrazení
Poslední příspěvek od Tomgr
10. 2. 2011 11:22
0 Odpovědi
2754 Zobrazení
Poslední příspěvek od paulie
3. 2. 2011 17:55
4 Odpovědi
4560 Zobrazení
Poslední příspěvek od Jookyn
29. 1. 2011 21:34
11 Odpovědi
7202 Zobrazení
Poslední příspěvek od darthrix_
26. 1. 2011 19:33
2 Odpovědi
3067 Zobrazení
Poslední příspěvek od kolage
15. 1. 2011 15:21
0 Odpovědi
2274 Zobrazení
Poslední příspěvek od hurda
13. 1. 2011 20:41
8 Odpovědi
6068 Zobrazení
Poslední příspěvek od Návštěvník
3. 1. 2011 20:29
0 Odpovědi
2546 Zobrazení
Poslední příspěvek od seby
1. 11. 2010 22:04
2 Odpovědi
3602 Zobrazení
Poslední příspěvek od Kubees
19. 7. 2010 23:01
1 Odpovědi
2835 Zobrazení
Poslední příspěvek od peterblack
15. 4. 2010 08:17
4 Odpovědi
3790 Zobrazení
Poslední příspěvek od thoth
12. 4. 2010 17:07
0 Odpovědi
2021 Zobrazení
Poslední příspěvek od Jonáš
11. 4. 2010 11:19
0 Odpovědi
1525 Zobrazení
Poslední příspěvek od Návštěvník
24. 2. 2010 10:22
2 Odpovědi
1925 Zobrazení
Poslední příspěvek od Návštěvník
20. 2. 2010 21:10
6 Odpovědi
5652 Zobrazení
Poslední příspěvek od matejcik
18. 2. 2010 20:46
2 Odpovědi
2257 Zobrazení
Poslední příspěvek od Oxyd
17. 2. 2010 17:31
9 Odpovědi
4845 Zobrazení
Poslední příspěvek od romantismus
16. 2. 2010 17:05
3 Odpovědi
1877 Zobrazení
Poslední příspěvek od bbbbb
16. 2. 2010 16:15
1 Odpovědi
1580 Zobrazení
Poslední příspěvek od Pitr2311
15. 2. 2010 18:28
3 Odpovědi
1932 Zobrazení
Poslední příspěvek od Pitr2311
12. 2. 2010 16:57
6 Odpovědi
3143 Zobrazení
Poslední příspěvek od Jebi
11. 2. 2010 00:07
0 Odpovědi
1173 Zobrazení
Poslední příspěvek od v
4. 2. 2010 01:51
3 Odpovědi
2194 Zobrazení
Poslední příspěvek od Matfyz
2. 2. 2010 11:12
6 Odpovědi
3696 Zobrazení
Poslední příspěvek od Acris
30. 1. 2010 10:08
5 Odpovědi
2821 Zobrazení
Poslední příspěvek od Ellrohir
26. 1. 2010 22:24
1 Odpovědi
1492 Zobrazení
Poslední příspěvek od Ellrohir
1. 12. 2009 15:36
17 Odpovědi
5860 Zobrazení
Poslední příspěvek od mtmr
30. 11. 2009 03:46
0 Odpovědi
935 Zobrazení
Poslední příspěvek od Logic
9. 11. 2009 21:55
2 Odpovědi
1508 Zobrazení
Poslední příspěvek od peto
19. 5. 2009 09:39
2 Odpovědi
3342 Zobrazení
Poslední příspěvek od JanPecsok
22. 4. 2009 01:21
3 Odpovědi
1947 Zobrazení
Poslední příspěvek od 3F6L3
14. 4. 2009 16:01
10 Odpovědi
3977 Zobrazení
Poslední příspěvek od Návštěvník
24. 2. 2009 11:10
dukaz
Odpovědi: 1
od Návštěvník » 18. 2. 2009 13:43
1 Odpovědi
1249 Zobrazení
Poslední příspěvek od Him
18. 2. 2009 13:53
0 Odpovědi
970 Zobrazení
Poslední příspěvek od MIKI
17. 2. 2009 07:50
8 Odpovědi
3646 Zobrazení
Poslední příspěvek od Xerxes
14. 2. 2009 11:33
4 Odpovědi
2077 Zobrazení
Poslední příspěvek od yderf
9. 2. 2009 07:54
18 Odpovědi
6907 Zobrazení
Poslední příspěvek od JiriD
31. 1. 2009 10:16
6 Odpovědi
2720 Zobrazení
Poslední příspěvek od Him
28. 1. 2009 16:51
10 Odpovědi
3829 Zobrazení
Poslední příspěvek od Him
26. 1. 2009 17:15
6 Odpovědi
3364 Zobrazení
Poslední příspěvek od Him
26. 1. 2009 13:24
11 Odpovědi
4576 Zobrazení
Poslední příspěvek od Him
25. 1. 2009 17:46
2 Odpovědi
1472 Zobrazení
Poslední příspěvek od Him
25. 1. 2009 10:18
17 Odpovědi
7905 Zobrazení
Poslední příspěvek od Šlupka
22. 1. 2009 22:55
5 Odpovědi
2891 Zobrazení
Poslední příspěvek od matof
7. 1. 2009 20:47
0 Odpovědi
2292 Zobrazení
Poslední příspěvek od Him
5. 1. 2009 21:07
1 Odpovědi
2423 Zobrazení
Poslední příspěvek od hippies
22. 12. 2008 17:16
0 Odpovědi
1364 Zobrazení
Poslední příspěvek od Him
16. 11. 2008 11:39
Oprávnění fóra
Můžete zakládat nová témata v tomto fóruMůžete odpovídat v tomto fóruNemůžete upravovat své příspěvky v tomto fóruNemůžete mazat své příspěvky v tomto fóruNemůžete přikládat soubory v tomto fóru