- Главная
- Авторы
- В. Е. Плиско
- Книги В. Е. Плиско
Книги В. Е. Плиско
В. Е. Плиско - автор 6 книг. Из известных произведений можно выделить: Вводный курс математической логики, Интуиционистская логика, Теория алгоритмов. Все книги можно читать онлайн и бесплатно скачивать на нашем портале.
В учебном пособии содержится материал основного курса "Введение в математическую логику", читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студент...
В книге систематически излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуи-ционистской логики в виде исчисления Гейтинга, псевдобулевы ал-гебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем.
Конспект лекций, читавшихся автором в 1998 году на первом курсе механико-математического факультета и в течение ряда лет на филологическом факультете МГУ.
Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика и информационные технологии" (квалификация "бакалавр"). Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элеме...
В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия алгоритма; даны начала алгоритмической теории множеств; представлены наиболее известные результаты об алгоритмической неразрешимости, а также элементы т...
