Дискретная математика. Форм.-логич.системы и языки - Авдошин С.
Автор: Авдошин С.
Артикул: 1058794
SKU: VV1058794
ISBN: 9785970606223
Количество страниц: 390
Обложка: -
Год: 2018
Издательство: ДМК-Пресс(DMK-Press)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Артикул: 1058794
SKU: VV1058794
ISBN: 9785970606223
Количество страниц: 390
Обложка: -
Год: 2018
Издательство: ДМК-Пресс(DMK-Press)
Данная книга будет отправлена в течение 14-16 дней. Обратите внимание, что ДОПОЛНИТЕЛЬНЫЕ скидки на данную книгу НЕ распространяются.
Ваша цена:
$56.71
Доставка за 14–20 дней
Краткая аннотация
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины "Дискретная математика" на факультете бизнес- информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт. Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 "Информатика и...
Похожие товары
100 задач по математ. Учимся решать все виды 1-4кл
100 zadach po matemat. Uchimsia reshat' vse vidy 1-4kl , Selivanova M.SСеливанова М.С
Артикул: 1357561
$17.14
Доставка за 14–20 дней
Теория функций комплексной переменной: Методы решения задач
Teoriia funktsii kompleksnoi peremennoi: Metody resheniia zadach , Kravtsov A.V., Maikov A.R.Кравцов А.В., Майков А.Р.
Артикул: 1402144
$64.73
Доставка за 14–20 дней
Курс дифференциальной геометрии и топологии. 4-е изд., перераб.и доп
Kurs differentsial'noi geometrii i topologii. 4-e izd., pererab.i dop , Mishchenko A.S., Fomenko A.T.Мищенко А.С., Фоменко А.Т.
Артикул: 1332353
$111.50
Доставка за 14–20 дней
Краткий курс аналитической геометрии: учебник. 15-е изд
Kratkii kurs analiticheskoi geometrii: uchebnik. 15-e izd , Efimov N.V.Ефимов Н.В.
Артикул: 1332515
$76.48
Доставка за 14–20 дней
Наркотики бросают в голове (6566)
Narkotiki brosaiut v golove (6566) , Zhivov IanЖивов Ян
Артикул: 1549260
$20.39
Доставка за 14–20 дней
Математический марафон. Сложение и вычитание
Matematicheskii marafon. Slozhenie i vychitanie , Astakhova N.Астахова Н.
Артикул: 1314172
$22.44
Доставка за 14–20 дней
![Математика 1кл ч1 [Учебник] ФП](https://www.kniga.com/img/products/VV1363871.jpg)
Математика 1кл ч1 [Учебник] ФП
Matematika 1kl ch1 [Uchebnik] FP , Dorofeev G.V., Mirakova T.N., Buka T.B.Дорофеев Г.В., Миракова Т.Н., Бука Т.Б.
Артикул: 1363871
$30.94
Доставка за 14–20 дней
![Лесная школа 2кл [Слож.и выч.чисел в пределах 100]](https://www.kniga.com/img/products/9785408036622.jpg)
Лесная школа 2кл [Слож.и выч.чисел в пределах 100]
Lesnaia shkola 2kl [Slozh.i vych.chisel v predelakh 100] , Bedenko M.V.Беденко М.В.
Артикул: 1109263
$7.73
Доставка за 14–20 дней