Учебное пособие. М.: МФТИ, 2007. 240 с.
В этом пособии, написанном по материалам семинаров, проводившихся автором на кафедре прикладных концептуальных методов в Московском физико-техническом институте, изложены элементы классической логики, а также аппарат родов структур Бурбаки. Применяется стандартная (не бурбаковская) терминология и аксиоматика логики и теории множеств, что позволяет использовать это пособие совместно с другими учебниками.
Предназначено для студентов младших курсов начинающих заниматься концептуальными методами и знакомыми с понятиями и символами математической логики на уровне достаточном для освоения стандартных программ высшей математики. Разделы книги, посвященные логике и теории множеств дают элементарные сведения необходимые для обоснования аппарата концептуальных методов. Пособие разработано в рамках инновационной образовательной программы «Разработка методического обеспечения учебного процесса» по направлению Наукоёмкие технологии и экономика инноваций.
В этом пособии, написанном по материалам семинаров, проводившихся автором на кафедре прикладных концептуальных методов в Московском физико-техническом институте, изложены элементы классической логики, а также аппарат родов структур Бурбаки. Применяется стандартная (не бурбаковская) терминология и аксиоматика логики и теории множеств, что позволяет использовать это пособие совместно с другими учебниками.
Предназначено для студентов младших курсов начинающих заниматься концептуальными методами и знакомыми с понятиями и символами математической логики на уровне достаточном для освоения стандартных программ высшей математики. Разделы книги, посвященные логике и теории множеств дают элементарные сведения необходимые для обоснования аппарата концептуальных методов. Пособие разработано в рамках инновационной образовательной программы «Разработка методического обеспечения учебного процесса» по направлению Наукоёмкие технологии и экономика инноваций.