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.
55 Odpovědi
2633568 Zobrazení
Poslední příspěvek od Miroslav88
16. 12. 2022 16:25
50 Odpovědi
2353641 Zobrazení
Poslední příspěvek od Miroslav88
16. 12. 2022 16:26
0 Odpovědi
4852 Zobrazení
Poslední příspěvek od I30T4
29. 1. 2019 16:43
0 Odpovědi
2259 Zobrazení
Poslední příspěvek od awk
15. 1. 2019 17:57
1 Odpovědi
2561 Zobrazení
Poslední příspěvek od Thrayld
8. 1. 2019 20:11
2 Odpovědi
3228 Zobrazení
Poslední příspěvek od Speedding
23. 1. 2018 23:28
0 Odpovědi
3139 Zobrazení
Poslední příspěvek od karamel
30. 6. 2017 16:03
0 Odpovědi
1913 Zobrazení
Poslední příspěvek od karamel
29. 1. 2017 18:10
0 Odpovědi
2076 Zobrazení
Poslední příspěvek od vasek.rozhon
27. 1. 2017 16:17
1 Odpovědi
2660 Zobrazení
Poslední příspěvek od quique
19. 1. 2016 15:46
0 Odpovědi
2785 Zobrazení
Poslední příspěvek od regina
13. 1. 2015 10:37
0 Odpovědi
2102 Zobrazení
Poslední příspěvek od regina
13. 1. 2015 10:33
0 Odpovědi
3010 Zobrazení
Poslední příspěvek od Oracions
30. 1. 2014 16:33
6 Odpovědi
4319 Zobrazení
Poslední příspěvek od mykem
19. 1. 2014 16:51
3 Odpovědi
2984 Zobrazení
Poslední příspěvek od cvutak
12. 1. 2014 11:07
0 Odpovědi
1893 Zobrazení
Poslední příspěvek od nelogik
1. 1. 2014 15:08
0 Odpovědi
1768 Zobrazení
Poslední příspěvek od asdf-fdsa
1. 1. 2014 15:04
0 Odpovědi
1951 Zobrazení
Poslední příspěvek od nemat
14. 8. 2013 11:56
0 Odpovědi
2453 Zobrazení
Poslední příspěvek od guthro
12. 4. 2013 10:46
16 Odpovědi
9560 Zobrazení
Poslední příspěvek od mykem
23. 2. 2013 16:55
0 Odpovědi
2203 Zobrazení
Poslední příspěvek od Alesak
23. 1. 2013 16:58
2 Odpovědi
3119 Zobrazení
Poslední příspěvek od Locky
12. 1. 2013 19:29
1 Odpovědi
2215 Zobrazení
Poslední příspěvek od Návštěvník
30. 10. 2012 20:09
0 Odpovědi
1814 Zobrazení
Poslední příspěvek od mm
18. 4. 2012 14:31
0 Odpovědi
1689 Zobrazení
Poslední příspěvek od panacekcz
3. 3. 2012 17:03
1 Odpovědi
1977 Zobrazení
Poslední příspěvek od Dr. Eddy
11. 2. 2012 19:09
0 Odpovědi
2117 Zobrazení
Poslední příspěvek od vojta_vorel
25. 1. 2012 16:18
0 Odpovědi
2274 Zobrazení
Poslední příspěvek od maky
25. 1. 2012 13:15
2 Odpovědi
2550 Zobrazení
Poslední příspěvek od vojta_vorel
22. 1. 2012 19:17
0 Odpovědi
2316 Zobrazení
Poslední příspěvek od mathemage
23. 12. 2011 00:46
5 Odpovědi
3814 Zobrazení
Poslední příspěvek od mathemage
18. 12. 2011 18:30
0 Odpovědi
1859 Zobrazení
Poslední příspěvek od mathemage
9. 12. 2011 23:52
0 Odpovědi
2100 Zobrazení
Poslední příspěvek od mathemage
3. 12. 2011 12:04
0 Odpovědi
1954 Zobrazení
Poslední příspěvek od mathemage
25. 11. 2011 21:54
0 Odpovědi
1777 Zobrazení
Poslední příspěvek od mathemage
12. 11. 2011 11:48
0 Odpovědi
1851 Zobrazení
Poslední příspěvek od mathemage
12. 11. 2011 11:28
0 Odpovědi
1979 Zobrazení
Poslední příspěvek od mathemage
28. 10. 2011 14:04
0 Odpovědi
2097 Zobrazení
Poslední příspěvek od mathemage
22. 10. 2011 20:22
3 Odpovědi
3446 Zobrazení
Poslední příspěvek od Jookyn
24. 3. 2011 22:49
Priklad
Odpovědi: 3
od umpalumpa » 28. 2. 2011 11:10
3 Odpovědi
2832 Zobrazení
Poslední příspěvek od umpalumpa
4. 3. 2011 19:49
0 Odpovědi
2187 Zobrazení
Poslední příspěvek od Jookyn
27. 2. 2011 11:46
1 Odpovědi
2256 Zobrazení
Poslední příspěvek od Jitka42
18. 2. 2011 13:16
6 Odpovědi
4575 Zobrazení
Poslední příspěvek od Tomgr
10. 2. 2011 11:22
0 Odpovědi
2351 Zobrazení
Poslední příspěvek od paulie
3. 2. 2011 17:55
4 Odpovědi
3815 Zobrazení
Poslední příspěvek od Jookyn
29. 1. 2011 21:34
11 Odpovědi
5927 Zobrazení
Poslední příspěvek od darthrix_
26. 1. 2011 19:33
2 Odpovědi
2473 Zobrazení
Poslední příspěvek od kolage
15. 1. 2011 15:21
0 Odpovědi
1893 Zobrazení
Poslední příspěvek od hurda
13. 1. 2011 20:41
8 Odpovědi
5087 Zobrazení
Poslední příspěvek od Návštěvník
3. 1. 2011 20:29
0 Odpovědi
2130 Zobrazení
Poslední příspěvek od seby
1. 11. 2010 22:04
2 Odpovědi
2969 Zobrazení
Poslední příspěvek od Kubees
19. 7. 2010 23:01
1 Odpovědi
2404 Zobrazení
Poslední příspěvek od peterblack
15. 4. 2010 08:17
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