TESTING AREA for teachers - real service at plus.tuni.fi
Tehtävien palauttaminen vaatii kirjautumisen järjestelmään, mutta voit selailla kurssimateriaalia tunnistautumatta.
-
1. Kieli ja totuusmääritelmä
keskiviikko 28.8.2024 12:00 – sunnuntai 12.1.2025 12:00
- 1.1 Johdanto
- 1.2 Lauselogiikan aakkosto
- 1.3 Kielen määritelmä
- 1.4 Lauseiden muodostaminen ja sulkeet
- 1.5 Rakenteinen induktio
- 1.6 Totuustaulukot
- 1.7 Konnektiivien keskinäinen määriteltävyys
- 1.8 Lauselogiikan totuusmääritelmä
- 1.9 Yhteys Boolen funktioihin ja piireihin
- 1.10 Harjoitustehtäviä
- 1.11 Suomi–englanti sanasto
-
2. Semanttiset peruskäsitteet
keskiviikko 28.8.2024 12:00 – sunnuntai 12.1.2025 12:00
-
3. Semanttiset taulut
keskiviikko 28.8.2024 12:00 – sunnuntai 12.1.2025 12:00
-
4. Klassiset todistusjärjestelmät
keskiviikko 28.8.2024 12:00 – sunnuntai 12.1.2025 12:00
-
5. Normaalimuodot
keskiviikko 28.8.2024 12:00 – sunnuntai 12.1.2025 12:00
-
6. Laskennallinen vaativuus
keskiviikko 28.8.2024 12:00 – sunnuntai 12.1.2025 12:00