IPR SMART / Математическая логика. В 2 частях. Ч.1

Чтение online

Недоступно

Рейтинг издания

Математическая логика. В 2 частях. Ч.1. Учебное пособие

Издательство:

Новосибирский государственный университет

Авторы:

Алаев П.Е., Максимова Л.Л.

Год издания:

2018

ISBN:

978-5-4437-0731-0, 978-5-4437-0730-3 (ч.1)

Тип издания:

учебное пособие

DOI:

не присвоен узнать подробнее

Об издании

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

Библиографическая запись

Алаев, П. Е. Математическая логика. В 2 частях. Ч.1 : учебное пособие / П. Е. Алаев, Л. Л. Максимова. — 2-е изд. — Новосибирск : Новосибирский государственный университет, 2018. — 99 c. — ISBN 978-5-4437-0731-0, 978-5-4437-0730-3 (ч.1). — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/93463.html (дата обращения: 23.05.2024). — Режим доступа: для авторизир. пользователей

РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ

Английский язык в сфере информационных технологий для студентов юридических специальностей = English in Information Technology for Law Students. В 2 частях. Ч. 2

Николаева Н.Н., Куликова М.В.

(Ай Пи Ар Медиа)

Биомолекулы. В 4 частях. Ч.1. Аминокислоты и белки

Красников А.С., Мызина С.Д.

(Новосибирский государственный университет)

Биохимия. В 2 частях. Ч. 1. Основные питательные вещества человека

Глухарева Т.В., Селезнева И.С.

(Профобразование, Уральский федеральный университет)

Биохимия. В 2 частях. Ч. 2. Основные регуляторы и биологические жидкости человеческого организма

Глухарева Т.В., Селезнева И.С.

(Профобразование, Уральский федеральный университет)

Вентиляция. В двух частях. Ч. 1

Орлова А.Я., Романенко Б.Р., Михайская О.В.

(Профобразование)

Вентиляция. В двух частях. Ч. 2

Орлова А.Я., Романенко Б.Р.

(Профобразование)

Вероятность и статистика

Монсик В.Б., Скрынников А.А.

(Лаборатория знаний)

Вычислительные наноструктуры. В 2 частях. Ч. 1. Задачи, модели, структуры

Алакоз Г.М., Котов А.В., Курак М.В., Попов А.А., Сериков А.П.

(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)

C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ

Психология социально-правовой деятельности

Резепов И.Ш., Гаврилова А.С., Калюжный А.С., Виговская М.Е., Лисевич А.В., Корионова В.О., Юнусова А.Н., Мудрак С.А., Сорокотягин И.Н....

(Профобразование)

Введение в реляционные базы данных

Кузнецов С.Д.

(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)

САПР технологических процессов

Белов П.С., Драгина О.Г.

(Ай Пи Ар Медиа)

Электронная лаборатория на IBM PC. Инструментальные средства и моделирование элементов практических схем

Карлащук В.И., Карлащук С.В.

(СОЛОН-Пресс)

Актуальные проблемы и задачи корпоративного права

Романова В.В., Зеккер Ф.Й., Фромманн М.В., Алехин С.Н., Амели Ф., Деллак П., Котельников А.Г., Эзиани Э., Маггс П., Чен Т....

(Юрист)

Актуальные проблемы преподавания истории в образовательных организациях различных типов. Ч.7

Алексеева Л.В., Бехтенова Е.Ф., Дружинина Ю.В., Бытко С.С., Вяземский Е.Е., Стрелова О.Ю., Гарифуллина Н.Л., Зарипова Д.А., Зыбин А.А., Цысь О.П., Зверева Г.Ю., Науменюк Д.Н., Ковешникова О.Т., Салим...

(Нижневартовский государственный университет)