Pytania otagowane jako soft-question

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

6
Czy w teoretycznym CS są jakieś tematy, które bardziej dotyczą czystej matematyki?
Jestem absolwentem informatyki teoretycznej, aw szczególności algorytmów aproksymacyjnych. Teraz uważam, że bardziej interesuje mnie czysta matematyka (mogę to powiedzieć, ponieważ wydaje mi się, że bardziej podobały mi się kursy matematyki niż kursy CS). Chciałbym zapytać, czy istnieją obszary w informatyce teoretycznej, które są prawie czystą matematyką (mówiąc ściślej, dziedziną, która …
4
Czy istnieje algorytmiczna analiza matematyczna?
Istnieją teorie grafów algorytmicznych / teoria liczb / kombinatoryka / teoria informacji / teoria gier. Czy istnieje algorytmiczna analiza matematyczna? Według wiki analiza matematyczna obejmuje teorie różniczkowania, całkowania, miary, limitów, szeregów nieskończonych i funkcji analitycznych. Można skupić się na analizie rzeczywistej (wiki), która zajmuje się liczbami rzeczywistymi i funkcjami wartości …
3
Na czym polegają badania w dziedzinie informatyki teoretycznej?
Staram się zrozumieć, co jest zaangażowane w teoretyczne badania informatyczne. Czym zajmują się informatycy teoretyczni? Wiem, że znaczna ilość czasu poświęcana jest na nauczanie, nadzorowanie doktorantów, ubieganie się o fundusze i obowiązki departamentalne. Odkładając je na bok, jak spędzasz czas na badaniach? Jakie są najważniejsze czynności, które zazwyczaj wykonujesz? Zgaduję, …
4
Autor zamawia w artykułach TCS
Chociaż ogólna zasada jest taka, że ​​w artykułach TCS autorzy są uporządkowani alfabetycznie, istnieją pewne znaczące kontrprzykłady, które przychodzą na myśl, w których autorzy są uporządkowani w inny sposób, np. Metody algebraiczne dla interaktywnych systemów dowodowych [Lund, Fortnow, Karloff, Nisan] Metoda uzyskiwania podpisów cyfrowych i kryptosystemów klucza publicznego [Rivest, Shamir, …
1
Jak agregacje bazy danych tworzą monoid?
Na cs.stackexchange zapytałem o bibliotekę algebird scala na githubie, spekulując, dlaczego mogą potrzebować abstrakcyjnego pakietu algebry. Strona github zawiera kilka wskazówek: Implementacje Monoidów dla interesujących algorytmów aproksymacyjnych, takich jak filtr Bloom, HyperLogLog i CountMinSketch. Pozwalają ci myśleć o tych wyrafinowanych operacjach, takich jak liczby, i dodawać je w hadoopie lub …
3
Dowody znalezione przez komputer
W 1996 r. Długotrwały otwarty problem został rozwiązany przez komputer; mianowicie, że algebra Robbinsa i algebra Boole'a są takie same. Dowód został znaleziony przez automatyczną powiedzonkę twierdzeń. Ponadto znany dowód twierdzenia o czterech kolorach zawiera generowane komputerowo komponenty. Celem tego pytania jest wykazanie dowodów, które zostały (całkowicie lub częściowo) znalezione …
6
Jaki jest sens nazywania
Jaka jest różnica nazywania calculus algebrą zamiast rachunku różniczkowego? Podnoszę to pytanie, ponieważ gdzieś przeczytałem wiersz „ λ- rachunek nie jest rachunkiem, ale algebrą” (iirc, przypisane Danie Scott). O co chodzi? Dzięki.λλ\lambdaλλ\lambda
5
Jak znaleźć konkretny temat badawczy, na którym można się skoncentrować?
Niedawno rozpocząłem kurs magisterski. W ostatnim semestrze brałem udział w kursach z różnych dyscyplin, takich jak sieci, inżynieria oprogramowania, architektura itp. Ostatnio, po przejściu zaawansowanego kursu w zakresie algorytmów i struktur danych, myślę, że znalazłem kurs, który najbardziej mnie interesuje (w tym inne podobne tematy, takie jak języki programowania itp. …
2
Eksponaty dla muzeum komputerów
Wydaje mi się, że wszystkie muzea i wystawy związane z komputerami obejmują jedynie historię maszyn komputerowych, ale nic na temat informatyki. Uczestniczysz w tworzeniu nowego Muzeum Informatyki, którego zadaniem jest edukacja, rozrywka i inspirowanie ogółu społeczeństwa w szerokim zakresie tematów związanych z informatyką / informatyką / komunikacją / matematyką. Choć …
3
Gdzie mogę uzyskać pomoc w zakresie badań / publikacji?
Od jakiegoś czasu opracowuję algorytm SAT i doszedłem do punktu, w którym chciałbym się nim podzielić. Nie znam wielu ludzi informatyki i nie jestem pewien, dokąd się zwrócić. Zastanawiam się, jakie zasoby są dostępne dla kogoś z algorytmem, który rozważa publikację. Potrzebuję również pomocy w analizie czasu działania i poprawności …
2
Ogromna współpraca online w celu rozwiązania otwartego problemu w informatyce teoretycznej
W projektach Polymath duża grupa pracuje nad otwartym problemem. Jakie problemy wydają się działać najlepiej w tych ramach? Czy są jacyś dobrzy kandydaci na projekt polimorficzny w informatyce teoretycznej? Czy są jakieś przeszkody, które sprawiają, że projekty Polymath rzadziej odnoszą sukcesy w informatyce teoretycznej w porównaniu z innymi dziedzinami matematyki?
3
Czy warto regularnie czytać artykuły poza swoją dziedziną?
Co sądzisz o regularnym czytaniu artykułów poza własną dziedziną, nawet tych niezwiązanych z jego obszarem? Moją intuicją jest to, że może dać zupełnie inną perspektywę lub technikę, która może pomóc mi w moich własnych problemach. Ale jednocześnie jestem trochę sceptyczny, ponieważ strata czasu będzie, jeśli nowa wiedza nie pomoże mu …
1
Doktorat; Taktyka przeglądu literatury
Nie jestem pewien, czy prawidłowy obszar, ale oto idzie. Rozpoczęcie doktoratu z zakresu zarządzania zaufaniem i reputacją w sieciach komunikacyjnych (dużo teorii grafów, analizy probabilistycznej itp.) I dużo czytania przede mną. Czy ktoś może doradzić najlepsze sposoby zarządzania czytaniem akademickim i co powinienem zwrócić uwagę na przegląd literatury / raporty …
3
Uwagi wstępne na temat paralelizacji, w szczególności schematów problemów i algorytmów
Szukam dostępnych w Internecie notatek z wykładów lub innych zasobów, które stanowią dobre wprowadzenie do programowania równoległego, podobnie jak równoległy analog podstawowych zajęć z informatyki. Skupiam się na następujących zagadnieniach: chociaż jestem w stanie mówić o dzieleniu i podbijaniu, chciwych algorytmach, programowaniu dynamicznym itp., Tj. Podstawowych wzorcach algorytmów sekwencyjnych (i …
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.