Logikos konspektas. Logikos objektas. Kalbinis aktas pagal Jakobsoną. Kas sudaro samprotavimą?. Loginės klaidos. Tezės pakeitimas. Abejotina prielaida. Ydingas ratas. Provincializmas. Nenuoseklumas. Proporcijos trūkumas. Dvigubas standartas. Klaidingas skirstymas. Formali klaida. Klaidinga simetrija. Klaidos pridengimas klaida. Apeliacija
(Logika. Konspektas, 12 psl, 24 kB)

Logikos konspektas. Logikos objektas. Kalbinis aktas pagal Jakobsoną. Kas sudaro samprotavimą?. Loginės klaidos. Tezės pakeitimas. Abejotina prielaida. Ydingas ratas. Provincializmas. Nenuoseklumas. Proporcijos trūkumas. Dvigubas standartas. Klaidingas skirstymas. Formali klaida. Klaidinga simetrija. Klaidos pridengimas klaida. Apeliacija
(Logika. Konspektas, 12 psl, 7 kB)

1. Turinys 2. Logikos mokslo apibūdinimas. Kas yra logika?(4) Logikos objektas.Logikos pastovieji ir kintamieji dydziai.(3) Prigimtine ir teorine logika bei santykis su kitais mokslais (5),„Fakto“ ir „proto tiesos“. Logika ir kalba. Dedukcija ir indukcija. Formalioji ir neformalioji logika. Neformaliosios logikos klaidos.(7) 10. Teigi
(Logika. Konspektas, 57 psl, 103 kB)

Patikimų Programų Sudarymo Metodai. Formalios sistemos. Formalios kalbos. 1 Pavyzdys. 2 pavyzdys. 3 pavyzdys. Kalba l. L. L. L. 4 pavyzdys. 5 pavyzdys. 6 pavyzdys. Semantika. 7 pavyzdys. Čia pateikiama L kalbos, pateiktos 3 pavyzdyje, interpretacija I 8 pavyzdys. Tai yra L kalbos alternatyvi interpretacija I Išvedimo sistemos. 9 pavyzdys. ...
(Informatika. Konspektas, 86 psl, 169 kB)