Teoretyczne podstawy informatyki: co naprawdę sprawdza to zadanie
Logika, zapis wyrażeń, kryptografia i koszt algorytmu. Odpowiedź jest tu zwykle krótka, powstaje na kartce i opiera się na rozumowaniu, a nie na działającym programie.
Dział obejmuje logikę i algebrę Boole’a: tablice prawdy, prawa de Morgana i bramki logiczne. Należą do niego też zapis wyrażeń w notacji infiksowej, prefiksowej i w odwrotnej notacji polskiej, kryptografia razem z podpisem elektronicznym i funkcją skrótu, porównywanie efektywności algorytmów oraz myślenie komputacyjne, w tym modelowanie problemu grafem. Zadania są zamknięte albo wymagają krótkiej odpowiedzi. Polecenie każe uzupełnić tablicę prawdy lub uprościć wyrażenie logiczne, obliczyć wartość wyrażenia w odwrotnej notacji polskiej, zaszyfrować tekst szyfrem przesuwającym albo wskazać, którym kluczem się podpisuje, a którym weryfikuje podpis.
Ze złożoności obliczeniowej w zakresie jest notacja O, czyli opis tego, jak liczba operacji rośnie wraz z rozmiarem danych, oraz porównywanie efektywności algorytmów. Tylko poglądowo pojawiają się klasy problemów łatwych i trudnych oraz problemy nierozstrzygalne, jak problem stopu: nie da się napisać algorytmu, który dla każdego programu rozstrzygnie, czy ten się zatrzyma. Poza zakresem egzaminu leżą dowody formalne i analiza złożoności wykraczająca poza porównanie efektywności.
W pytaniach o koszt algorytmu pułapka polega na tym, że uczeń zna właściwą odpowiedź i podaje ją jako hasło, zamiast uzasadnić. Samo nazwanie klasy kosztu bez pokazania, skąd się bierze, zwykle nie niesie tego, czego wymaga rubryka. Odwrotnie bywa równie kosztownie: rozbudowany opis, który ani razu nie odnosi się do rozmiaru danych.
Zadania maturalne z informatyki: teoria i złożoność — co sprawdzamy w Twoim rozwiązaniu
- Czy uzasadnienie odwołuje się do rozmiaru danych, a nie do wrażenia o szybkości.
- Czy w zadaniu z kryptografii klucz prywatny i publiczny mają właściwe role przy podpisie i przy szyfrowaniu.
- Czy odpowiedź porównuje to, o co prosi polecenie, a nie dwie dowolne rzeczy.