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 ...
28 апр 2024