RU

Компьютерлік ғылымдардағы логика және комбинаторика

  • Пәннің мақсаты – пропозициялық логика, логикалық нәтиже және эквиваленттілік туралы білімді қалыптастыру, предикаттар туралы түсінік беру. Оқытылады: предикат логикасының негізгі формулалары, жиын туралы түсінік, жиындарды анықтау, ішкі жиындар және олардың қасиеттері, жиындарға амалдар, жиындардың жабындары мен бөлімдері, жиындардың декарттық көбейтіндісі, екілік қатынастар және олардың қасиеттері, эквиваленттік қатынастар және ішінара реттілік. функционалдық қатынастардың түрлері, Интуитивті тұжырымдама алгоритмі және оны нақтылау қажеттілігі, Тьюринг машинасы, Тьюринг тезисі, Алгоритм күрделілігі және кластары туралы түсінік.
  • Образовательная программа 6B06113 Бағдарламалау және бағдарламалық қамтамасыздандыруды әзірлеу
  • ВУЗ М.Х.Дулати атындағы Тараз университеті
  • Несиелер 4
  • Оқу жылы 1
  • Семестр 2
Top