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.
84 Odpovědi
2765746 Zobrazení
Poslední příspěvek od Návštěvník
2. 5. 2024 19:05
85 Odpovědi
2482509 Zobrazení
Poslední příspěvek od FrankJScott
6. 5. 2024 23:18
0 Odpovědi
10 Zobrazení
Poslední příspěvek od Dianerog
7. 5. 2024 09:54
0 Odpovědi
14 Zobrazení
Poslední příspěvek od Mnoiokic
6. 5. 2024 00:03
cp loli
od BobbyGaR » 5. 5. 2024 12:17
0 Odpovědi
12 Zobrazení
Poslední příspěvek od BobbyGaR
5. 5. 2024 12:17
0 Odpovědi
18 Zobrazení
Poslední příspěvek od Henryvah
30. 4. 2024 00:31
0 Odpovědi
13 Zobrazení
Poslední příspěvek od Leslietof
27. 4. 2024 16:24
0 Odpovědi
30 Zobrazení
Poslední příspěvek od CyharlesAdark
24. 4. 2024 21:05
0 Odpovědi
20 Zobrazení
Poslední příspěvek od Williamjow
23. 4. 2024 06:57
0 Odpovědi
20 Zobrazení
Poslední příspěvek od autogwek
23. 4. 2024 02:54
0 Odpovědi
20 Zobrazení
Poslední příspěvek od RebeccaZer
22. 4. 2024 19:11
0 Odpovědi
21 Zobrazení
Poslední příspěvek od autogwek
22. 4. 2024 07:52
0 Odpovědi
53 Zobrazení
Poslední příspěvek od bkwek
16. 4. 2024 07:07
0 Odpovědi
55 Zobrazení
Poslední příspěvek od GeraldAvele
2. 4. 2024 02:06
0 Odpovědi
134 Zobrazení
Poslední příspěvek od cvwek
24. 3. 2024 13:02
0 Odpovědi
5379 Zobrazení
Poslední příspěvek od I30T4
29. 1. 2019 16:43
0 Odpovědi
2636 Zobrazení
Poslední příspěvek od awk
15. 1. 2019 17:57
1 Odpovědi
2969 Zobrazení
Poslední příspěvek od Thrayld
8. 1. 2019 20:11
2 Odpovědi
4054 Zobrazení
Poslední příspěvek od Speedding
23. 1. 2018 23:28
0 Odpovědi
3645 Zobrazení
Poslední příspěvek od karamel
30. 6. 2017 16:03
0 Odpovědi
2344 Zobrazení
Poslední příspěvek od karamel
29. 1. 2017 18:10
0 Odpovědi
2473 Zobrazení
Poslední příspěvek od vasek.rozhon
27. 1. 2017 16:17
1 Odpovědi
3123 Zobrazení
Poslední příspěvek od quique
19. 1. 2016 15:46
0 Odpovědi
3180 Zobrazení
Poslední příspěvek od regina
13. 1. 2015 10:37
0 Odpovědi
2542 Zobrazení
Poslední příspěvek od regina
13. 1. 2015 10:33
0 Odpovědi
3471 Zobrazení
Poslední příspěvek od Oracions
30. 1. 2014 16:33
6 Odpovědi
5120 Zobrazení
Poslední příspěvek od mykem
19. 1. 2014 16:51
3 Odpovědi
3591 Zobrazení
Poslední příspěvek od cvutak
12. 1. 2014 11:07
0 Odpovědi
2240 Zobrazení
Poslední příspěvek od nelogik
1. 1. 2014 15:08
0 Odpovědi
2139 Zobrazení
Poslední příspěvek od asdf-fdsa
1. 1. 2014 15:04
0 Odpovědi
2298 Zobrazení
Poslední příspěvek od nemat
14. 8. 2013 11:56
0 Odpovědi
2862 Zobrazení
Poslední příspěvek od guthro
12. 4. 2013 10:46
16 Odpovědi
11405 Zobrazení
Poslední příspěvek od mykem
23. 2. 2013 16:55
0 Odpovědi
2667 Zobrazení
Poslední příspěvek od Alesak
23. 1. 2013 16:58
2 Odpovědi
3713 Zobrazení
Poslední příspěvek od Locky
12. 1. 2013 19:29
1 Odpovědi
2688 Zobrazení
Poslední příspěvek od Návštěvník
30. 10. 2012 20:09
0 Odpovědi
2169 Zobrazení
Poslední příspěvek od mm
18. 4. 2012 14:31
0 Odpovědi
2042 Zobrazení
Poslední příspěvek od panacekcz
3. 3. 2012 17:03
1 Odpovědi
2380 Zobrazení
Poslední příspěvek od Dr. Eddy
11. 2. 2012 19:09
0 Odpovědi
2530 Zobrazení
Poslední příspěvek od vojta_vorel
25. 1. 2012 16:18
0 Odpovědi
2684 Zobrazení
Poslední příspěvek od maky
25. 1. 2012 13:15
2 Odpovědi
3086 Zobrazení
Poslední příspěvek od vojta_vorel
22. 1. 2012 19:17
0 Odpovědi
2756 Zobrazení
Poslední příspěvek od mathemage
23. 12. 2011 00:46
5 Odpovědi
4735 Zobrazení
Poslední příspěvek od mathemage
18. 12. 2011 18:30
0 Odpovědi
2298 Zobrazení
Poslední příspěvek od mathemage
9. 12. 2011 23:52
0 Odpovědi
2498 Zobrazení
Poslední příspěvek od mathemage
3. 12. 2011 12:04
0 Odpovědi
2371 Zobrazení
Poslední příspěvek od mathemage
25. 11. 2011 21:54
0 Odpovědi
2230 Zobrazení
Poslední příspěvek od mathemage
12. 11. 2011 11:48
0 Odpovědi
2269 Zobrazení
Poslední příspěvek od mathemage
12. 11. 2011 11:28
0 Odpovědi
2454 Zobrazení
Poslední příspěvek od mathemage
28. 10. 2011 14:04
0 Odpovědi
2529 Zobrazení
Poslední příspěvek od mathemage
22. 10. 2011 20:22
3 Odpovědi
4097 Zobrazení
Poslední příspěvek od Jookyn
24. 3. 2011 22:49
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