Университет Карнеги Меллон logo
  • Стоимость:
  • Местные: $ 63.9тыс. / Год
  • Иностранцы: $ 63.9тыс. / Год
  • Язык обучения:
  • Английский
  • Дедлайн:
  • 2 января 2017
  • StudyQA рейтинг:
  • 1385pts.
  • Длительность:
  • 5 лет

    Фотогалерея / #carnegiemellon

    Доктор философии Программа «Чистая и прикладная логика» - это междисциплинарная программа, предназначенная для поддержки студентов, ищущих карьеру в области математики, но заинтересованных в работе в области логики, поддерживаемой философским факультетом. В рамках программы студенты получают степень магистра наук. Степень от Отделения Математических Наук.

    Области исследований включают в себя:

    • автоматический вывод и автоматическое рассуждение
    • теория категорий и категориальная логика
    • вычислимость и вычислимый анализ
    • конструктивная логика и теории типов
    • теория гомотопического типа
    • теория доказательств

    Гибкие требования программы обеспечивают широкий учебный план, постоянное участие в исследованиях и возможность практиковать обучение в отличной студенческой среде. Ожидается, что студенты завершат диссертацию к середине третьего курса, а кандидатскую - к концу пятого курса.

    Курсовая

    Требования к курсу программы предназначены для того, чтобы предоставить студентам общее представление об основных инструментах философского анализа, общий фон философских вопросов, значительную междисциплинарную компетентность и введение в темы исследований на кафедре.

    Основные требования к философии (4 курса)

    • Основной семинар по философии 80-600: обзор важнейших исследований в области философии, логики и смежных областей
    • 80-601 Основной семинар по философии II: продолжение обзора важнейших исследований в области философии, логики и смежных областей
    • 80-616 Формальные методы (1,5 семестра). Введение в современные формальные структуры, включая байесовские сети, теорию принятия решений, теорию игр и теорию формального обучения
    • 80-618 Темы в логике II (полугодия): теория вычислимости и теоремы Гёделя о неполноте
    • Семинар по профессиональному развитию. Студенты должны записаться на семинар по профессиональному развитию в весенний семестр каждого из первых трех лет обучения.

    Требования к математике (8 курсов, достаточных для получения степени магистра в области математических наук)

    • Один курс по алгебре (например, 21-610 Алгебра I, 21-611 Темы по алгебре или 80-713 Теория категорий)
    • Один курс по топологии (например, Общая топология 21-651)
    • Один курс по анализу (например, 21-720 Измерение и интеграция или 21-721 Вероятность)
    • Три курса по логике (например, теория множеств 21-602, теория моделей 21-603, теория рекурсии 21-604 или теория доказательств 80-711)
    • Два факультативных занятия по математике или информатике

    Максимум два из восьми курсов можно пройти за пределами математики. Студенты должны связаться с директором аспирантуры математического факультета, чтобы определить, будут ли курсы, преподаваемые вне математики, соответствовать этому требованию.

    Ширина (2 курса)

    • Один курс в аналитической традиции (например, «Рациональный выбор 80–605», «Философия математики 80–612» или «Философия языка 80–680»)
    • Один курс в истории философии (например, аналитическая философия 80-254 или прагматизм 80-255)

    факультативы (4 курса)

    • Четыре факультативных факультатива (включая направленное чтение и исследование диссертации)

    Эти требования можно выполнить за три года, пройдя три курса каждый семестр. Курсовая работа должна быть завершена не позднее конца четвертого года обучения. Факультативные должны быть выбраны в консультации с директором аспирантуры и советником студента, чтобы убедиться, что выбранные курсы будут поддерживать карьерные цели студента.

    Исследование

    Студентам рекомендуется проводить чтение и исследование под руководством преподавателя весной первого года обучения для изучения возможных тем исследования для магистерской диссертации. Весной второго года. Сам тезис MS должен быть завершен к концу второго года.

    На третьем курсе студенты выбирают тему диссертации и комитет. Студенты должны представить и защитить проспект не позднее, чем к концу четвертого курса, и, как ожидается, завершат свою докторскую диссертацию к концу пятого года.


    Требования для иностранных студентов в США

    Каждый университет в Соединенных Штатах Америки устанавливает собственные стандарты приема, таким образом, не существует единых критериев для всех студентов, и только университет может решить, какие абитуриенты соответствуют требованиям, а какие - нет. Плата за каждую заявку составляет от $35 to $100.  

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

    Решение о зачислении принимается на основании академической успеваемости абитуриента и результатах различных тестов, таких как TOEFL, SAT или ACT (для программ бакалавриата) и GRE или GMAT (для программ магистратуры). Оно также зависит от академических результатов и мотивации.


    Требования программы

    • Заявление для выпускника
    • Образец оригинальной письменной работы
    • Заявление о личном исследовании
    • Три (или более) рекомендательных письма
    • Стенограммы из всех ранее посещенных колледжей или университетов
    • баллы GRE (код учреждения: 2074; код отдела: 2801)
    • Результаты TOEFL или IELTS для абитуриентов, не говорящих по-английски
    • регистрационный сбор в размере 50 долларов США

    Вместо отправки бумажных копий можно загружать отсканированные версии официальных стенограмм, отчетов о результатах GRE и результатов TOEFL / IELTS.

    Похожие программы:
    Смотреть все похожие программы (372)