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

Математическая логика (2017) КНИГИ » НАУКА И УЧЕБА

Название: Математическая логика (2017)
Автор: Алябьева В.Г.
Издательство: Пермь: Пермский государственный национальный исследовательский университет
Год: 2017
Формат: pdf
Страниц: 111
Размер: 25 mb
Язык: Русский

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

скачать с turbobit.net
скачать с turbobooks.ru

ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!

Автор: na5ballov 7-06-2018, 17:33 | Напечатать |

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.

С этой публикацией часто скачивают:

Элементы математической логики Название: Элементы математической логики Автор: Атяскина Т. В. Издательство: ОГУ Год: 2016 Формат: pdf Страниц: 98 с. Для сайта: Mirknig.su Язык:...

Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Макоха А. Н., Шапошников А. В., Бережной В. В. Издательство: изд-во СКФУ Год: 2017...

Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Блатов И. А. Год: 2017 Формат: pdf Издательство: Изд-во ПГУТИ Страниц: 214 Для сайта:...

Математическая логика и теория алгоритмов (Блатов И.А., Старожилова О.В.) Название: Математическая логика и теория алгоритмов Автор: Блатов И.А., Старожилова О.В. Издательство: Самара: ПГУТИ Год: 2017 Страниц: 214 Формат:...

Математическая логика. Курс лекций. Задачник-практикум и решения Название: Математическая логика. Курс лекций. Задачник-практикум и решения Автор: Лихтарников Л.М., Сукачева Т.Г. Издательство: Лань Год: 2009...

Элементы математической логики (1973) Название: Элементы математической логики Автор: Новиков П.С. Издательство: М.: Наука Год: 1973 - 2-изд., испр. Cтраниц: 401 Формат: pdf Размер: 23...

Математическая логика для социологов Название: Математическая логика для социологов Автор: Гуц А.К. Издательство: Омский государственный университет Год: 2017 Страниц: 192 Формат: djvu...

Математическая логика: Учебное пособие для вузов Название: Математическая логика: Учебное пособие для вузов Автор: Ершов Ю.Л., Палютин Е.А. Издательство: Наука Год: 1987 Формат: pdf Страниц: 336...

Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Судоплатов С.В., Овчинникова Б.В. Издательство: М.: Инфра-М; Новосибирск: НГТУ Год: 2004...

Логика традиционная и современная Название: Логика традиционная и современная Автор: Конверский А.Е. Издательство: М.: Идея-Пресс Год: 2010 Страниц: 372 ISBN: 978-5-903927-07-4...

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.