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

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

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

保存先:

書誌詳細
第一著者:	Алаев, П. Е. (070)
フォーマット:	Книга
主題:	математическая логика формула алгебраическая система множество предикат
オンライン･アクセス:	Перейти к просмотру издания
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Математическая логика учебное пособие для спо
著者:: Алаев, П. Е.

Математическая логика учебное пособие
著者:: Алябьева, В. Г.

Математическая логика и теория алгоритмов учебное пособие
著者:: Михальченко, Г. Е.

Математическая логика и теория алгоритмов учебное пособие
著者:: Перемитина, Т. О.

Математическая логика и теория алгоритмов учебное пособие
著者:: Зюзьков, В. М.

Дискретная математика и математическая логика учебное пособие для спо
著者:: Шмырин, А. М.

Основы универсальной алгебры учебное пособие
著者:: Пинус, А. Г.

Математическая логика учебное пособие
著者:: Унучек, С. А.

Указания по выполнению РГР по дисциплине «Математическая логика и теория алгоритмов» учебно-методическое пособие
著者:: Мачикина, Е. П.

Математическая логика учебное пособие
著者:: Ткаченко, С. В.

Математическая логика и теория алгоритмов
著者:: Макоха, А. Н., 等
出版事項: (2018)

Математическая логика учебное пособие
著者:: Афанасьев, С. Г.

Математическая логика учебно-методическое пособие
著者:: Трунтаева, Т. И.

Математическая логика учебное пособие
著者:: Бесценный, И. П.

Математическая логика и булевы функции учебно-методическое пособие
著者:: Прокопенко, Н. Ю.

Математика и информатика. Ч.1 учебное пособие

Математическая логика и теория алгоритмов учебное пособие
著者:: Маньшин, М. Е.

Математическая логика и теория алгоритмов методические указания к самостоятельной работе

Математическая логика учебное пособие для спо
著者:: Афанасьев, С. Г.

Логика высказываний учебное пособие
著者:: Гуров, С. И.

Математическая логика и теория алгоритмов учебник
著者:: Горюшкин, А. П.

Математическая логика и теория алгоритмов учебное пособие для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий
著者:: Гамова, А. Н.

Математическая логика и теория алгоритмов учебное пособие
著者:: Вайнштейн, Ю. В.

Математическая логика и теория алгоритмов учебное пособие
著者:: Балюкевич, Э. Л.

Математическая логика и теория алгоритмов учебно-методическое пособие
著者:: Мачикина, Е. П.

Математический анализ учебное пособие для спо
著者:: Гурьянова, К. Н.

Алгебраические структуры учебное пособие
著者:: Лыткина, Д. В.

Математическая логика
著者:: Лихтарников Л. М., 等

Теория вероятностей и математическая статистика в 2 частях. Ч.1 учебное пособие
著者:: Тимофеева, А. Ю.

Дискретная математика учебное пособие
著者:: Бекарева, Н. Д.

Лекции по дискретной математике. Математическая логика учебное пособие
著者:: Зарипова, Э. Р.

Математическая логика учебное пособие
著者:: Хворостухина, Е. В.

Математика. Сборник задач для учащихся школы развития НГТУ учебное пособие
著者:: Кузин, Г. А.

Математическая логика и теория алгоритмов учебно-методическое пособие
著者:: Геут, К. Л.

Математическая обработка информации учебник для студентов всех профилей направления «педагогическое образование»
著者:: Баврин, И. И.

Математические методы в гуманитарных исследованиях учебное пособие
著者:: Пехтерева, Л. В.

Теория вероятностей и математическая статистика: курс лекций
著者:: Логинов В. А.
出版事項: (2013)

Математические методы в приложениях. Дискретная математика учебное пособие
著者:: Зайцева, О. Н.

Семантическое преобразование лексемы "Блаженство" в русской речи
著者:: Мамедова, А. Н.
出版事項: (2019)

Дискретная математика в примерах и задачах учебное пособие
著者:: Моисеенкова, Т. В.