Логика, вычисления и методология

М.С. Программа в области логики, вычислений и методологии предлагает уникальные возможности для обучения в течение двух лет в областях, где кафедра выделяет формальные сильные стороны исследования. Это те же области исследований, которые открыты для Ph.D. кандидатов. Как двухлетняя программа, она хорошо подходит для студентов, которые хотят улучшить свое обучение в отдельных областях формальной философии, чтобы либо получить профессию за пределами академии, например, разработка экспертных систем для консалтинговых фирм, специализирующихся на методах ИИ, или для подготовки к последующему обучению в области аналитической философии, когнитивной психологии, информатики, математики или статистики.

Познание, ИИ и философия психологии

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

Решение, рациональный выбор и прикладная этика

• основы теории принятия решений
• теория игр
• рациональный выбор
• политическая философия
• биоэтика
• этика и государственная политика

Эпистемология, научный метод

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

Логическая и математическая мысль

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

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

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

В приведенных ниже требованиях мы ссылаемся на «философские области». Для целей наших требований философские области:

• Область 1: Философия науки, методология и эпистемология
• Область 2: теория ценностей
• Область 3: История философии
• Область 4: философия разума, философия языка, лингвитика и метафизика
• Область 5: Философия математики и логики

Основные требования

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

С одобрения директора аспирантуры, другие курсы по логике могут быть заменены на 80-610 и 80-618. Например, 80-619 вычислимость и обучаемость могут заменить 80-618.

Философские факультативы

Опция на основе курса

• Два курса для выпускников любого из пяти философских направлений

Вариант тезиса

• Два курса независимых исследований тезисов

Междисциплинарное требование

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

• 10-701 Машинное обучение
• 15-211 Основные структуры данных и алгоритмы
• 21-601 Теория моделей I
• 36-625 вероятностная и математическая статистика I
• 85-719 Введение в параллельную распределенную обработку
• 85-765 Когнитивная неврология

Дополнительные курсы

• Два дополнительных курса для выпускников

ПРИМЕЧАНИЕ. Для выполнения требований для получения степени магистра на основе курса можно использовать максимум два направленных чтения без специального разрешения директора аспирантуры. Тем не менее, студентам, выбравшим вариант курса, рекомендуется рассмотреть хотя бы одно направленное чтение, чтобы углубиться в область предыдущего курса.

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

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

Хотите улучшить уровень английского для поступления?

Подготовьтесь к требованиям программы с помощью курсов English Online от Британского Совета.

• ✔️ Гибкий график занятий
• ✔️ Опытные преподаватели
• ✔️ Сертификат по окончании курса

📘 Рекомендуется для студентов с уровнем IELTS 6.0 или ниже.

Записаться на курс

Стипендия

Философский факультет предлагает квалифицированную магистерскую диссертацию учащимся предоставляется до 50% стипендии за обучение, добавляемая к любым внешним стипендиям или другим вознаграждениям за обучение, которые студент получил самостоятельно или самостоятельно. Кроме того, квалифицированные студенты MS имеют возможность выступать в качестве ассистентов или грейдеров на курсах бакалавриата по ставке стипендии, ежегодно устанавливаемой кафедрой. В 2015-2016 учебном году по программе TAing или по одному курсу за семестр для каждого из двух семестров, M.S. студент зарабатывает 8000 долларов в виде стипендии. Кроме того, департамент предоставляет приблизительно 1100 долларов США для покрытия стоимости полиса медицинского страхования Карнеги-Меллона.