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

Заглянуть

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

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

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

Код 4821274

ISBN: 9785970606223
390 страниц

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

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

23 USD

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

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

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

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

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

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

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

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

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

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

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

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

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

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

.

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

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

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

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

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

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

Моё настоящее имя. Истории с биографией бумажная книга

Людмила Улицкая

15.11 USD

В корзину

-21%

СССР(тм) бумажная книга

Шамиль Идиатуллин

15.17 USD 11.98 USD

В корзину

Чтение по лицу. Древняя китайская методика распознавания сигналов тела

Чтение по лицу. Древняя китайская методика... бумажная книга

21.26 USD

В корзину

-16%

Последняя любовь бабы Дуни бумажная книга

Алина Бронски

13.01 USD 10.93 USD

В корзину

-10%

Программирование на Perl, 4-е издание бумажная книга

Том Кристиансен

36.18 USD 32.56 USD

20 На складе

В корзину

-20%

Английский язык. Тренажер по разговорной речи бумажная книга

Станислав Матвеев

4.21 USD 3.37 USD

На складе

В корзину

Моё настоящее имя. Истории с биографией

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

Людмила Улицкая

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

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

15.11 USD

В корзину

21%

СССР(тм)

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

Шамиль Идиатуллин

Роман, остроумно играющий с ожиданиями читателя. С одной стороны, панорама новой утопии — город со всеми атрибутами будущего, с другой — трагикомическая хроника маленьких и больших поражений. Здесь и жесткий конфликт идей, и бытовая романтика, и бодрящее ощущение большого праздника, который вот-вот закончится. История рассказывает о появлении в российской глубинке «СССР» — свободной экономической...

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

15.17 USD 11.98 USD

В корзину

Чтение по лицу. Древняя китайская методика распознавания сигналов тела

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

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

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

21.26 USD

В корзину

16%

Последняя любовь бабы Дуни

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

Алина Бронски

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

Издательство: Дом историй
Дата выхода: июнь 2025

13.01 USD 10.93 USD

В корзину

10%

Программирование на Perl, 4-е издание

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

Том Кристиансен Брайан Де Фой Ларри Уолл Джон Орвант

Вскоре после выхода первого издания в 1991 году книга "Программирование на Perl" стала считаться неоспоримой библией по языку Perl и продолжает оставаться основным руководством по этому весьма практичному языку. Язык Perl начал жизнь в роли мощного средства обработки текста, но быстро превратился в универсальный язык программирования, который помогает сотням и тысячам программистов, системных...

Издательство: Символ-Плюс
Дата выхода: декабрь 2013

36.18 USD 32.56 USD

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

20%

Английский язык. Тренажер по разговорной речи

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

Станислав Матвеев

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

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

4.21 USD 3.37 USD

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

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

УМК Геометрия 8кл Атанасян. Контр. раб бумажная книга

М. Н. Чернова

Нет в продаже

Пленники зоны. Гонка преследования бумажная книга

Сергей Коротков

Нет в продаже

-15%

Введение в психологию. Учебник бумажная книга

Н. М. Розанова

28.11 USD 23.89 USD

В корзину

Классические прописи по математике дп бумажная книга

1.97 USD

В корзину

15%

Введение в психологию. Учебник

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

Н. М. Розанова

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

ISBN: 978-5-534-00116-7
Издательство: Юрайт
Дата выхода: февраль 2017

28.11 USD 23.89 USD

В корзину

Классические прописи по математике дп

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

Сычева Г.Н.

ISBN: 978-5-222-39059-7
Издательство: Феникс
Дата выхода: ноябрь 2022

1.97 USD

В корзину

Просмотренные категории

Словари и разговорники