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

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

RUR 1249

В наличии

Книга содержит основные сведения из формально-логических систем

4.3 звезд, основано на 48 отзывах

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

Это функции алгебры логики булевы функции , теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог