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 |
|
|||||||||||||||||||||||||||||||||||||||
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 |
|