Elementarių logikos užduočių pratybos. Teiginių logika. Sudėtingų loginių išraiškų teisingumo reikšmių nustatymas ir lentelių sudarymas. Loginių santykių nustatymas. Kalbos tekstų formalizavimas teiginių logikos priemonėmis. Simbolinių išraiškų skaitymas ir užrašymas. Teiginių logikos dėsniai. Samprotavimų pagrįstumo nustatymas. Išraiškų užrašymas disjunkyviąja ir konjunktyviąja normaliąja forma. Savybių logika. Kalbos tekstų formalizavimas savybių logikos priemonėmis. Simbolinių išraiškų skaitymas ir užrašymas savybių logikoje. Dualumo principo taikymas savybių logikos išraiškoms. Savybių logikos išraiškų pertvarkymas. Būtinų ir pakankamų sąlygų užrašymas. Santykių logika. Kalbos tekstų formalizavimas santykių logikos priemonėmis. Veiksmai su santykiais – šeimyninių santykių apibrėžimai. Apibrėžimas santykių, kaip Dekarto sandaugos poaibių. Santykių savybės. Klasių logika. Kategorinių teiginių formalizavimas. Klasių skirstymas ir apibrėžimai. Informacijos, esančios hierarchinėje klasifikacijoje, simbolinis užrašymas.
48.54 KB
