VIPBOOK.SU
ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Математическая логика

Наука и познание >> Учебные пособия





Разместил: na5ballov

7-06-2018, 17:42

Просмотров: 115





Математическая логика


Учебное пособие посвящено основам математической логики и состоит из введения и четырех глав: «Логика высказываний», «Исчисление высказываний», «Логика предикатов первого порядка» и «Исчисление предикатов». Особое внимание уделено проблеме распознавания общезначимости формул логики высказываний и формул логики предикатов, использованию метода резолюций.


Название: Математическая логика - Алябьева В.Г.
Автор: Алябьева В.Г.
Формат: PDF
Размер: 25 mb
Качество: Отличное
Язык: Русский
Год издания: 2017












Похожие публикации

Лекции и практикум по математической логике Лекции и практикум по математической логике
В пособии приведен конспект лекций и практикум по дисциплине «Математическая логика и теория алгоритмов». Учебное пособие используется для подготовки студентов направлений «Бизнес-информатика», «Математика. Компьютерные науки», «Информационные

Математическая логика для социологов Математическая логика для социологов
Учебное пособие посвящено изложению элементов математической логики для социологов. Представлены логика высказываний, логика предикатов, модальная, паранепротиворечивая, релевантная и нечеткая логики. Описываются дедуктивная и индуктивная логики.

Крупский В.Н., Плиско В.Е. - Математическая логика и теория алгоритмов Крупский В.Н., Плиско В.Е. - Математическая логика и теория алгоритмов
Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление

Множества. Логика. Аксиоматические теории Множества. Логика. Аксиоматические теории
В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций над множествами), математической логики (элементы логики высказываний и логики предикатов), оснований математики

Логика традиционная и современная Логика традиционная и современная
Логика традиционная и современная — Учебное пособие «Логика» состоит из двух книг: «Традиционная логика» и «Современная логика». В первой книге «Традиционная логика» в систематизированном, дидактически выдержанном виде раскрывается метод логики,

Зарипова Э.Р., Кокотчикова М.Г., Севастьянов. Л.А. - Лекции по дискретной математике. Часть 1,2 Зарипова Э.Р., Кокотчикова М.Г., Севастьянов. Л.А. - Лекции по дискретной математике. Часть 1,2
1. Лекции по дискретной математике. Часть I. Комбинаторика 1. В пособии излагаются основы комбинаторики и комбинаторных алгоритмов. Предназначено для студентов I, II курсов математических специальностей. Подготовлено на кафедре систем

Математическая логика. Курс лекций Математическая логика. Курс лекций
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого

Математическая логика Математическая логика
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория

Математическая логика Математическая логика
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и

Пензов Ю.П. - Элементы математической логики и теории множеств (учебник) Пензов Ю.П. - Элементы математической логики и теории множеств (учебник)
Описание: Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 1 вводятся основные понятия теории множеств. В параграфах 2 и 3 излагаются элементы содержательного исчисления




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги