RU

Математикалық логика

  • Мақсаты: логикалық Алгебра негізінде математикалық логиканың негізгі бөлімдері зерттеледі; есептерді шешу әдістерін қолдану және мәлімдемелерді дәлелдеу. Мазмұны: ақиқат кестелерін, конъюнктивті, дизъюнктивті қалыпты формаларды құру, предикат логикасының формулаларын жазу, әртүрлі тұжырымдарды дәлелдеу, қорытынды жасау. Логикалық функцияларды азайту үшін комбинациялық схемаларды, Вейч диаграммаларын, Карно карталарын құру. Математикалық логика заңдарын цифрлық схемаларды жобалауда, ақпаратты қорғау, криптография, желілік адрестеу мәселелерінде қолдану.
  • Образовательная программа 6B06130 Есептеу техникасы және бағдарламалық қамтамасыз ету
  • ВУЗ М.Әуезов атындағы Оңтүстік Қазақстан университеті
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 2
  • Семестр 2
Top