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

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

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

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

0 / 0

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Year:

2018

Publisher:

ДМК Пресс

Language:

russian

Pages:

389

ISBN 10:

5970606227

ISBN 13:

9785970606223

File:

PDF, 3.94 MB

IPFS:

,

russian, 2018

Read Online

Conversion to is in progress

Conversion to is failed

You may be interested in

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Most frequently terms

множество

множества

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

предикатов

переменных

состояний

определение

существует

автомата

состояния

дизъюнкт

дизъюнктов

замечание

состояние

индукции

называется

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

оператор

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

следующие

предикат

элементов

построения

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

утверждение

переменные

множеств

операции

программы