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

Заглянуть

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

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

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

Код 4821274

ISBN: 9785970606223
390 страниц

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

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

21.9 USD

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

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

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

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

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

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

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

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

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

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

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

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

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

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

.

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

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

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

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

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

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

Эшелон на Самарканд бумажная книга

Гузель Яхина

18.31 USD

В корзину

Kubernetes для разработчиков бумажная книга

35.74 USD

В корзину

-3%

Усыпи свою бессонницу бумажная книга

9.59 USD 9.3 USD

В корзину

Михаил Шемякин. Живопись, графика, скульптура бумажная книга

Михаил Шемякин

38.98 USD

В корзину

-10%

Человеческий фактор. Успешные проекты и команды, 3-е издание

Человеческий фактор. Успешные проекты и... бумажная книга

Том Демарко

36.18 USD 32.56 USD

3 На складе

В корзину

-13%

Две прогулки с Ильей Кабаковым бумажная книга

Юрий Михайлович Рост

62.87 USD 54.7 USD

В корзину

Эшелон на Самарканд

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

Гузель Яхина

Гузель Яхина — самая яркая дебютантка в истории российской литературы новейшего времени, лауреат премий "Большая книга" и "Ясная Поляна", автор бестселлеров "Зулейха открывает глаза" и "Дети мои". Ее новая книга "Эшелон на Самарканд" — роман-путешествие и своего рода "красный истерн". 1923 год. Начальник эшелона Деев и комиссар Белая эвакуируют пять сотен беспризорных детей из Казани в Самарканд. Череда...

Издательство: АСТ
Дата выхода: март 2021

18.31 USD

В корзину

Kubernetes для разработчиков

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

Современное программное обеспечение должно хорошо поддаваться масштабированию, эффективно справляясь при этом с балансировкой нагрузки, отслеживанием состояния и обеспечением безопасности. Узнайте, как можно решать эти и другие важные задачи. В издании рассматриваются все составляющие процесса контейнеризации и развертывания приложения на платформе Kubernetes с точки зрения разработчика. Сначала вы...

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

35.74 USD

В корзину

Усыпи свою бессонницу

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

Вспомните, как лежали в кровати, считая минуты до рассвета, пока тревога и усталость спорили за ваше внимание. Бессонница переживается особенно тяжело, если она связана с тревожностью, депрессией или хронической болью. Хуже всего то, что она лишает нас сил наутро, мы чувствуем себя разбитыми весь день, а к вечеру валимся с ног от усталости, но заснуть все равно не удается. В книге «Усыпи свою...

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

9.59 USD 9.3 USD

В корзину

Михаил Шемякин. Живопись, графика, скульптура

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

Михаил Шемякин

Настоящий альбом приглашает вас в мир Михаила Шемякина – художника, скульптора, графика и сценографа, чье творчество охватывает широкий спектр тем и стилей. Он создал уникальный художественный язык, сочетающий в себе элементы русского авангарда, сюрреализма и метафизической живописи. Его работы отличаются гротескной выразительностью и богатой символикой. М. Шемякин часто обращается к образам...

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

38.98 USD

В корзину

10%

Человеческий фактор. Успешные проекты и команды, 3-е издание

бумажная книга лучший выбор

Том Демарко Тимоти Листер

Немногие книги о компьютерах оказали такое заметное влияние на управление разработкой программного обеспечения, как "Человеческий фактор". Уникальное озарение этой книги, долгие годы сохранявшей свое положение в списке бестселлеров: "Самые сложные проблемы разработки программного обеспечения носят не технический, но социальный характер. Эти человеческие проблемы решать не просто, однако, решив их, вы...

Издательство: Символ-Плюс
Дата выхода: май 2014

36.18 USD 32.56 USD

3 На складе В корзину

13%

Две прогулки с Ильей Кабаковым

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

Юрий Михайлович Рост

Перед вами уникальная книга – первая публикация расшифрованных текстов и фотографий из личного архива Юрия Роста. Летняя московская прогулка двух друзей Юрия Роста и Ильи Кабакова, тогда еще мало кому известных и совсем не знаменитых, превратилась в ностальгическое путешествие по пустынным субботним улицам с разговорами, окрашенными «странной печалью», о прошедших временах и нелегкой судьбе...

Издательство: Искусство - XXI век
Дата выхода: май 2024

62.87 USD 54.7 USD

В корзину

Просмотренные товары

Занавес. Последнее дело Пуаро бумажная книга

Агата Кристи

Нет в продаже

Окружающий мир 4 класс. Учусь наблюдать и исследовать. Тетрадь

Окружающий мир 4 класс. Учусь наблюдать и... бумажная книга

Нет в продаже

Хорошо быть оптимистом! бумажная книга

4.1 USD

В корзину

Поурочные разработки по технологии. 1 класс бумажная книга

Валентина Ивановна...

Нет в продаже

Хорошо быть оптимистом!

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

Дружинина М.

Марина Дружинина – известная современная писательница, автор многих замечательных произведений для детей. Её стихи и рассказы пользуются огромной популярностью у читателей. В книгу «Хорошо быть оптимистом!» вошли рассказы о школьниках, об их весёлой, беззаботной, но порой такой непростой жизни.

ISBN: 978-5-389-17499-3
Издательство: Махаон
Дата выхода: январь 2020

4.1 USD

В корзину