книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Дискретная математика, алгоритмы

Заглянуть

Сергей Михайлович Авдошин

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

Name: Дискретная математика. Формально-логические системы и языки
Price: 1608.47 RUB
Availability: InStock
ISBN: 9785970606223

Код 4821274

ISBN: 9785970606223
390 страниц

январь 2018
ДМК Пресс

Бумажная книга

23 USD

Добавить в корзину

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 06.02.2026; планируемая отправка: 07.02.2026

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 09.02.2026; планируемая отправка: 10.02.2026

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

Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3.

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

Национального исследовательского университета Московский энергетический институт.

Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов.

Основные теоретические и практические положения, изложение и анализ практических алгоритмов, иллюстрируемые большим числом примеров, позволят сформировать прочную теоретическую базу

Книга является продолжением уже вышедшей книги

"Дискретная математика. Модулярная алгебра, криптография и кодирование"

.

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Текст комментария

Оцените книгу:

Издательство:	ДМК Пресс
Дата выхода:	январь 2018
ISBN:	9785970606223
Объём:	390 страниц

Вместе с этой книгой покупают

Укрощение строптивой. Много шуму попусту бумажная книга

Уильям Шекспир

129.43 USD

В корзину

Юрий Любимов: путь к «Мастеру» бумажная книга

Лейла...

15.38 USD

В корзину

-9%

Записки перед казнью бумажная книга

Даня Кукафка

9.29 USD 8.45 USD

В корзину

Мы что, рожаем? Или то, что вы боялись спросить у акушера-гинеколога

Мы что, рожаем? Или то, что вы боялись спросить... бумажная книга

16.78 USD

В корзину

Извините, я иностранец. Приключения англичанина в России

Извините, я иностранец. Приключения англичанина... бумажная книга

Эштон Крэйг

12.97 USD

В корзину

-12%

Ветер знает мое имя бумажная книга

Исабель Альенде

14.97 USD 13.17 USD

В корзину

Укрощение строптивой. Много шуму попусту

бумажная книга

Уильям Шекспир

Пер. с англ.: М. А. Кузмин Послесл. и коммент.: А. М. Зверев Иллюстрации (64): И. Ю. Олейников Представленные в этой книге комедии великого английского драматурга эпохи Возрождения У. Шекспира (1564—1616) относятся к числу его ранних и самых знаменитых произведений. «Укрощение строптивой» (1594) — едва ли не самая оптимистическая из всех шекспировских пьес. Наряду с комедией «Много шуму попусту» (1598) она...

Издательство: Вита Нова
Дата выхода: апрель 2025

129.43 USD

В корзину

Юрий Любимов: путь к «Мастеру»

бумажная книга новинка

Лейла Александер-Гарретт

Режиссер легендарного московского Театра на Таганке Юрий Петрович Любимов поставил немало поистине культовых спектаклей. Особое место среди его работ занимает сценическая адаптация «Мастера и Маргариты» — «закатного» романа Михаила Афанасьевича Булгакова. Книга, основанная на дневниковых записях Лейлы Александер-Гарретт, работавшей переводчицей и ассистентом Любимова в лондонском Ковент-Гардене и...

Издательство: Альпина Паблишер
Дата выхода: январь 2026

15.38 USD

В корзину

Записки перед казнью

бумажная книга

Даня Кукафка

Лучший криминальный роман года по версии The New York Times Лауреат премии Edgar Award (2023) *** Ровно двенадцать часов осталось жить Анселю Пэкеру. Однако даже в ожидании казни он не желает быть просто преступником: он готов на все, чтобы его история была услышана. Но чья это история на самом деле? Осужденного убийцы, создавшего свою «Теорию» в попытках оправдать зло и найти в нем смысл, или девушек, которые...

Издательство: Альпина Паблишер
Дата выхода: май 2025

9.29 USD 8.45 USD

В корзину

Мы что, рожаем? Или то, что вы боялись спросить у акушера-гинеколога

бумажная книга

Наталья Викторовна Цалко — заведующая приёмным отделением клинического госпиталя "Лапино", практикующий акушер-гинеколог с опытом более 20 лет. Врач, который не считает акушерство работой, а только призванием и любовью всей жизни. Благодаря ей на свет появилось более 5 000 малышей — и каждая история для неё по-прежнему уникальна. Эта книга — не учебник и не инструкция по родам. Это честный, живой, местами...

Издательство: АСТ
Дата выхода: июль 2025

16.78 USD

В корзину

Извините, я иностранец. Приключения англичанина в России

бумажная книга

Эштон Крэйг

Автор этой книги — Крэйг Эштон, более 15 лет назад сбежавший из родного туманного Манчестера в солнечный Санкт-Петербург. До своего побега он знал, что в России все едят суп из капусты и картошки, по Красной площади ежедневно ездят танки и люди на улицах улыбаются лишь в свой день рождения. Но попав в город на Неве, он влюбился то ли в корюшку, то ли в русскую баню, то ли в УФМС, то ли в Масяню, то ли в «Осторожно,...

Издательство: АСТ
Дата выхода: ноябрь 2024

12.97 USD

В корзину

12%

Ветер знает мое имя

бумажная книга

Исабель Альенде

Вена, 1938 год. Вскоре после Ночи разбитых витрин шестилетний скрипач Самуил Адлер уезжает из страны — его мать, потеряв мужа и боясь за ребенка, отправляет сына с другими еврейскими детьми в очень относительную безопасность Англии. Своих родных он больше не увидит. Все, что остается хрупкому и отчаявшемуся Самуилу, — музыка, в которой мальчик прячется от одиночества и неутолимого горя. А также семья...

Издательство: Азбука
Дата выхода: март 2025

14.97 USD 13.17 USD

В корзину