Математическая логика учебное пособие

Математическая логика учебное пособие

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

保存先:

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

類似資料

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

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

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

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

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

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

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

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

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

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

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

Логика учебник
著者:: Малыхина, Г. И.

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

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

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

Математическая логика. Курс лекций. Задачник-практикум и решения
著者:: Лихтарников Л. М.
出版事項: (2022)

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

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

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

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

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

Логика учебное пособие
著者:: Балтовский, Л. В.

Квантовая логика
著者:: Васюков, В. Л.

Логика учебное пособие
著者:: Шадрин, Д. А.

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

Прикладная логика учебное пособие
著者:: Непейвода, Н. Н.

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

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

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

Математическая логика
著者:: Алябьева В. Г.
出版事項: (2017)

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

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

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

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

Теория вероятностей и математическая статистика сборник задач
著者:: Логинов, В. А.

Логика диссертации учебное пособие
著者:: Синченко, Г. Ч.

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

Решение обыкновенных дифференциальных уравнений с постоянными коэффициентами учебное пособие
著者:: Лисейкин, В. Д.

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

Математические основания информатики учебное пособие
著者:: Червенчук, И. В.