LA0564 Matemātiskās loģikas un kopu teorijas elementi

Kods LA0564
Nosaukums Matemātiskās loģikas un kopu teorijas elementi
Statuss Obligātais/Ierobežotās izvēles
Līmenis un tips Pamatstudiju, Profesionālais
Tematiskā joma Matemātika un statistika
Struktūrvienība Liepājas akadēmija
Mācībspēks Dace Kūma
Kredītpunkti 3.0
Daļas 1
Anotācija Kursa mērķis ir iepazīstināt studentus ar matemātiskās loģikas un kopu teorijas pamatjēdzieniem, to savstarpējo sakaru, kā arī ar to lietojumiem matemātisku apgalvojumu formulēšanā un pamatošanā..
Studiju kursa saturs
Saturs Pilna un nepilna laika klātienes studijas Nepilna laika neklātienes studijas
Kontaktstundas Patstāvīgais darbs Kontaktstundas Patstāvīgais darbs
Kopas jēdziens. Darbības ar kopām. Venna diagrammas. Kopas apjoms. 6 10 4 14
Kopu Dekarta reizinājums. Attēlojumi un attieksmes. Sakārtojuma un ekvivalences attoeksme. 4 8 2 8
Izteikumu loģikas elementi. Izteikuma patiesumvērtības. Loģikas operācijas un formulas, to ekvivalence. Formulu normālforma. 10 14 4 18
Predikātu loģikas elementi. Teorēmas. 6 10 4 14
Matemātiskās indukcijas metode. 6 10 2 14
Kopā: 32 52 16 68
Mērķis un uzdevumi, izteikti
kompetencēs un prasmēs
Kursa mērķis ir iepazīstināt studentus ar matemātiskās loģikas un kopu teorijas pamatjēdzieniem, to savstarpējo sakaru, kā arī ar to lietojumiem matemātisku apgalvojumu formulēšanā un pamatošanā. Kursa uzdevumi: 1) aplūkot matemātiskās loģikas pamatnodaļas; 2) aplūkot kopu teorijas pamatnodaļas.
Sasniedzamie studiju
rezultāti un to vērtēšana
Izprot kopas jēdzienu un darbības ar tām. Prot attēlot kopu darbības Venna diagrammās un lietot kopu darbību īpašības. Prot noteikt galīgas kopas apjomu. - 1. starppārbaudījums. Uzdevumu risināšana par kopu teorijas elementiem.
Izprot izteikumu un predikātu loģikas jēdzienus. Zina loģikas darbību īpašības un prot tās pielietot formulu vienkāršošanā. Prot sastādīt formulas patiesumvērtību tabulu un no tabulas uzrakstīt formulas normālformu. - 2. starppārbaudījums. Uzdevumu risināšana par izteikumu un predikātu loģikas jautājumiem.
Izprot teorēmas jēdzienu, zina dažādus ierādīšanas paņēmienus. Prot lietot matemātisko indukciju teorēmu pierādīšanā. - 3. starppārbaudījums. Pierādījuma uzdevumu risināšana.
Studiju rezultātu vērtēšanas kritēriji
1. starppārbaudījums. - 20%
2. starppārbaudījums. - 20%
3. starppārbaudījums. - 20%
Eksāmens - 40%
 
Priekšzināšanas Nav
Studiju kursa plānojums
Daļa KP Stundas Pārbaudījumi
Lekcijas Prakt. d. Lab. Ieskaite Eksāmens Darbs
1 3.0 16.0 16.0 0.0 *

Pieteikties uz šo kursu

[Kursa apraksts PDF formātā]