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. |
|
|
|
| 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 | |
| Darbo bylos dydis (zip) | |
| 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 | |
----
(c) 2009. E-referatai.lt