О курсе
Математическая логика возникла почти 100 лет назад в связи с внутренними потребностями математики. Но со временем она нашла применение также в теоретическом и практическом программировании и сегодня помогает преодолеть недостатки естественных языков — их неточность, многозначность и сложность.
При решении прикладных задач часто появляется необходимость переводить информацию с содержательного языка на математический, оттуда на язык численных методов и алгоритмов, а с него на конкретный язык программирования, и обратно. Знание мощных и простых способов преобразования математических предложений, предоставляемых математической логикой, понадобятся каждому, кто хочет начать заниматься исследованиями или создавать эффективные программы.
Наряду с рассмотрением сложных вопросов на достаточно строгом уровне, курс содержит множество примеров и пояснений, которые помогут усвоить трудные понятия и проблемы.
Для кого этот курс
Курс рассчитан на студентов, обучающихся инженерным специальностям, и школьников старших классов, увлекающихся логикой и математикой. Но простота изложения материала позволит освоить курс любому человеку, желающему понять основы математической логики.
Начальные требования
Для понимания большей части материала достаточно школьной подготовки. Некоторые разделы требуют знакомства с императивным программированием и началами математического анализа.
Наши преподаватели
Программа курса
