Pytania oznaczone «soft-question»

38
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 /...

36
Po co chodzić na informatykę / badania teoretyczne?

Obecnie rozpoczynam naukę na uniwersytecie [informatyka] i tam mamy wiele możliwości, aby zacząć od badań. Przed znalezieniem tej witryny nie miałem zamiaru iść tą drogą [chciałem pracować z AI, prawdopodobnie twórcą gry], ale teraz mogę [lub muszę] dokonać wyboru. Czy możesz mnie przekonać do...

36
Czasopisma z szybką recenzją

Tło: Motywacja tego pytania jest dwojaka. Po pierwsze, chciałbym uzyskać pewne twarde fakty, aby lepiej zrozumieć toczące się konferencje vs. debata w czasopismach . Po drugie, jeśli informacje te byłyby gdzieś dostępne, mógłbym podjąć bardziej świadomą decyzję, przesyłając dokumenty do przeglądu;...

35
Jak zacząć w teoretycznej CS?

Jestem studentem pierwszego roku informatyki i już wiem, że chcę studiować na akademii, koncentrując się na kierunkach teoretycznych. Przeczytałem już niektóre artykuły wymienione w tym pytaniu i pytanie to przekonało mnie dalej. Co powinienem teraz robić , jako student, aby zaangażować się w...

35
Rozszerzona teza kościelna

Jednym z najczęściej dyskutowanych pytań na stronie było to, co oznaczałoby obalenie tezy Kościoła . Wynika to częściowo z faktu, że Dershowitz i Gurevich opublikowali w 2008 r. Dowód, że teza Kościoła to Biuletyn Symboliki Logicznej. - bezwstydna autopromocja - napisałem wpis na blogu ). To...

34
Wkład Alana Turinga w informatykę

Alan Turing , jeden z pionierów (teoretycznej) informatyki, wniósł znaczący wkład naukowy w naszą dziedzinę, w tym definiując maszyny Turinga, tezę Kościoła-Turinga, nierozstrzygalność i test Turinga. Jednak jego ważne odkrycia nie ograniczają się do tych, które wymieniłem. Na cześć jego 100....

34
Kod w dokumentach naukowych

W mojej karierze akademickiej przeczytałem sporo artykułów naukowych na różne tematy informatyczne. Wiele z nich obejmuje implementację i pewną ocenę tej implementacji, ale odkryłem, że bardzo niewielu z nich faktycznie publikuje używany kod. Dla mnie korzyści płynące z włączenia faktycznego...