dr. A. Gollová: Logika a grafy (B0B01LGR) - 07a [3. 11. 2022, ZS 22/23]

Sdílet
Vložit
  • čas přidán 25. 04. 2024
  • Resoluční metoda v predikátové logice, převedení sentencí do klausálního tvaru, skolemizace.
    další přednášky: • dr. A. Gollová: Logika...

Komentáře •

Další v pořadí
Automatické přehrávání
dr. A. Gollová: Logika a grafy (B0B01LGR) - 07b [4. 11. 2022, ZS 22/23]1:35:03dr. A. Gollová: Logika a grafy (B0B01LGR) – 07b [4. 11. 2022, ZS 22/23]
dr. A. Gollová: Logika a grafy (B0B01LGR) - 07b [4. 11. 2022, ZS 22/23]CVUTFEL
zhlédnutí 575
dr. P. Pošík: Kybernetika a umělá inteligence (B3B33KUI) - 03 [9. 3. 2023, LS 22/23]1:32:23dr. P. Pošík: Kybernetika a umělá inteligence (B3B33KUI) – 03 [9. 3. 2023, LS 22/23]
dr. P. Pošík: Kybernetika a umělá inteligence (B3B33KUI) - 03 [9. 3. 2023, LS 22/23]CVUTFEL
zhlédnutí 113
Ing. J. Hejný, Ing. L. Novotný: SMR - Malé modulární reaktory [Fyz. čtvrtek]1:51:31Ing. J. Hejný, Ing. L. Novotný: SMR – Malé modulární reaktory [Fyz. čtvrtek]
Ing. J. Hejný, Ing. L. Novotný: SMR - Malé modulární reaktory [Fyz. čtvrtek]CVUTFEL
zhlédnutí 1,6K
Cooking a wild cactus for a delicious meal 🌵 Listen to "SUE DJ - RAM PAM PAM"00:55Cooking a wild cactus for a delicious meal 🌵 Listen to "SUE DJ - RAM PAM PAM"
Cooking a wild cactus for a delicious meal 🌵 Listen to "SUE DJ - RAM PAM PAM"TheSoul Music Family
zhlédnutí 18M
TOHODLE JSTE SI VE SHREKOVI NEVŠIMLI #zajimavosti #shrek00:43TOHODLE JSTE SI VE SHREKOVI NEVŠIMLI #zajimavosti #shrek
TOHODLE JSTE SI VE SHREKOVI NEVŠIMLI #zajimavosti #shrekLůk
zhlédnutí 306K
ROBOT making food?00:14ROBOT making food?
ROBOT making food?Lionfield
zhlédnutí 4,9M
BYL JSEM STANOVAT…00:56BYL JSEM STANOVAT…
BYL JSEM STANOVAT…Attack
zhlédnutí 583K
Logika - Jak říct cokoli pouze pomocí "a" a "ne"17:15Logika - Jak říct cokoli pouze pomocí "a" a "ne"
Logika - Jak říct cokoli pouze pomocí "a" a "ne"Marek Valášek
zhlédnutí 36K
prof. T. Svoboda: Kybernetika a umělá inteligence (B3B33KUI) - 14 [25. 5. 2023, LS 22/23]1:30:31prof. T. Svoboda: Kybernetika a umělá inteligence (B3B33KUI) – 14 [25. 5. 2023, LS 22/23]
prof. T. Svoboda: Kybernetika a umělá inteligence (B3B33KUI) - 14 [25. 5. 2023, LS 22/23]CVUTFEL
zhlédnutí 46
Absolutní hodnota - rovnice s více absolutními hodnotami 1 - tabulková metoda18:43Absolutní hodnota - rovnice s více absolutními hodnotami 1 - tabulková metoda
Absolutní hodnota - rovnice s více absolutními hodnotami 1 - tabulková metodaMarek Valášek
zhlédnutí 66K
O matematice s docentem Mirko Rokytou - Fermatova věta38:56O matematice s docentem Mirko Rokytou - Fermatova věta
O matematice s docentem Mirko Rokytou - Fermatova větaMarek Valášek
zhlédnutí 152K
Mgr. O. Filip: Jak se podepisuje kořenová zóna Internetu [Fyz. čtvrtek]1:31:55Mgr. O. Filip: Jak se podepisuje kořenová zóna Internetu [Fyz. čtvrtek]
Mgr. O. Filip: Jak se podepisuje kořenová zóna Internetu [Fyz. čtvrtek]CVUTFEL
zhlédnutí 2,1K
dr. A. Gollová: Logika a grafy (B0B01LGR) - 14 [12. 1. 2023, ZS 22/23] - informace ke zkoušce10:26dr. A. Gollová: Logika a grafy (B0B01LGR) – 14 [12. 1. 2023, ZS 22/23] – informace ke zkoušce
dr. A. Gollová: Logika a grafy (B0B01LGR) - 14 [12. 1. 2023, ZS 22/23] - informace ke zkoušceCVUTFEL
zhlédnutí 288
prof. T. Svoboda: Kybernetika a umělá inteligence (B3B33KUI) - 02 [2. 3. 2023, LS 22/23]1:40:45prof. T. Svoboda: Kybernetika a umělá inteligence (B3B33KUI) – 02 [2. 3. 2023, LS 22/23]
prof. T. Svoboda: Kybernetika a umělá inteligence (B3B33KUI) - 02 [2. 3. 2023, LS 22/23]CVUTFEL
zhlédnutí 145
Malá a střední fanta00:56Malá a střední fanta
Malá a střední fantaMulti DO Smile Czech
zhlédnutí 155K
Tady to vypadá na dlouhý rozhovor. 🙈 Zlepší se situace kolem Petra?00:28Tady to vypadá na dlouhý rozhovor. 🙈 Zlepší se situace kolem Petra?
Tady to vypadá na dlouhý rozhovor. 🙈 Zlepší se situace kolem Petra?FTV Prima
zhlédnutí 233K
Fried egg salad sandwich 🥪 #shorts00:20Fried egg salad sandwich 🥪 #shorts
Fried egg salad sandwich 🥪 #shortsKyle Istook
zhlédnutí 17M
That One Racoon Be Like:00:12That One Racoon Be Like:
That One Racoon Be Like:Daviddaly10
zhlédnutí 12M
Footage reveals moments before Slovakian PM is shot00:41Footage reveals moments before Slovakian PM is shot
Footage reveals moments before Slovakian PM is shotGuardian News
zhlédnutí 592K
Mom Meets Peter Dinklage..💀00:31Mom Meets Peter Dinklage..💀
Mom Meets Peter Dinklage..💀Peet Montzingo
zhlédnutí 34M
Glow Stick Secret (part 2) 😱 #shorts00:33Glow Stick Secret (part 2) 😱 #shorts
Glow Stick Secret (part 2) 😱 #shortsMr DegrEE
zhlédnutí 46M
100% VS 10% 🤣 #shorts00:24100% VS 10% 🤣 #shorts
100% VS 10% 🤣 #shortsJoe Albanese
zhlédnutí 13M