Metodinė medžiaga. Teiginių logika. Sudėtingų loginių išraiškų teisingumo reikšmių nustatymas ir lentelių sudarymas. Lentelės užpildymas. Supaprastintas sprendimo variantas. Lentelės parengimas. Lentelės užpildymas. Loginių santykių nustatymas. Kalbos tekstų formalizavimas teiginių logikos priemonėmis. Simbolinių išraiškų skaitymas ir užrašymas. Teiginių logikos dėsniai. Savybių logika. Kalbos tekstų formalizavimas savybių logikos priemonėmis. Simbolinių išraiškų skaitymas ir užrašymas savybių logikoje. Savybių logikos išraiškų pertvarkymas. Santykių logika. Kalbos tekstų formalizavimas santykių logikos priemonėmis. Veiksmai su santykiais – šeimyninių santykių apibrėžimai. Klasių logika. Kategorinių teiginių formalizavimas. Klasių skirstymas ir apibrėžimai.
39.92 KB
