dr. M. Dostál: Logika a grafy - 09 [11. 4. 2022, LS 21/22]

Sémantika predikátové logiky. Sémantická ekvivalence. Korektnost a úplnost. Logické zajímavosti.
další přednášky předmětu: • dr. M. Dostál: Logika ...

Пікірлер: 1

  • @Ahahajggjphfv422
    @Ahahajggjphfv42218 күн бұрын

    Fujjjjj učení