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

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

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

Πλήρης περιγραφή

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Алябьева, В. Г. (070)
Μορφή:	Книга
Θέματα:	математика логика предикат исчисление формула решение
Διαθέσιμο Online:	Перейти к просмотру издания
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Математическая логика. Курс лекций. Задачник-практикум и решения
ανά: Лихтарников Л. М.
Έκδοση: (2022)

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

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

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

Математическая логика
ανά: Лихтарников Л. М., κ.ά.

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

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

Квантовая логика
ανά: Васюков, В. Л.

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

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

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

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

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

Математическая логика и теория алгоритмов
ανά: Макоха, А. Н., κ.ά.
Έκδοση: (2018)

Математическая логика
ανά: Алябьева В. Г.
Έκδοση: (2017)

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

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

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

Семантическое преобразование лексемы "Блаженство" в русской речи
ανά: Мамедова, А. Н.
Έκδοση: (2019)

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

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

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

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

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

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