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

М.С. Программа в области логики, вычислений и методологии предлагает уникальные возможности для обучения в течение двух лет в областях, где кафедра выделяет формальные сильные стороны исследования. Это те же области исследований, которые открыты для 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.

Стипендия

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

Более подробная информация о программе

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

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

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

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

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