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