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

Заглянуть

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

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

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

Код 4821274

ISBN: 9785970606223
390 страниц

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

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

23 USD

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

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

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

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

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

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

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

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

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

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

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

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

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

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

.

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

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

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

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

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

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

Путеводитель по Средневековью бумажная книга

14.17 USD

В корзину

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

Промт-инжиниринг для LLM. Искусство построения... бумажная книга

25.99 USD

В корзину

-7%

Катехон бумажная книга

Сухбат Афлатуни

20.03 USD 18.63 USD

В корзину

-7%

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

Евгений Водолазкин

19.07 USD 17.74 USD

В корзину

-13%

Почему психоз не безумие. Рекомендации для специалистов, пациентов и их родных

Почему психоз не безумие. Рекомендации для... бумажная книга

14.4 USD 12.53 USD

В корзину

-3%

Тедди бумажная книга

8.54 USD 8.29 USD

В корзину

Путеводитель по Средневековью

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

Британский историк-медиевист Энтони Бейл приглашает читателей в одиссею по миру Средневековья, полному чудес и неожиданностей, и пересказывает советы, которые передавались из уст в уста странниками того времени. Путешествуя вместе с учеными, шпионами, монахами в разные концы света, вы пройдете по улицам Рима, побываете при ханском дворе в Пекине, проедете верхом на осле по находящемуся под...

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

14.17 USD

В корзину

Промт-инжиниринг для LLM. Искусство построения приложений на основе...

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

Большие языковые модели (LLM) кардинально меняют мир, обещая автоматизацию различных задач и решение сложных проблем. Программные приложения последнего поколения используют эти модели в качестве строительных блоков для создания новых возможностей практически во всех областях, но, чтобы пользоваться этими возможностями, нужны навыки. Книга расскажет о науке и искусстве промт-инжиниринга, и эти знания...

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

25.99 USD

В корзину

Катехон

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

Сухбат Афлатуни

Сухбат Афлатуни — прозаик, поэт, переводчик; автор романов "Великие рыбы", "Рай земной", "Ташкентский роман", "Поклонение волхвов"; лауреат "Русской премии", финалист премий "Большая книга", "Ясная Поляна", "Русский Букер". "Катехон" — философский сложносочиненный роман и одновременно — история любви "двух нестыкующихся людей". Он — Сожженный, или Фархад, экскурсовод из Самарканда, она — Анна, переводчица из...

Издательство: АСТ
Дата выхода: август 2024

20.03 USD 18.63 USD

В корзину

Чагин

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

Евгений Водолазкин

«Чагин» — роман о памяти, времени и человеке, которого мучают эти неподвластные ему силы. Время и память — излюбленные темы Водолазкина: им посвящены в той или иной степени все его романы, от «Лавра» до «Оправдания Острова». В «Чагине» писатель раскрывает новую грань этой темы, персонифицируя память в образе человека. Архивист, сотрудник Городской библиотеки Санкт‑Петербурга Исидор Чагин обладает...

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

19.07 USD 17.74 USD

В корзину

13%

Почему психоз не безумие. Рекомендации для специалистов, пациентов...

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

Известный психоаналитик Стейн Ванхеле утверждает, что примерно 15 процентов населения планеты хотя бы раз имели психотический опыт, в котором теряли контакт с реальностью. И несмотря на это мы часто боимся говорить о психозе и избегаем общения с людьми, переживающими психоз. Как же помочь таким людям? Автор рассматривает научные теории от Зигмунда Фрейда до Жака Лакана, примеры из жизни его...

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

14.4 USD 12.53 USD

В корзину

Тедди

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

Выбор редакции Good Morning America! Блеск посольских приемов, шампанское и объективы папарацци — Тедди Шепард переезжает в Рим вслед за мужем-дипломатом и отчаянно пытается вписаться в мир роскоши и красоты. На первый взгляд ее мечты довольно банальны: большой дом, дети, лабрадор на заднем дворе... Но Тедди не так проста, как кажется: за фасадом почти идеальной жизни она старательно скрывает то, что...

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

8.54 USD 8.29 USD

В корзину