Pytania otagowane jako soft-question

Miękkie pytanie jest pytaniem (być może subiektywnym) o dziedzinie informatyki teoretycznej, a nie pytaniem w informatyce teoretycznej.

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, …

5
Pisanie pracy jako pojedynczy autor w 1. osobie liczby pojedynczej
Piszę prace z informatyki teoretycznej, będąc czasem nieanonimowym pojedynczym autorem. Wcześniej użyłem liczby pierwszej w liczbie pierwszej w takich dokumentach, np .: Pokażemy, że klasy złożoności X i Y pokrywają się. Nie jestem ani ojczystym językiem angielskim, ani wyjątkowo dobrym językiem angielskim. Niedawno otrzymałem poradę od rodzimego użytkownika języka angielskiego …

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.

1
Jakie są kariery w informatyce teoretycznej, które nie wymagają doktoratu?
Jestem studentem i niedawno pogodziłem się z faktem, że mogę nie mieć rozumu do prowadzenia badań w dziedzinie informatyki teoretycznej lub być w stanie zostać dopuszczonym i ukończyć program doktorancki. Chciałbym jednak nadal zajmować się informatyką teoretyczną, ponieważ uważam ją za bardzo interesującą. Jak dotąd jedynymi karierami w informatyce teoretycznej, …


3
Kto wprowadził niedeterministyczne obliczenia?
Mam dwa historyczne pytania: Kto pierwszy opisał obliczenia niedeterministyczne? Wiem, że Cook opisał problemy z NP-zupełnością i że Edmonds zaproponował, że algorytmy P są algorytmami „wydajnymi” lub „dobrymi”. Przeszukałem ten artykuł w Wikipedii i odszukałem „O złożoności obliczeniowej algorytmów”, ale nie mogłem znaleźć żadnego odniesienia do pierwszego omówienia obliczeń niedeterministycznych. …

5
Kontrola wersji do współpracy (z różnicami na poziomie słów)?
Większość prac jest teraz pisanych wspólnie, a współpracownicy często znajdują się w różnych miejscach. Zawsze używałem systemów kontroli wersji dla moich dokumentów i kodu, a także uważałem kontrolę wersji za kluczową dla wspólnych projektów oprogramowania, ale wydaje się, że wielu badaczy teoretycznie unika ich użycia do pisania wspólnych dokumentów. Aby …

3
Jaki jest właściwy model teoretyczny do projektowania algorytmów dla obecnych i przyszłych komputerów o wysokiej wydajności
To pytanie jest podobne do bardziej ogólnego pytania dotyczącego tego, jaki jest właściwy model teoretyczny komputera do projektowania algorytmów i struktur danych. Tutaj pytam konkretnie o obecne komputery o wysokiej wydajności (takie jak te wymienione na liście 500 najlepszych ), a nawet o nadchodzące superkomputery. Biorąc pod uwagę, że komputery …

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 …

5
Gdzie można znaleźć oferty pracy na stanowiska wykładowców w teorii CS?
Jakie są najlepsze zasoby do znalezienia ofert pracy na stanowiska wykładowców w teorii CS? Czy jest w szczególności jedna strona internetowa lub lista mailingowa, która jest dość wyczerpująca? Obecnie mam wrażenie, że trzeba użyć różnych zasobów, aby uzyskać kompleksową, ogólnoświatową listę ofert pracy. Czy tak jest w przypadku? To pytanie …

1
Wybór tematu badań z wykorzystaniem teorii gier
Ta ostatnia teoria gier pytanie dało mi do myślenia (to jest styczna, oczywiście): Czy jest możliwe, aby skutecznie zoptymalizować osobistą strategię wyboru pytania badawcze do pracy na wykorzystaniu teorii gier? Aby przejść do sformalizowania pytania, przyjmuję następujące (nieformalnie) założenia: Równie „lubię” każdy konkretny problem dostępny dla mnie do pracy (aby …

5
W jakim stopniu „zaawansowana matematyka” jest potrzebna / przydatna w badaniach nad AI?
Obecnie studiuję matematykę. Jednak nie sądzę, żebym chciał zostać zawodowym matematykiem w przyszłości. Zastanawiam się nad wykorzystaniem mojej wiedzy z matematyki do badań nad sztuczną inteligencją. Nie jestem jednak pewien, ile kursów matematyki powinienem odbyć. (I które kursy teorii CS powinienem śledzić.) Z Quora dowiedziałem się, że przedmioty Algebra liniowa, …

3
Jak mówić o teorii
Zdaję sobie sprawę, że może to być kontrowersyjne pytanie, ale wydawało się, że to właściwe miejsce do zadawania pytań. Proszę mnie przekierować, jeśli nie. Tło jest takie, że jestem „praktykiem” (doktorantem, nie studiuję teorii CS), ale mam uzasadnione podstawy w algorytmach licencjackich i matematyce. Niemniej jednak dyskusje z teoretykami są …


2
Motywację do stosowania Karp-redukcji w teorii
Pojęcie wielomianowych redukcji czasu (redukcje Cooka) jest abstrakcją bardzo intuicyjnej koncepcji: skutecznego rozwiązywania problemu za pomocą algorytmu dla innego problemu. Jednakże, w teorii -completeness pojęcie -hardness jest rejestrowany za pomocą redukcji odwzorowania (redukcje Karp). Ta koncepcja „ograniczonych” redukcji jest o wiele mniej intuicyjna (przynajmniej dla mnie). Wydaje się nawet nieco …

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.