Викладено основи математичної логіки та теорії алгоритмів. Вивчено пропозиційну, класичну логіку першого порядку, а також інтуїціоністську та модальні логіки. Описано формальні моделі алгоритмів і обчислювальних функцій. Розглянуто питання розв'язності та нерозв'язності, відносної обчислюваності, звідності.

Изложены основы математической логики и теории алгоритмов. Изучены логика предложений, классическая логика первого порядка, а также интуиционистская и модальная логики. Описаны формальные модели алгоритмов и вычислительных функций. Рассмотрены вопросы решаемости и нерешаемости, относительной вычисляемости, сводности.

• Шкільняк Степан Степанович (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"