Вопросы с тегом «teaching»

Я пересматривал Теорию вычислений для забавы, и этот вопрос меня мучил некоторое время (забавно, никогда не думал об этом, когда я изучал Теорию автоматов в моем старшекурснике). Итак, «почему» мы точно изучаем детерминированные и недетерминированные конечные автоматы (DFA / NFAs)? Итак, вот некоторые ответы, которые я придумал после ответа, но …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

Это мой первый вопрос на этом сайте. Я учусь в магистратуре по теории вычислений. Как бы вы объяснили проблему P = NP 10-летнему ребенку и почему он получил такое денежное вознаграждение? Твой дубль? Я обновлю вопрос, когда моя голова прояснит это.

54 cc.complexity-theory  soft-question  teaching  p-vs-np 

Иерархия Хомского (–Schützenberger) используется в учебниках теоретической информатики, но она, очевидно, охватывает только очень небольшую часть формальных языков (REG, CFL, CSL, RE) по сравнению с полной диаграммой зоопарка сложности . Играет ли иерархия какую-либо роль в текущих исследованиях? Я нашел только небольшие ссылки на Хомского здесь, на cstheory.stackexchange, а в …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching 

Меня часто просят в моем отделе рассказать ученикам старших классов о более математических элементах информатики. Я делаю все возможное, чтобы выбрать темы из TCS, которые могут заинтересовать их (что в основном связано с проблемой остановки), но мне бы хотелось услышать идеи / успехи / неудачи других людей. Дело в том, …

38 soft-question  teaching 

Всегда есть способ применения в темах, связанных с теоретической информатикой. Но учебники и курсы бакалавриата обычно не объясняют причину, по которой теория автоматов является важной темой и имеет ли она применение на практике. Поэтому у студентов бакалавриата могут возникнуть проблемы с пониманием важности теории автоматов, и они могут подумать, что …

37 soft-question  fl.formal-languages  automata-theory  teaching 

Этот вопрос предназначен для людей, которые задают задачи: учителей, ассистентов студентов, репетиторов и т. Д. Это случалось со мной несколько раз за всю мою 12-летнюю карьеру профессора: я поспешно выдвинул некоторую проблему из текста, думая, что «это выглядит хорошо». Потом понял, что не могу решить. Мало что смущает. Вот недавний …

36 soft-question  teaching 

Когда мы следуем за стандартные учебники, или традиции, большинство из нас учат следующее определение большого Ах обозначений в первые несколько лекций класса алгоритмов: f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)).f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)). f = O(g) \mbox{ iff } (\exists c > 0)(\exists n_0 \geq 0)(\forall n \geq n_0)(f(n) \leq c \cdot g(n)). Возможно, мы …

35 ds.algorithms  soft-question  teaching 

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

34 soft-question  teaching 

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

30 ds.algorithms  machine-learning  teaching 

Я только что преподавал рандомизированный алгоритм сокращений по методу Каргера-Стейна в своем выпускном классе алгоритмов. Это настоящая алгоритмическая жемчужина , поэтому я не могу ее не преподавать, но она всегда расстраивает меня, потому что я не знаю других применений основной техники. (Таким образом, трудно назначить домашнюю работу, которая заставляет точку …

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

Мне трудно преподавать понятие вычислимых функций. Я попытался развить идею, почему такие исследователи, как Гильберт / Аккерманн / Годель / Тьюринг / Черч / ... изобрели понятие «вычислимости». Студенты сразу спросили: «что означает вычислимость?» и я не могу ответить, пока не научу их машинам Тьюринга, а затем отвечу: «Функция вычислима, …

22 soft-question  computability  turing-machines  teaching 

В настоящее время я преподаю небольшой курс (четыре двухчасовых лекции на уровне магистратуры) по логическим методам в безопасности , хотя название « Формальные методы в безопасности» может быть более подходящим. В нем кратко рассматриваются следующие темы (с соответствующими логическими методами): Управление цифровыми правами и применение политик (общая формализация, модальная логика, …

22 lo.logic  cr.crypto-security  teaching  security  formal-methods 

Я буду преподавать стандартный курс для студентов по языкам и автоматам в следующем семестре и предпочел бы использовать законный бесплатный или недорогой текст. Какие-либо предложения? Мне нравится текст Sipser, но последнее издание стоит 196 долларов, что трудно сказать с неприкрытым лицом в эпоху бесплатных курсов.

21 soft-question  teaching  books 

У меня есть достаточное образование по математике, но я никогда не чувствовал себя уверенно на 100% с абстрактной алгеброй (математика групп, колец, полей и т. Д.). Я думаю, что это было отчасти потому, что мне нужно было увидеть приложения, и все, что я мог найти, были в физике, а не …

19 soft-question  algebra  teaching 

Мне предложили преподавать новую программу средней школы TCS, которая требует составления учебного плана. Мне бы очень хотелось услышать мнения и предложения по этому поводу. Во-первых, кто-нибудь знает о средних школах, где программа TCS преподавалась успешно (или безуспешно)? Идея предназначена для трехлетней программы (10-12 классы, возраст 16-18 лет), около 8 часов …

16 teaching