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

Заглянуть

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

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

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

Код 4821274

ISBN: 9785970606223
390 страниц

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

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

21.9 USD

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

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

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

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

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

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

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

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

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

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

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

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

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

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

.

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

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

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

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

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

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

-3%

Почтальонша бумажная книга

Франческа Джанноне

8.54 USD 8.29 USD

В корзину

Декамерон бумажная книга

Джованни Боккаччо

1468.13 USD

В корзину

-13%

Опережая некролог бумажная книга

Александр Ширвиндт

32.03 USD 27.87 USD

В корзину

Я хочу жить в своем темпе. Что я понял, пока бежал за чужими мечтами

Я хочу жить в своем темпе. Что я понял, пока... бумажная книга

15.21 USD

В корзину

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

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

80.98 USD

В корзину

-13%

Халатная жизнь бумажная книга

Зоя Борисовна...

22.45 USD 19.53 USD

В корзину

Почтальонша

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

Франческа Джанноне

Дебютный роман молодой итальянской писательницы Франчески Джанноне, ставший литературной сенсацией в Италии — раскуплено уже более 580 000 экземпляров, а права на издание проданы 37 странам. Роман основан на истории прабабушки автора, в нем рассказывается о жизни Анны — молодой женщины с севера Италии, в 1934 году переехавшей вместе с семьей на юг страны, на родину мужа. Став первой...

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

8.54 USD 8.29 USD

В корзину

Декамерон

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

Джованни Боккаччо

«Декамерон» Джованни Боккаччо — одна из самых прославленных книг в истории мировой литературы, свыше шести столетий вызывающая неугасающий интерес у самого широкого круга читателей. Большинство из ста новелл этого сборника, связанных между собой обрамляющим повествованием, посвящено теме любви в различных её проявлениях. Новеллы рассказываются на протяжении десяти дней 1348 года в обществе десяти...

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

1468.13 USD

В корзину

13%

Опережая некролог

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

Александр Ширвиндт

В 2019 году Александр Ширвиндт — всенародно любимый актер, режиссер и телеведущий — отметил юбилей. «Когда мне стукнуло 85, я подумал, что это вполне серьезная цифра, чтобы себя сформулировать», — так он пишет в предисловии к мемуарам «Опережая некролог». Разделенная на две части — это книга воспоминаний: с раннего детства и до наших дней — о семье и о близких, о службе в театре, о съемках в кино. И, конечно,...

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

32.03 USD 27.87 USD

В корзину

Я хочу жить в своем темпе. Что я понял, пока бежал за чужими мечтами

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

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

Издательство: Эксмо
Дата выхода: январь 2025

15.21 USD

В корзину

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

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

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

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

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

80.98 USD

В корзину

13%

Халатная жизнь

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

Зоя Борисовна Богуславская

В этой книге очень много имен известных людей: актеры Высоцкий, Табаков, Меньшиков, режиссер Любимов, писатели Аксенов, Солженицын, Битов, художники, политики, музыканты – книга писательницы Зои Богуславской подлинная энциклопедия культурной жизни Москвы (и гораздо шире) за последние 80 лет. Столетняя Зоя Борисовна описывает лишь то, чему сама была свидетелем и в чем участвовала. Последнюю четверть века...

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

22.45 USD 19.53 USD

В корзину