RU

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

  • Пікірлерді есептеу тілі. Аксиомалар жүйесі және қорытып шығару заңдары. Формуланың эквиваленттілігі. Ақиқаттық кестесі. Логика алгебрасының функциялары. Дәлелденетін формулалар. Бірінші дәрежелі логика. Жалпылау және бар болу кванторлары. Предикаттарды есептеу. Предикаттар теориясының аксиомаалары және қорытып шығару заңдары. Кластарды аксиомаландыру. Модельдер теориясының элементтері. Рекурсивтік функциялар теориясының элементтері.
  • Образовательная программа 6B05411 Математика и статистика
  • ВУЗ Мұхаммед Хайдар Дулати атындағы Тараз өңірлік университеті
  • Несиелер 4
  • Селективті тәртіп
  • Оқу жылы 3
  • Семестр 1
Top