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.
120 Odpovědi
2766746 Zobrazení
Poslední příspěvek od FrankJScott
před 14 minutami
85 Odpovědi
2483348 Zobrazení
Poslední příspěvek od FrankJScott
6. 5. 2024 23:18
0 Odpovědi
13 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
14 Zobrazení
Poslední příspěvek od Leslietof
27. 4. 2024 16:24
0 Odpovědi
32 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
21 Zobrazení
Poslední příspěvek od autogwek
23. 4. 2024 02:54
0 Odpovědi
21 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
135 Zobrazení
Poslední příspěvek od cvwek
24. 3. 2024 13:02
0 Odpovědi
5380 Zobrazení
Poslední příspěvek od I30T4
29. 1. 2019 16:43
0 Odpovědi
2641 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
4055 Zobrazení
Poslední příspěvek od Speedding
23. 1. 2018 23:28
0 Odpovědi
3648 Zobrazení
Poslední příspěvek od karamel
30. 6. 2017 16:03
0 Odpovědi
2347 Zobrazení
Poslední příspěvek od karamel
29. 1. 2017 18:10
0 Odpovědi
2474 Zobrazení
Poslední příspěvek od vasek.rozhon
27. 1. 2017 16:17
1 Odpovědi
3125 Zobrazení
Poslední příspěvek od quique
19. 1. 2016 15:46
0 Odpovědi
3182 Zobrazení
Poslední příspěvek od regina
13. 1. 2015 10:37
0 Odpovědi
2544 Zobrazení
Poslední příspěvek od regina
13. 1. 2015 10:33
0 Odpovědi
3473 Zobrazení
Poslední příspěvek od Oracions
30. 1. 2014 16:33
6 Odpovědi
5123 Zobrazení
Poslední příspěvek od mykem
19. 1. 2014 16:51
3 Odpovědi
3594 Zobrazení
Poslední příspěvek od cvutak
12. 1. 2014 11:07
0 Odpovědi
2244 Zobrazení
Poslední příspěvek od nelogik
1. 1. 2014 15:08
0 Odpovědi
2142 Zobrazení
Poslední příspěvek od asdf-fdsa
1. 1. 2014 15:04
0 Odpovědi
2299 Zobrazení
Poslední příspěvek od nemat
14. 8. 2013 11:56
0 Odpovědi
2865 Zobrazení
Poslední příspěvek od guthro
12. 4. 2013 10:46
16 Odpovědi
11413 Zobrazení
Poslední příspěvek od mykem
23. 2. 2013 16:55
0 Odpovědi
2669 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
2689 Zobrazení
Poslední příspěvek od Návštěvník
30. 10. 2012 20:09
0 Odpovědi
2171 Zobrazení
Poslední příspěvek od mm
18. 4. 2012 14:31
0 Odpovědi
2045 Zobrazení
Poslední příspěvek od panacekcz
3. 3. 2012 17:03
1 Odpovědi
2382 Zobrazení
Poslední příspěvek od Dr. Eddy
11. 2. 2012 19:09
0 Odpovědi
2532 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
3087 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
4738 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
2502 Zobrazení
Poslední příspěvek od mathemage
3. 12. 2011 12:04
0 Odpovědi
2372 Zobrazení
Poslední příspěvek od mathemage
25. 11. 2011 21:54
0 Odpovědi
2231 Zobrazení
Poslední příspěvek od mathemage
12. 11. 2011 11:48
0 Odpovědi
2270 Zobrazení
Poslední příspěvek od mathemage
12. 11. 2011 11:28
0 Odpovědi
2457 Zobrazení
Poslední příspěvek od mathemage
28. 10. 2011 14:04
0 Odpovědi
2532 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