Referatai Kursiniai Diplominiai


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.


Peržiūrėti
Pagrindiniai darbo duomenys
Dalykas Matematikos špera/ paruoštukė
Kategorija Matematika
Tipas Paruoštukės
Apimtis 2 pus.
Literatūros šaltiniai 0
Švietimo institucija Šiaulių Universitetas
Kursas / Klasė 2
Autorius Vaidas
Pristatymo metai 2004
Darbo bylos formatas tipas Microsoft Word
Darbo bylos dydis (zip) dydis61 KB
Darbo kalba Lietuvių

Susiję darbai

DARBO PARSIUNTIMO INSTRUKCIJA

1. Parašykite žinutės laukelyje:
R
E
F
1
4
5
2


2. Siųskite šią žinutę trumpuoju numeriu 1654
3. Gautą saugos kodą įrašykite mūsų formoje
http://www.e-referatai.lt/parsisiusti/
4. Norimas darbas yra jau jūsų
Kaina – 2,00 Lt. TELE2, OMNITEL, BITĖS tinklų vartotojams
Raktažodžiai
Matematikos paruoštukė, logikos konspektai