Дискретная математика. Формально-логические системы и языки
Описание
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт. Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов.
Характеристики
| age: | 12 |
| author: | С. М. Авдошин |
| genres_list: | 5312,5662,6645,45835,115684,124635,134091,239688 |
| ISBN: | 978-5-97060-622-3 |
| lang: | ru |
| litres_isbn: | 978-5-04-095949-5 |
| publisher: | ДМК Пресс |
| Type: | book |
| year: | 2018 |
| Форматы: |
График изменения цены & курс обмена валют
Пользователи также просматривали
13,787.00 руб.
Сварочная горелка Сварог TECH SUPER TS 20 88185, TECH Super TS 20 (M121, 1/4G, 3/8G)
goods.ru
2,365.00 руб.
Тюль Tex Valley жаккард, ширина 200, высота 250 см, 1 шт, Белый, серия Жаккард с234
goods.ru
278.00 руб.
Гель-лак для ногтей SUN Professional 131 Чарующий Ирис 10мл, Сиреневый;фиолетовый, 131 Чарующий Ирис
goods.ru
179.00 руб.
Ручка-кнопка мебельная BRANTE хром/венге, комплект 2шт, К2, Коричневый, К2-22.123
goods.ru
14,855.00 руб.
Кроссовки женские CMP Kaleepso Low Wmn Wp 31Q4906 серые 40 EU (доставка из-за рубежа), Серый, Kaleepso Low Wmn Wp 31Q4906
goods.ru
1,206.43 руб.
French Swimsuit Women's New Girl Hot Spring Vacation Fan Lace Short Sleeve Ins Cover Belly Show Thin One-piece Swimming Suit
aliexpress.com
2,503.63 руб.
2024 summer blue national style cardigan sling dress new chinese style women's hanfu oil painting hanfu ancient style dress set
aliexpress.com
2,419.29 руб.
1Pair Front Bumper Fog Lamp Cover 96694768 96694774 for Chevrolet Sonic Sedan 2011-2016 Light Cover Frame No Holes
aliexpress.com
213.66 руб.
10Pcs TP4056 Charging Module with Battery Protection 18650 BMS 5V Micro-USB 1A 186 50 Lithium Battery Charging Board
aliexpress.com
4,847.42 руб.
FOR 300 XC-W 450 EXC-F TPI SIX DAYS 2019-2021 450EXCF Oil Cooler Dritbike Accessories Radiator Guard Protector Grille Cover
aliexpress.com
190.00 руб.
Металлическая сумка с заклепками, гвоздями, D-кольцом, сумочка, ремень, прочная сумка, портфель с пряжкой для ногтей, заклепками
joom.ru
3,783.96 руб.
kithdia handmade red wooden eyewear uv400 polarized mirror sunglasses men women vintage design masculino, White;black
dhgate.com
3,045.80 руб.
220new summer brand designer patagonia t shirt men women fashion landscape print short sleeves cotton casual tees, White
dhgate.com
