Úvod / Státnice FIT VUT 2025/2026 — bakalářské okruhy / Okruh 20 20. Booleovy algebry ← Předchozí okruh 19. Výroková logika a predikátová logika Další okruh → 21. Regulární jazyky a jejich modely Zpátky na přehled okruhů