Дискретная математика. Формально-логические системы и языки

Main
Дискретная математика....

Дискретная математика. Формально-логические системы и языки

С. М. Авдошин, А. А. Набебин

0 / 0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

Έτος:

2018

Εκδότης:

ДМК Пресс

Γλώσσα:

russian

Σελίδες:

389

ISBN 10:

5970606227

ISBN 13:

9785970606223

Αρχείο:

PDF, 3.94 MB

IPFS:

,

russian, 2018

Διαβάστε online

Η μετατροπή σε βρίσκεται σε εξέλιξη

Η μετατροπή σε απέτυχε

Ίσως σας ενδιαφέρει

С. М. Авдошин, А. А. Набебин — Дискретная математика. Модулярная алгебра, криптография, кодирование

Ф.К. Алиев, И.А. Юров — Курс лекций по математической логике и теории алгоритмов

— Проблемы кибернетики, вып.39

Дехтярь М.И., Дудаков С.М., Карлов Б.Н. — Лекции по дискретной математике

коллектив авторов — Математическая логика и теория алгоритмов: учебное пособие. Специальность 10.05.01 – Компьютерная безопасность. Специализация «Математические методы защиты информации». Квалификация выпускника – специалист

Блатов И. А., Старожилова О. В. — Математическая логика и теория алгоритмов: Учебное пособие

Гладкий А.В. — Математическая логика

Глухов М.М. — Математическая логика

Гуц А.К. — Математическая логика и теория алгоритмов

Канатников А.Н. — Дискретная математика

Столяр А. А. — Логическое введение в математику

Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем

Клини С.К.(Kleene S.C.) — Введение в метаматематику

Глухов М.М., Шишков А.Б. — Математическая логика. Дискретные функции. Теория алгоритмов

Зюзьков В.М., Шелупанов А.А. — Математическая логика и теория алгоритмов

Набебин А.А., Кораблин Ю.П. — Математическая логика и теория алгоритмов

Зарипова Э.Р., Кокотчикова М.Г., Севастьянов Л.А. — Лекции по дискретной математике. Математическая логика

Зарипова Э.Р., Кокотчикова М.Г., Севастьянов. Л.А. — Дискретная математика. Часть II. Математическая логика

Замятин А.П. — Математическая логика и теория алгоритмов

Плиско В.Е. — Математическая логика. Курс лекций

Мощенский В.А. — Лекции по математической логике

Рояк М.Э., Рояк С.Х. — Математическая логика

Терехов Д.В., Куценко Д.А. — Математическая логика и теория алгоритмов. Уч.пособ

Бочвар Д.А. (ред.) — Исследования по формализованным языкам и неклассическим логикам

Волохович А.В. — Основные понятия и методы теории формальных систем: Методические указания к изучению курса ''Дискретная математика'' и решению задач

Блатов И.А., Старожилова О.В. — Математическая логика и теория алгоритмов

Новак В., Перфильева И., Мочкорж И. (Novak V., Perfilieva I., Mockor J.) — Математические принципы нечеткой логики

— Пособие по Математической Логике

Алешина Н.А., Анисов А.М., Быстров П.И., и др. — Логика и компьютер

Тейз А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф. — Логический подход к искусственному интеллекту: от классической логики к логическому программированию

Аляев Ю.А., Тюрин С.Ф. — Дискретная математика и математическая логика

Тюрин С.Ф., Аляев Ю.А. — Дискретная математика: Практическая дискретная математика и математическая логика

Гаджиев А. А. — Основы дискретной математики

Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С. — Введение в теорию интеллектуальных систем

Л. А.Латотин, Ю. А. Макаренков, В. В. Николаева, А. А. Столяр — Математическая логика

Глухов М. М., Козлитин О. А., Шапошников В. А., Шишков А. Б. — Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: Учебное пособие для вузов

Φράσεις κλειδιά

множество

множества

доказательство

предикатов

переменных

состояний

определение

существует

автомата

состояния

дизъюнкт

дизъюнктов

замечание

состояние

индукции

называется

интерпретация

оператор

последовательность

следующие

предикат

элементов

построения

высказываний

утверждение

переменные

множеств

операции

программы