книги Электронные книги Детская литература Учебная литература

Заглянуть

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

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

Код 4819182

2403 кб

декабрь 2017
12+

Электронная книга

Нет в продаже

Доступные форматы pdf

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

Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт. Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов.

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

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

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

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

Возрастное ограничение:	12+
Правообладатель:	ДМК Пресс
Дата выхода:	декабрь 2017
Размер файла:	2403 Кб
Поставщик контента:	ООО «ЛитРес»

Книга находится в категориях

Наука, техника, медицина

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

Рождение бренда: как выносить плод вашей страсти к предпринимательству

Рождение бренда: как выносить плод вашей... бумажная книга

Брайан Смит

11.98 USD

В корзину

-9%

Блокчейн. Разработка приложений бумажная книга

Нараян Прасти

8.07 USD 7.35 USD

В корзину

-10%

Python для сложных задач: наука о данных и машинное обучение

Python для сложных задач: наука о данных и... бумажная книга

Дж. Вандер Плас

25.68 USD 23.11 USD

В корзину

Итальянский язык для начинающих. Сам себе репетитор

Итальянский язык для начинающих. Сам себе... бумажная книга

Дарья Шевлякова

Нет в продаже

Психиатрия детского возраста. Руководство для врачей

Психиатрия детского возраста. Руководство для... бумажная книга

Игорь Макаров

29.96 USD

В корзину

История чемпионата мира по футболу: с 1930 по настоящее время (в футляре)

История чемпионата мира по футболу: с 1930 по... бумажная книга

Нет в продаже

Рождение бренда: как выносить плод вашей страсти к предпринимательству

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

Брайан Смит

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

Издательство: Попурри
Дата выхода: август 2019

11.98 USD

В корзину

Блокчейн. Разработка приложений

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

Нараян Прасти

Рассказано о том, что такое децентрализованные приложения и как они работают. Расмотрены принципы работы платформы Ethereum. Показано, как писать смарт-контракты и использовать интерактивную консоль Geth для размещения и передачи транзакций. Описана библиотека web3.js, ее импорт, подключение к Geth и использование в среде Node.js или на стороне клиента. Продемонстрировано, как создать сервис кошелька и управлять им,...

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

8.07 USD 7.35 USD

В корзину

10%

Python для сложных задач: наука о данных и машинное обучение

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

Дж. Вандер Плас

Книга "Python Data Science Handbook" - это подробное руководство по самым разным вычислительным и статистическим методам, без которых немыслима любая интенсивная обработка данных, научные исследования и передовые разработки. Читатели, уже имеющие опыт программирования и желающие эффективно использовать Python в сфере Data Science, найдут в этой книге ответы на всевозможные вопросы, например: 1) как мне считать этот формат...

Издательство: Питер
Дата выхода: декабрь 2018

25.68 USD 23.11 USD

В корзину

Психиатрия детского возраста. Руководство для врачей

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

Игорь Макаров

В руководстве отражены научные и практические взгляды представителей ленинградской (петербургской) детско-подростковой психиатрии, причем большинство авторов издания являются сторонниками школы выдающегося ученого и практика, одного из основателей детской психиатрии Ленинграда (Санкт-Петербурга) профессора С. С. Мнухина. На современном научно-методическом уровне изложены вопросы общей...

Издательство: Наука и техника
Дата выхода: январь 2019

29.96 USD

В корзину