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
2761946 Zobrazení
Poslední příspěvek od Návštěvník
před 42 minutami
82 Odpovědi
2478609 Zobrazení
Poslední příspěvek od FrankJScott
24. 4. 2024 16:58
0 Odpovědi
6 Zobrazení
Poslední příspěvek od Henryvah
30. 4. 2024 00:31
0 Odpovědi
7 Zobrazení
Poslední příspěvek od Leslietof
27. 4. 2024 16:24
0 Odpovědi
9 Zobrazení
Poslední příspěvek od CyharlesAdark
24. 4. 2024 21:05
0 Odpovědi
13 Zobrazení
Poslední příspěvek od Williamjow
23. 4. 2024 06:57
0 Odpovědi
11 Zobrazení
Poslední příspěvek od autogwek
23. 4. 2024 02:54
0 Odpovědi
11 Zobrazení
Poslední příspěvek od RebeccaZer
22. 4. 2024 19:11
0 Odpovědi
13 Zobrazení
Poslední příspěvek od autogwek
22. 4. 2024 07:52
0 Odpovědi
43 Zobrazení
Poslední příspěvek od bkwek
16. 4. 2024 07:07
0 Odpovědi
54 Zobrazení
Poslední příspěvek od GeraldAvele
2. 4. 2024 02:06
0 Odpovědi
128 Zobrazení
Poslední příspěvek od cvwek
24. 3. 2024 13:02
0 Odpovědi
5375 Zobrazení
Poslední příspěvek od I30T4
29. 1. 2019 16:43
0 Odpovědi
2628 Zobrazení
Poslední příspěvek od awk
15. 1. 2019 17:57
1 Odpovědi
2963 Zobrazení
Poslední příspěvek od Thrayld
8. 1. 2019 20:11
2 Odpovědi
4047 Zobrazení
Poslední příspěvek od Speedding
23. 1. 2018 23:28
0 Odpovědi
3638 Zobrazení
Poslední příspěvek od karamel
30. 6. 2017 16:03
0 Odpovědi
2336 Zobrazení
Poslední příspěvek od karamel
29. 1. 2017 18:10
0 Odpovědi
2468 Zobrazení
Poslední příspěvek od vasek.rozhon
27. 1. 2017 16:17
1 Odpovědi
3114 Zobrazení
Poslední příspěvek od quique
19. 1. 2016 15:46
0 Odpovědi
3168 Zobrazení
Poslední příspěvek od regina
13. 1. 2015 10:37
0 Odpovědi
2527 Zobrazení
Poslední příspěvek od regina
13. 1. 2015 10:33
0 Odpovědi
3463 Zobrazení
Poslední příspěvek od Oracions
30. 1. 2014 16:33
6 Odpovědi
5108 Zobrazení
Poslední příspěvek od mykem
19. 1. 2014 16:51
3 Odpovědi
3584 Zobrazení
Poslední příspěvek od cvutak
12. 1. 2014 11:07
0 Odpovědi
2238 Zobrazení
Poslední příspěvek od nelogik
1. 1. 2014 15:08
0 Odpovědi
2133 Zobrazení
Poslední příspěvek od asdf-fdsa
1. 1. 2014 15:04
0 Odpovědi
2293 Zobrazení
Poslední příspěvek od nemat
14. 8. 2013 11:56
0 Odpovědi
2853 Zobrazení
Poslední příspěvek od guthro
12. 4. 2013 10:46
16 Odpovědi
11363 Zobrazení
Poslední příspěvek od mykem
23. 2. 2013 16:55
0 Odpovědi
2658 Zobrazení
Poslední příspěvek od Alesak
23. 1. 2013 16:58
2 Odpovědi
3701 Zobrazení
Poslední příspěvek od Locky
12. 1. 2013 19:29
1 Odpovědi
2673 Zobrazení
Poslední příspěvek od Návštěvník
30. 10. 2012 20:09
0 Odpovědi
2162 Zobrazení
Poslední příspěvek od mm
18. 4. 2012 14:31
0 Odpovědi
2035 Zobrazení
Poslední příspěvek od panacekcz
3. 3. 2012 17:03
1 Odpovědi
2374 Zobrazení
Poslední příspěvek od Dr. Eddy
11. 2. 2012 19:09
0 Odpovědi
2520 Zobrazení
Poslední příspěvek od vojta_vorel
25. 1. 2012 16:18
0 Odpovědi
2675 Zobrazení
Poslední příspěvek od maky
25. 1. 2012 13:15
2 Odpovědi
3073 Zobrazení
Poslední příspěvek od vojta_vorel
22. 1. 2012 19:17
0 Odpovědi
2746 Zobrazení
Poslední příspěvek od mathemage
23. 12. 2011 00:46
5 Odpovědi
4716 Zobrazení
Poslední příspěvek od mathemage
18. 12. 2011 18:30
0 Odpovědi
2294 Zobrazení
Poslední příspěvek od mathemage
9. 12. 2011 23:52
0 Odpovědi
2492 Zobrazení
Poslední příspěvek od mathemage
3. 12. 2011 12:04
0 Odpovědi
2362 Zobrazení
Poslední příspěvek od mathemage
25. 11. 2011 21:54
0 Odpovědi
2217 Zobrazení
Poslední příspěvek od mathemage
12. 11. 2011 11:48
0 Odpovědi
2264 Zobrazení
Poslední příspěvek od mathemage
12. 11. 2011 11:28
0 Odpovědi
2444 Zobrazení
Poslední příspěvek od mathemage
28. 10. 2011 14:04
0 Odpovědi
2520 Zobrazení
Poslední příspěvek od mathemage
22. 10. 2011 20:22
3 Odpovědi
4078 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
3398 Zobrazení
Poslední příspěvek od umpalumpa
4. 3. 2011 19:49
0 Odpovědi
2598 Zobrazení
Poslední příspěvek od Jookyn
27. 2. 2011 11:46
1 Odpovědi
2701 Zobrazení
Poslední příspěvek od Jitka42
18. 2. 2011 13:16
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