Формальные системы учебное пособие

Формальные системы учебное пособие

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

Fuld beskrivelse

Сохранить в:

Bibliografiske detaljer
Hovedforfatter:	Зайцева, Е. В. (070)
Format:	Книга
Fag:	формальные системы классическая логика информатика
Online adgang:	Перейти к просмотру издания
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Формальные модели в юридической науке и технике монография
af: Гайдамакин, А. А.

Формальные источники права
af: Дробышевский С.А, и др.

Дискретная математика: кодирование, автоматы, формальные грамматики и языки учебное пособие
af: Гателюк О. В.
Udgivet: (2024)

Методологические вопросы анализа научного знания
af: Петров Ю. А.

Формальные системы практикум
af: Зайцева, Е. В.

Классическая и неклассические логики — необходимый компонент науки и современного образования научно-методическое пособие для аспирантов всех специальностей
af: Гетманова, А. Д.

Лекции по дискретной математике
af: Капитонова Ю. В., и др.

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

Формальные языки и грамматики учебное пособие для студентов факультета компьютерных наук и информационных технологий
af: Миронов, С. В.

Типовые задачи по теме «Алгебра логики» и «Логические основы ЭВМ» (на базе тестов ФЕПО) учебное пособие
af: Гаврилова, О. В.

Введение в алгебраические системы и математическую логику учебное пособие для вузов
af: Туганбаев А. А.
Udgivet: (2025)

Формальные аксиоматические теории. Исчисление предикатов. Часть 2
af: Леденева Т. М.
Udgivet: (2020)

Дискретная математика учебное пособие
af: Бережной, В. В.

Основы высшей математики. Часть 11 учебник для спо
af: Туганбаев А. А.
Udgivet: (2025)

Математика и информатика. Решение логико-познавательных задач учебное пособие для студентов вузов
af: Задохина, Н. В.

Математические модели автоматов и формальных языков в сфере искусственного интеллекта учебное пособие для вузов
af: Золкин А. Л.
Udgivet: (2025)

Трехзначные семантики для классической логики высказываний
af: Девяткин, Л. Ю.

Математическая культура учителя информатики. Теоретико-методический аспект монография
af: Мирзоев, М. С.

Информатика учебное пособие
af: Кисленко, Н. П.

Формальные источники права Монография
af: Дробышевский С. А.

Операционные системы учебное пособие
af: Филиппов, А. А.

Информационные технологии и управляющие системы монография

Формальные языки и компиляторы учебник
af: Малявко, А. А.

Формальные языки и компиляторы Учебник
af: Малявко А.А

Нечеткая логика и нейронные сети учебное пособие
af: Белозерова, Г. И.

Информационные системы учета и контроля ресурсов предприятия учебное пособие
af: Гладких, Т. В.

Бухгалтерские информационные системы учебное пособие
af: Голкина, Г. Е.

Конечные автоматы и формальные языки учебник
af: Алымова, Е. В.

Конечные автоматы и формальные языки Учебник
af: Алымова Е.В

Информатика лабораторный практикум
af: Башкинова, Е. В.

Формирование математической культуры будущего учителя информатики в условиях реализации школьных образовательных стандартов 2-го поколения монография
af: Мирзоев, М. С.

Дискретная математика для инженера
af: Кузнецов О. П.
Udgivet: (2022)

Основы классической механики
af: Бугаенко Г. А., и др.

Математические методы классической механики
af: Арнольд В. И.

Введение в дискретную математику
af: Яблонский С. В.

Введение в дискретную математику
af: Яблонский С. В.

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

Чужая жена и муж под кроватью
af: Достоевский Ф. М.

Инфокоммуникационные системы и сети. Технологии информационного обмена и методы построения учебное пособие
af: Сорокин, А. С.

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