Matematinė logika

Intuityvi algoritmo sąvoka. Algoritmų nusakymo būdai. Algoritmų pavyzdžiai. Posto-Tiuringo mašina. Rekursyviosios funkcijos. Begalinio nuolydžio metodas. Matematinės indukcijos metodas. Matematinės teorijos. Banžafo galios rodiklis. Diofantinės lygtys. Algoritmų sudėtingumas. Pirmosios eilės logikos. Matematiniai modeliai. Pavyzdžiai. Taikymai. Balsavimo sistemos. Teiginių logika, jos taikymas. Predikatų logika. Sąryšiai. Algoritmai. Jų tipai. Normalūs Markovo algoritmai. Lygiagretūs skaičiavimai ir jų modeliai. Teorema. Įrodymo būdai.