Jestem studentem kończącym kurs teorii teorii i mam poważne problemy z tworzeniem treści, gdy tylko o to poproszę. Potrafię śledzić podręcznik (Wstęp do teorii obliczeń Michaela Sipsera) i wykłady; jednak kiedy poproszono mnie o udowodnienie czegoś lub sformułowanie formalnego opisu konkretnej bazy TM, po prostu dusiłem się.
Co mogę zrobić w takich sytuacjach? Wydaje mi się, że mój problem polega na pełnym zrozumieniu abstrakcyjnych koncepcji do tego stopnia, że mogę ich właściwie użyć. Czy istnieje ustrukturyzowany sposób podejścia do nowej, abstrakcyjnej koncepcji i zbudowania intuicji?
computability
education
intuition
trigoman
źródło
źródło
Odpowiedzi:
Abstrakcja to właściwie chleb powszedni w informatyce, ale niestety trudno jest uczyć tego wprost.
Moim zdaniem zrozumienie pojęć jest ważniejsze niż umiejętność mechanicznego obliczania lub udowodnienia różnych rzeczy. Jasne, musisz znać swoje podstawowe metody, ale mięso leży gdzie indziej.
Przede wszystkim musisz w pewnym stopniu zrozumieć treść. W tym celu uznałem, że warto zadać następujące pytanie, gdy coś jest dla ciebie niejasne:
Po udzieleniu odpowiedzi na te pytania (lub odkryciu pytań uzupełniających i potraktowaniu ich w ten sam sposób) i nadal napotkaniu problemów, idź do nauczycieli (lub tutaj). Do tej pory powinieneś być w stanie sformułować skoncentrowane, precyzyjnie sformułowane pytanie; odpowiadanie na takie pytania jest zadaniem nauczycieli (i filozofii StackExchange).
Poza tym są to ćwiczenia i doświadczenie. Spróbuj odtworzyć dowody po ich przeczytaniu; staraj się nie uczyć ich na pamięć, ale wypisz z nich ważne pomysły. Po pewnym czasie powinieneś być w stanie odtworzyć wszystkie podstawowe dowody, wypełniając luki między głównymi krokami. Nawet później zaczniesz widzieć wzorce w oświadczeniach i dowodach. W ten sposób ludzie patrzą na stwierdzenie i mówią: „O tak, jasne, użyj metody X z twierdzeniem Y, a następnie po prostu użyj Z, aby uzyskać to, czego chcesz”. Jest to rozpoznawanie wzorców napędzane latami szkolenia. Bądź cierpliwy.
Jeśli chodzi o podstawowe ćwiczenia, idź i znajdź podręczniki z niektórymi. Z czubka głowy mogę odnieść się do konkretnej matematyki autorstwa Grahama, Knutha i Patashnika. Ta książka jest nie tylko cennym zestawem narzędzi dla informatyków, ale zawiera także mnóstwo ćwiczeń z rozwiązaniami (!). Pamiętaj, aby spróbować je rozwiązać przed wyszukaniem odpowiedzi i odtworzyć odpowiedzi, które musiałeś wyszukać.
Inną przydatną książką jest Wprowadzenie do algorytmów autorstwa Cormena, Leisersona, Rivesta i Steina. Zawarty jest spory rozdział na temat podstaw matematyki. Zawiera również wiele ćwiczeń; rozwiązania są dostępne poprzez link do strony (treść uzupełniająca). Jest też wykład wideo jednego z autorów, który może pasować do książki.
Aby zapoznać się z wykładami wprowadzającymi dotyczącymi dowodów, zobacz Algebra Linear Proofs w Khan Academy . Nie oglądałem ich, ale mam nadzieję, że są one zarówno podstawowe, jak i pomocne. Istnieje wiele innych dowodów na Khan Academy; Wydaje mi się, że dowody algebry liniowej najlepiej pasują do informatyki. Nie wahaj się też obserwować innych.
źródło
Czasami dowiaduję się, że ludzie, którzy nie radzą sobie dobrze w teorii, po prostu mylą się z podstawami (podczas pierwszych 1-3 wykładów myśleli, że materiał jest bardzo łatwy, więc nie zwracali zbytniej uwagi, ale potem, na wykładzie 5-7 rzeczy przyśpieszają i jest za późno na podsumowanie).
Jak powiedział @fbernardo, dobrym pomysłem może być rozpoczęcie od początku. NIE tak dalece jak FLA (nie ma to sensu podczas nauki TC, IMHO), ale zdecydowanie otwórz Sipser i zacznij rozwiązywać pytania jeden po drugim, według ich kolejności. Dzięki temu zdobędziesz intuicję i podstawowe narzędzia, które są niezbędne w przypadku bardziej zaawansowanych koncepcji.
Jeśli nie potrafisz poradzić sobie z podstawowymi pytaniami Sipsera z pierwszego rozdziału (nie z rozdziałami automatów, jeśli studiujesz na bazach TM), być może brakuje Ci jeszcze bardziej podstawowych pojęć, takich jak podstawowe metody dowodzenia (indukcja itp.) Lub podstawowy zestaw teoria i dyskretna matematyka.
W każdym razie powodzenia!
źródło
Moja jedyna rada jest taka, że zaczynasz od początku. W moim kursie również korzystamy z książki Sipsera, moim zdaniem jest to dobra książka. Ale mamy kurs przed TC, nazwany FLA (Formal Languages an Automaton), który dał lepszą intuicję i doświadczenie w TC. I znowu wszyscy uczą się w różnym tempie, a ty masz bardzo dobrą książkę. Wszelkie inne szczegółowe pytania zawsze znajdziesz tutaj. :)
źródło
W tytule zadajesz ogólne pytanie, a następnie co najmniej dwa podstawowe / konkretne punkty w pytaniu i myślę, że na każde z nich są dobre (osobne) odpowiedzi:
Tutaj dotyczy tylko pierwszego przedmiotu (który z natury jest szeroki i zasługuje na niego) - swego rodzaju słonia w pokoju edukacji STEM (nauk ścisłych, technologii, inżynierii, matematyki), która szybko się kręci i jest często oszałamiana do oszałamiającego stopnia . Może się wydawać, że nikt tak naprawdę nie wie, jak uczyć budowania dowodów. Ta gra zaczyna się od klas geometrii, trygonometrii i rachunku różniczkowego, ale rzadko jest jej ścisłym elementem. większość nauczycieli traktuje to jako opcjonalne. Wydaje się, że cała klasa poświęcona „jak udowodnić rzeczy” byłaby doskonałym, a nawet krytycznym dodatkiem lub zmianą w edukacji STEM.
Oto kilka referencji, które znalazłem podczas szybkiego wyszukiwania, jak udowodnić różne rzeczy, i myślę, że istnieje wiele innych dobrych zasobów. W dzisiejszych czasach prawdopodobnie jest też wiele filmów na ten temat, które można by znaleźć za pomocą wyszukiwań, ale nie widziałem ładnej, kompleksowej organizacji filmów typu „jak udowodnić rzeczy”.
Kluczową częścią udowodnienia jest opanowanie podstaw matematyki i wykorzystanie jej jako narzędzi lub elementów budowlanych. Na przykład wiedz, czym jest zestaw, czym jest krotka, jaka jest różnica / podobieństwo, kiedy użyjesz jednego, ale nie drugiego itp.
Innym podejściem jest traktowanie go jak ćwiczenia. Zrób wiele próbnych prób samodzielnie, zaczynając od łatwych do trudnych (szkoda, że nie znam więcej takich książek, wydaje się, że nie ma ich wiele).
Book of Proof autorstwa Richarda Hammacka - znakomity darmowy internetowy referencja, która wprowadza podstawową obsadę postaci i technik itp.
Jak to udowodnić, podejście strukturalne Vellemana
Dowody i odrzucenia Imre Lakatos - stary klasyk na temat, który podkreśla iteracyjne, ewolucyjne podejście do dowodów
Dowody i twierdzenia dla manekinów - strona internetowa z serii książek Dummies
Jak robić dowody matematyczne, wikihow
źródło