Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3.В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техникиНационального исследовательского университета Московский энергетический ...
Kniga soderzhit osnovnye svedenija iz formalno-logicheskikh sistem. Eto funktsii algebry logiki (bulevy funktsii), teorema Posta o funktsionalnoj polnote, k-znachnye logiki, proizvodnye bulevykh funktsij, aksiomaticheskie ischislenija vyskazyvanij, predikatov, sekventsij, rezoljutsij i jazyk programmirovanija Prolog. Rassmatrivajutsja monadicheskaja logika, konechnye avtomaty i predstavimye imi jazyki, temporalnaja logika, aksiomaticheskij jazyk programmirovanija OBJ3.V osnovu knigi polozhen mnogoletnij opyt prepodavanija avtorami distsipliny «Diskretnaja matematika» na fakultete biznes-informatika, na fakultete kompjuternykh nauk Natsionalnogo issledovatelskogo universiteta Vysshaja shkola ekonomiki i na fakultete avtomatiki i vychislitelnoj tekhnikiNatsionalnogo issledovatelskogo universiteta Moskovskij energeticheskij ...
