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

Заглянуть

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

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

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

Код 4821274

ISBN: 9785970606223
390 страниц

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

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

23 USD

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

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

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

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

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

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

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

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

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

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

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

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

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

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

.

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

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

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

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

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

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

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

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

16.78 USD

В корзину

-10%

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

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

36.18 USD 32.56 USD

20 На складе

В корзину

-3%

Следующие 500 лет бумажная книга

Кристофер Мейсон

13.41 USD 13.01 USD

В корзину

Защита систем: чему "Звездные войны" учат инженера ПО

Защита систем: чему "Звездные войны" учат... бумажная книга

Адам Шостак

28.9 USD

В корзину

-12%

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

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

14.97 USD 13.17 USD

В корзину

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

14.17 USD

В корзину

Авиатор

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

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

"Евгений Водолазкин — прозаик, филолог. Автор бестселлера "Лавр" и изящного historical fiction "Соловьев и Ларионов". В России его называют "русским Умберто Эко", в Америке — после выхода "Лавра" на английском — "русским Маркесом". Ему же достаточно быть самим собой. Произведения Водолазкина переведены на многие иностранные языки. Герой нового романа "Авиатор" — человек в состоянии tabula rasa: очнувшись однажды на...

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

16.78 USD

В корзину

10%

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

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

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

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

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

36.18 USD 32.56 USD

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

Следующие 500 лет

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

Кристофер Мейсон

Эта книга — взгляд ученого и футуролога на судьбу человечества в ближайшие пять столетий, основанный на анализе исторических тенденций, научных открытий и технологических прорывов. Биолог и генетик Кристофер Мэйсон предлагает читателям порассуждать о том, что сулят нам следующие 500 лет. Есть большая вероятность, что в результате изменений климата жизнь на Земле станет невозможной, так...

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

13.41 USD 13.01 USD

В корзину

Защита систем: чему "Звездные войны" учат инженера ПО

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

Адам Шостак

Практическое руководство по написанию безопасных приложений с помощью опыта мастеров-джедаев из «Звездных войн». Чему могут научить R2-D2, Дарт Вейдер, Хан Соло или даже Йода в плане безопасности программного обеспечения? В книге «Защита систем: чему "Звездные войны" учат инженеров ПО» дан целый арсенал стратегий и методов защиты, которые применимы не только в фантастическом мире, но и в реальных...

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

28.9 USD

В корзину

12%

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

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

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

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

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

14.97 USD 13.17 USD

В корзину

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

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

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

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

14.17 USD

В корзину

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

Английские частицы. Функции и перевод электронная книга

Алексей Минченков

Нет в продаже

-19%

Доброта в ладошках бумажная книга

13.88 USD 11.25 USD

В корзину

Английские частицы: Функции и перевод бумажная книга

Алексей Минченков

3.64 USD

В корзину

3D пазл для раскраш. Арттерапия "Бабочка" 02592

Нет в продаже

19%

Доброта в ладошках

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

Синичкина Т.

Эти добрые сказки введут вас в волшебный мир детства. Вас ждут увлекательные приключения с Шариком и Кузнечиком, Лягушкой и Комаром, Тетушкой Ленью и Красавицей Весной. Сказки научат вас ценить дружбу, помогать ближним и заботиться о них, оставляя светлый след в душе, даря надежду и желание совершать только добрые поступки.

ISBN: 978-5-9908199-8-6
Издательство: Ресторанные ведомости
Дата выхода: январь 2017

13.88 USD 11.25 USD

В корзину

Английские частицы: Функции и перевод

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

Алексей Минченков

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

ISBN: 9785949620618
Издательство: Антология
Дата выхода: сентябрь 2017

3.64 USD

В корзину

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

Сувениры Моя цена! Плавание