Дискретная математика. Форм.-логич.системы и языки - Авдошин С.
Автор: Авдошин С.
Артикул: 1058794
SKU: VV1058794
ISBN: 9785970606223
Количество страниц: 390
Обложка:
Год: 2018
Издательство: ДМК-Пресс(DMK-Press)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Артикул: 1058794
SKU: VV1058794
ISBN: 9785970606223
Количество страниц: 390
Обложка:
Год: 2018
Издательство: ДМК-Пресс(DMK-Press)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Ваша цена:
$66.91
Доставка за 14–20 дней
Краткая аннотация
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины "Дискретная математика" на факультете бизнес- информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт. Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 "Информатика и...
Похожие товары
Математика. Учимся решать примеры и задачи. Счет в пределах 20
Matematika. Uchimsia reshat' primery i zadachi. Schet v predelakh 20 , Likhunova OlesiaЛихунова Олеся
Артикул: 1470603
$26.59
Доставка за 14–20 дней
Математика. Геометрия 7-9 кл Задачник Базовый ур.
Matematika. Geometriia 7-9 kl Zadachnik Bazovyi ur. , Ziv Boris GermanovichЗив Борис Германович
Артикул: 1530896
$31.82
Доставка за 14–20 дней
Алгебра конфликта. Дилемма заключенного, имитация решений, рефлексивное управление
Algebra konflikta. Dilemma zakliuchennogo, imitatsiia reshenii, refleksivnoe upravlenie , Lefevr V.A., Smolian G.L.Лефевр В.А., Смолян Г.Л.
Артикул: 1494233
$23.42
Доставка за 14–20 дней
Компьютерные сети: построение, настройка, практическая реализация + виртуальный диск
Komp'iuternye seti: postroenie, nastroika, prakticheskaia realizatsiia + virtual'nyi disk , Molochkov V. P.Молочков В. П.
Артикул: 1508108
$44.30
Доставка за 14–20 дней
Классическая теория поля. 2-е изд., испр. и доп
Klassicheskaia teoriia polia. 2-e izd., ispr. i dop , Stepan'iants K.V.Степаньянц К.В.
Артикул: 1469709
$107.45
Доставка за 14–20 дней
Элементарная геометрия: ПЛАНИМЕТРИЯ
Elementarnaia geometriia: PLANIMETRIIa , Glagolev N.A.Глаголев Н.А.
Артикул: 1401854
$38.48
Доставка за 14–20 дней
АнтиДемидович: Справочное пособие по высшей математике. Т. 2. Математический анализ. Ч. 1: Ряды: учебное пособие. 11-е изд
AntiDemidovich: Spravochnoe posobie po vysshei matematike. T. 2. Matematicheskii analiz. Ch. 1: Riady: uchebnoe posobie. 11-e izd , Liashko I.I., Boiarchuk A.K., Gai Ia.G., Golovach G.P.Ляшко И.И., Боярчук А.К., Гай Я.Г., Головач Г.П.
Артикул: 1332621
$30.50
Доставка за 14–20 дней
Арифметика и алгебра в Древнем мире. 3-е изд. № 260
Arifmetika i algebra v Drevnem mire. 3-e izd. ? 260 , Vygodskii Mark IakovlevichВыгодский Марк Яковлевич
Артикул: 1332465
$65.29
Доставка за 14–20 дней