Pytania otagowane jako teaching

11
Jakie oświecenie powinienem osiągnąć po przestudiowaniu automatów skończonych?
Przeglądam teorię obliczeń dla zabawy i to pytanie nęka mnie od dłuższego czasu (zabawne, że nie pomyślałem o tym, gdy nauczyłem się teorii automatu w mojej szkole licencjackiej). Więc „dlaczego” dokładnie badamy deterministyczne i niedeterministyczne automaty skończone (DFA / NFA)? Oto kilka odpowiedzi, które wymyśliłem po monologowaniu, ale wciąż nie …
5
Czy hierarchia Chomsky'ego jest przestarzała?
Hierarchia Chomsky'ego (–Schützenberger) jest używana w podręcznikach teoretycznej informatyki, ale oczywiście obejmuje tylko bardzo niewielką część języków formalnych (REG, CFL, CSL, RE) w porównaniu z pełnym diagramem złożoności Zoo . Czy hierarchia odgrywa już jakąkolwiek rolę w bieżących badaniach? Znalazłem niewiele odniesień do Chomsky'ego tutaj na cstheory.stackexchange, aw Zoo Złożoności …
13
Inspirująca rozmowa dla uczniów ostatniej klasy liceum
Mój dział często prosi mnie o wygłaszanie wykładów dla uczniów liceum na temat bardziej matematycznych elementów informatyki. Dokładam wszelkich starań, aby wybierać z TCS tematy, które mogą wzbudzić ich zainteresowanie (co dotyczy głównie problemu Halting), ale chętnie usłyszę pomysły / sukcesy / porażki innych ludzi. Chodzi o to, że są …
14
Jak praktyczna jest teoria automatów?
Zawsze istnieje sposób na zastosowanie w tematach związanych z informatyką teoretyczną. Jednak podręczniki i kursy licencjackie zwykle nie wyjaśniają, dlaczego teoria automatów jest ważnym tematem i czy nadal ma zastosowania w praktyce. Dlatego studenci mogą mieć problemy ze zrozumieniem znaczenia teorii automatów i mogą myśleć, że nie ma ona już …
6
Czy zdałeś sobie kiedyś sprawę, że nie możesz rozwiązać zadania domowego, które przypisałeś?
To pytanie jest skierowane do osób, które przypisują problemy: nauczycieli, asystentów studentów, opiekunów itp. Zdarzyło mi się to kilka razy w mojej 12-letniej karierze profesora: pośpiesznie przypisałem jakiś problem z tekstu, myśląc, że „wygląda dobrze”. Później zrozumiał, że nie mogę tego rozwiązać. Niewiele rzeczy jest bardziej zawstydzających. Oto ostatni przykład: …
8
Jakiej definicji asymptotycznej stopy wzrostu powinniśmy uczyć?
Kiedy postępujemy zgodnie ze standardowymi podręcznikami lub tradycją, większość z nas uczy następującej definicji notacji Big-Oh w pierwszych kilku wykładach klasy algorytmów: Być może podajemy nawet całą listę ze wszystkimi jej kwantyfikatorami: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 …
10
Świetne algorytmy, uczenie maszynowe i brak algebry liniowej
Prowadzę kurs zaawansowanych algorytmów i chciałbym uwzględnić niektóre tematy związane z uczeniem maszynowym, które zainteresują moich studentów. W związku z tym chciałbym usłyszeć opinie ludzi na temat najbardziej interesujących / największych wyników algorytmicznych w uczeniu maszynowym. Potencjalnie trudnym ograniczeniem jest to, że uczniowie nie będą mieli żadnej konkretnej wcześniejszej wiedzy …
1
Inne zastosowania wzmocnienia rozgałęzień Karger-Stein?
Właśnie nauczyłem losowego algorytmu skrótu Karger-Stein w mojej klasie algorytmów dla absolwentów. To prawdziwy klejnot algorytmiczny , więc nie mogę tego nie uczyć, ale zawsze denerwuje mnie, ponieważ nie znam innych zastosowań głównej techniki. (Trudno więc przypisać pracę domową, która doprowadzi ten punkt do domu.) Algorytm Kargera i Steina jest …
5
Problem z obliczalnością nauczania
Mam trudności z nauczeniem pojęcia funkcji obliczalnych. Próbowałem rozwinąć pojęcie, dlaczego badacze tacy jak Hilbert / Ackermann / Godel / Turing / Church / ... wymyślili pojęcie „obliczalności”. Uczniowie natychmiast zapytali: „co oznacza obliczalność?” i nie mogę odpowiedzieć, dopóki nie nauczę ich maszyn Turinga, a następnie odpowiem „funkcja jest obliczalna, …
6
Program: Logiczne / formalne metody bezpieczeństwa
Obecnie prowadzę mały kurs (cztery dwugodzinne wykłady na poziomie magisterskim) na temat metod logicznych w zakresie bezpieczeństwa , chociaż tytuł Formalne metody w zakresie bezpieczeństwa może być bardziej trafny. Obejmuje krótko następujące tematy (wraz z powiązanymi metodami logicznymi): Cyfrowe zarządzanie prawami i egzekwowanie zasad (ogólna formalizacja, logika modalna, egzekwowanie za …
4
Podręcznik języka i automatów, darmowy czy tani?
W przyszłym semestrze będę prowadził standardowe studia licencjackie z języków i automatów i wolałbym korzystać z legalnego bezpłatnego lub taniego tekstu. Jakieś sugestie? Uwielbiam tekst Sipser, ale najnowsze wydanie kosztuje 196 USD, co trudno powiedzieć z prostą miną w dobie bezpłatnych kursów.
4
Algebra abstrakcyjna dla teoretycznych informatyków
Mam rozsądne wykształcenie matematyczne, ale nigdy nie czułem się w 100% swobodnie z abstrakcyjną algebrą (matematyka grup, pierścieni, pól itp.). Myślę, że było to częściowo tak, jak potrzebowałem, aby zobaczyć aplikacje, a wszystkie, które mogłem znaleźć, dotyczyły fizyki, a nie CS. Ponieważ moim zainteresowaniem jest naprawdę CS, czy są teraz …
4
Nauczanie liceum TCS - istniejące programy
Zaproponowano mi nauczenie nowatorskiego programu szkoły średniej TCS, który wymaga opracowania programu nauczania. Bardzo chciałbym usłyszeć opinie i sugestie dotyczące tego. Po pierwsze, czy ktoś wie o szkołach średnich, w których program TCS był nauczany z powodzeniem (lub bez powodzenia)? Chodzi o 3-letni program (10-12 klas, w wieku 16-18 lat), …
16 teaching 
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.