1. Главная
2. Магазин
3. авдошин с набебин а дискретная математика формально логические системы и языки

авдошин с набебин а дискретная математика формально логические системы и языки

---

Описание:

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

Товары для красоты:

asimov i foundation and empire | wedding stories | led rearview mirror indicator blinker repeater light dynamic turn signal for bmw 5 6 7 series f10 f11 f07 f06 f12 f13 f01 f02 | murakami haruki men without women | carre j the honourable schoolboy | car floor mats for honda fit jazz 2014 2015 2016 2017 2018 2019 2020 custom auto foot pads automobile carpet cover | высококачественный рычаг управления передней верхней подвеской oe 31126775967 l r для bmw 5 6 7 серии f10 f18 f07 f11 f12 f13 f06 f01 f02 f03 | lost and found true tales of love and rescue from battersea dogs | 2x rear tailgate gas struts lift support for 2009 2010 2011 2012 2013 2014 2015 2016 2017 toyota avensis estate saloon sedan | leather car seat cover for peugeot 4008 405 406 407 408 5008 508 607 807 2014 2013 2012 auto seats cushion covers accessories | 500 шт топливный инжектор 06164 p2j 000 резиновое уплотнение 22013 для honda accord civic odyssey acura rl tl integra | set molded mud flaps for audi q5 fy 2018 2019 mudflaps splash guards mud flap mudguards fender front rear 2017 accessories | пушкин а евгений онегин избранная лирика eugene onieguine poesies choisies | скад акула 6x16 4x100 d54 1 et52 selena | распредвала в сборе для hisun 500 atv utv запасные части hs код 14100 004000 0000 erp код p004000141000000 | 2x front hood lift support gas shock struts for land rover lr2 2008 2009 2010 2011 2012 2013 2014 | safrew ethan treasures of the hermitage museum | x 111 6 5x15 5 114 3 d67 1 et38 hsb fp | the moscow centre museum named after n roerich | mzorange rear license plate led light registration plate lamp for byd f0 2008 2009 2010 2011 2012 2013 2014 2015 high quality | budraitkis i zhilyaev a pedagogical poem the archive of the future museum of history | biddulph rob odd dog out | khw1803 7x18 5x108 d57 1 et40 black fp | butler nickolas the hearts of men | 2pcs for peugeot 308 mk2 2015 2021 207 2008 208 2012 2013 2014 2015 2016 citroen c5 led license number plate light lamp |