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

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

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

Fuld beskrivelse

Сохранить в:

Bibliografiske detaljer
Hovedforfatter:	Ярахмедов Г. А.
Format:	Книга
Sprog:	Russian
Udgivet:	Махачкала ДГПУ 2024
Fag:	множества операции над множествами алгебра множеств высказывания формулы эквивалентные формулы полные системы операций взаимно обратные теоремы закон двойственности булевы функции булева алгебра переменных нормальные формы булевых функций системы булевых функций теорема поста о полноте системы булевых функций переключательных схем принцип соответствия в математической логике и теории множеств предикаты операции над предикатами равносильные формулы общезначимости и выполнимости формул понятие выводимости правила вывода теорема геделя аксиоматические теории формализованное исчисление высказываний система аксиом формализованного исчисления высказываний теория формального вывода свойства формализованного исчисления высказываний формализованное исчисление предикатов алгоритмы вычислимые функции разрешимые и перечислимые множества вычислимые и рекурсивные функции машины тьюринга нормальные алгоритмы маркова методы математической логики и теории алгоритмов для пополнения и представления знаний
Online adgang:	https://e.lanbook.com/book/442706 https://e.lanbook.com/img/cover/book/442706.jpg
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Задачи и упражнения по математической логике и теории алгоритмов
af: Игошин В. И.

Дискретная математика. Теория и практикум учебник для вузов
af: Ерусалимский Я. М.
Udgivet: (2025)

Дискретная математика. Теория и практикум учебник для вузов
af: Ерусалимский Я. М.
Udgivet: (2023)

Функциональные системы в дискретной математике учебное пособие
af: Прокопенко Н. Ю.
Udgivet: (2024)

Высшая математика Введение в математику. Теория пределов учебно-методическое пособие
af: Дорофеева С. И.
Udgivet: (2024)

Дискретная математика. Элементы теории множеств. Булевы функции учебное пособие
af: Балабаева Н. П.
Udgivet: (2023)

Алгебра учебное пособие
af: Устян А. Е.
Udgivet: (2020)

Алгебра учебное пособие

Дискретная математика учебное пособие
af: Рязанов, Ю. Д.

Теория алгоритмов учебное пособие
af: Кабанцова Л. Ю.
Udgivet: (2021)

Дискретная математика учебное пособие
af: Милевский, А. С.

Математическая логика и теория алгоритмов учебное пособие
af: Старожилова О. В.
Udgivet: (2024)

Дискретная математика. Курс лекций для студентов естественно-научных направлений подготовки учебное пособие для вузов
af: Папшев С. В.
Udgivet: (2025)

Математика для Data Science учеб. пособие
af: Фролов Е. А.
Udgivet: (2023)

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов учебное пособие для вузов
af: Глухов М. М.
Udgivet: (2022)

Математический анализ учебное пособие

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

Дискретные модели в информатике учебно-методическое пособие
af: Гаджиева З. Д.
Udgivet: (2024)

Сборник задач по дискретной математике
af: Кожухов С. Ф.
Udgivet: (2021)

Сборник задач по дискретной математике учебное пособие для вузов
af: Кожухов С. Ф.
Udgivet: (2025)

Математика для предбакалавров медико-биологического профиля учебное пособие для иностранных граждан
af: Ефремова, О. Н.

Математика для предбакалавров медико-биологического профиля Учебное пособие для иностранных граждан
af: О. Н. Ефремова

Оптимальное проектирование ассемблерных программ математических алгоритмов: лабораторный практикум
af: Максимов А. В.
Udgivet: (2022)

Анализ и визуализация данных в Microsoft Excel в примерах и задачах практическое пособие
af: Полковникова, Н. А.

Математика. Двумерное преобразование Фурье и его приложения учебное пособие
af: Цапенко, Н. Е.

Дифференциальное и интегральное исчисление в примерах и задачах. Функции одной переменной
af: Марон И. А.
Udgivet: (2022)

Дискретная математика учебное пособие
af: Пахнутов И. А.
Udgivet: (2016)

Дифференциальное исчисление: курс лекций
af: Логинов В. А.
Udgivet: (2007)

Математическая логика и теория алгоритмов
af: Макоха А. Н., и др.

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

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

Программирование в среде Visual Prolog учебное пособие
af: Авдеенко, Т. В.

Практикум по теории функций комплексного переменного, теории рядов, операционному исчислению учебное пособие для вузов
af: Ельцов А. А.
Udgivet: (2024)

Практикум по теории функций комплексного переменного, теории рядов, операционному исчислению учебное пособие для спо
af: Ельцов А. А.
Udgivet: (2024)

Курс высшей математики. Том 2 учебник для вузов
af: Беданоков М. К.
Udgivet: (2025)

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

Математика для иностранных учащихся. Практикум учебное пособие для вузов
af: Сулейманова Д. Ю.
Udgivet: (2024)

Математика для иностранных учащихся. Практикум учебное пособие для спо
af: Сулейманова Д. Ю.
Udgivet: (2024)

Дискретная математика. Контролирующие материалы к тестированию
af: Бабичева И. В.
Udgivet: (2022)

Курс высшей математики. Введение в математический анализ. Дифференциальное исчисление. Лекции и практикум
af: Петрушко И. М.
Udgivet: (2022)

Cannot write session to /tmp/vufind_sessions/sess_8qubg23h09gt377nb9vjab2qim