Запитання з тегом «teaching»

Я переглядаю Теорію обчислень для розваги, і це питання мене натякало на деякий час (смішно ніколи про це не замислювався, коли я вивчив Теорію автоматів у своєму недограді). Тож "чому" ми саме вивчаємо детерміновані та недетерміновані кінцеві автомати (DFA / NFA)? Ось ось кілька відповідей, які я придумав після розмови, …

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= О ( ж) iff ( ∃ c > 0 ) ( ∃ n0≥ 0 ) ( ∀ 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 lo.logic  cr.crypto-security  teaching  security  formal-methods 

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

22 soft-question  computability  turing-machines  teaching 

Я буду викладати стандартний бакалавратський клас з мов та автоматів наступного семестру, і вважаю за краще використовувати законний безкоштовний або недорогий текст. Будь-які пропозиції? Я люблю текст Шипсера, але остання редакція коштує 196 доларів, що важко сказати з прямим обличчям в епоху безкоштовних курсів.

21 soft-question  teaching  books 

Я маю розумну недооцінену математичну освіту, але ніколи не був на 100% комфортний з абстрактною алгеброю (математика груп, кілець, полів тощо). Я думаю, що це почасти було так, як мені потрібно було переглянути додатки, і все, що я міг знайти, був з фізики, а не з CS. Оскільки мене цікавить …

19 soft-question  algebra  teaching 

Мені запропонували викладати нову програму середньої школи TCS, яка вимагає побудови навчальної програми. Я дуже хотів би почути думки та пропозиції щодо цього. По-перше, хтось знає із середніх шкіл, де програму TCS викладали успішно (або безуспішно)? Ідея передбачає трирічну програму (10–12 класи, вік 16–18 років), приблизно 8 годин на тиждень, …

16 teaching