Дискретті математика және математикалық логика

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