Pertanyaan yang diberi tag «soft-question»

Ini pemahaman saya bahwa model Turing telah menjadi "standar" ketika menjelaskan perhitungan. Saya tertarik untuk mengetahui mengapa hal ini terjadi - yaitu, mengapa model TM menjadi lebih banyak digunakan daripada model lain yang setara secara teori (sepengetahuan saya), misalnya urs-Rekursi Kleene atau Kalkulus Lambda (saya mengerti bahwa yang pertama tidak …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Jika Anda dapat mengubah nama pemrograman dinamis, apa sebutannya?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

Tampak jelas bahwa sejumlah subbidang ilmu komputer teoretis telah secara signifikan dipengaruhi oleh hasil-hasil dari teori fisika. Dua contohnya adalah Perhitungan kuantum Hasil mekanika statistik digunakan dalam analisis kompleksitas / algoritma heuristik. Jadi pertanyaan saya, adakah bidang utama yang saya lewatkan? Motivasi saya sangat sederhana: Saya seorang fisikawan teoretis yang …

42 soft-question  quantum-computing  statistical-physics  physics 

Komputer nyata memiliki memori yang terbatas dan hanya sejumlah negara terbatas. Jadi mereka pada dasarnya automata terbatas. Mengapa ilmuwan komputer teoretis menggunakan mesin Turing (dan model lain yang setara) untuk mempelajari komputer? Apa gunanya mempelajari model yang jauh lebih kuat ini sehubungan dengan komputer nyata? Mengapa model automata terbatas tidak …

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

Saya seorang mahasiswa tahun ke 2 dalam teori. Saya telah mengerjakan masalah selama setahun terakhir (dalam teori graf / algoritma). Sampai kemarin saya pikir saya baik-baik saja (saya memperpanjang teorema dari kertas). Hari ini saya menyadari bahwa saya telah membuat kesalahan sederhana. Saya menyadari bahwa itu akan jauh lebih sulit …

41 soft-question  research-practice 

Pada 1937 Turing menggambarkan mesin Turing. Sejak itu banyak model komputasi telah diuraikan dalam upaya untuk menemukan model yang seperti komputer nyata tetapi masih cukup sederhana untuk merancang dan menganalisis algoritma. Akibatnya, kami memiliki selusin algoritma untuk, misalnya, masalah SORT untuk model komputasi yang berbeda. Sayangnya, kami bahkan tidak dapat …

41 ds.algorithms  reference-request  soft-question  machine-models 

Di MathOverflow, Timothy Gowers mengajukan pertanyaan berjudul " Mendemonstrasikan kekakuan itu penting ". Sebagian besar diskusi di sana tentang kasus-kasus yang menunjukkan pentingnya pembuktian, yang mungkin tidak perlu diyakinkan oleh orang-orang di CSTheory. Dalam pengalaman saya bukti perlu lebih ketat dalam ilmu komputer teoretis daripada di banyak bagian matematika kontinu, …

41 big-list  soft-question  proofs 

Saya mahasiswa PhD tahun keempat dalam ilmu komputer teoretis. Saya ingin tetap di dunia akademis, jadi saya memikirkan cara terbaik untuk memajukan karir saya. Jelas cara terbaik untuk melakukannya adalah menulis banyak makalah yang bagus, tetapi pertanyaan lain adalah apakah saya harus mencoba membuat lebih dari kertas-kertas itu menjadi penulis …

40 soft-question  career 

Meskipun sudah beberapa tahun kuliah, saya masih bingung memilih topik penelitian. Saya telah mencari kertas dari berbagai daerah dan berbicara dengan profesor, dan saya mulai berpikir ini adalah pendekatan yang salah. Saya pernah membaca bahwa ini membantu untuk menemukan masalah yang menarik (jangankan area) dan untuk kemudian bekerja pada itu. …

40 soft-question  research-practice  advice-request  career 

PENOLAKAN: Ini adalah pertanyaan terbuka dan orang-orang puritan bertukar tumpuk mungkin akan merasakan dorongan yang luar biasa untuk memilihnya agar terlupakan. Namun, saya tidak dapat memikirkan forum lain yang lebih tepat dan menjanjikan untuk mendapatkan jawaban atas pertanyaan ini. Ketika mengerjakan masalah penelitian untuk proyek mata kuliah, saya menyadari bahwa …

40 soft-question  advice-request 

Saya seorang mahasiswa PhD tahun ketiga di bidang CS teoritis yang ingin saran untuk situasi yang sulit dengan penasihat saya. Penasihat saya sama sekali tidak terlibat dalam proyek penelitian saya. Secara khusus, saya telah memunculkan semua gagasan makalah saya, dan telah mengeksekusi karya-karya itu sendirian. Namun, dia selalu bersikeras menambahkan …

39 soft-question  advice-request 

Saya sering diminta oleh departemen saya untuk memberikan ceramah kepada siswa sekolah menengah tahun terakhir tentang lebih banyak unsur matematika dari ilmu komputer. Saya melakukan yang terbaik untuk memilih topik dari TCS yang mungkin menginspirasi minat mereka (yang sebagian besar melibatkan sesuatu yang berkaitan dengan masalah Penghentian) tetapi akan senang …

38 soft-question  teaching 

Selalu ada cara untuk aplikasi dalam topik yang berkaitan dengan ilmu komputer teoretis. Tetapi buku teks dan program sarjana biasanya tidak menjelaskan alasan bahwa teori automata adalah topik penting dan apakah masih memiliki aplikasi dalam praktiknya. Oleh karena itu mahasiswa sarjana mungkin mengalami kesulitan dalam memahami pentingnya teori automata dan …

37 soft-question  fl.formal-languages  automata-theory  teaching 

Saya suka melakukan TCS di waktu luang saya. Akhir-akhir ini saya mencoba melakukan penelitian sebagai hobi. Saya mencari beberapa masukan tambahan dari orang-orang yang melakukan ini penuh waktu: - Apakah Anda pikir dimungkinkan untuk melakukan ini "hanya untuk bersenang-senang"? Saya tidak punya niat untuk mendapatkan gelar PhD. - Sumber daya …

37 soft-question  advice-request  research-practice 

Apa yang harus Anda lakukan ketika Anda melihat pertanyaan yang muncul di depan umum, katakan di sini di stack-exchange, yang Anda tahu jawabannya, karena Anda melihat sebagai bagian dari proyek penelitian saat ini? Misalnya, saya melihat pertanyaan TCS.SX yang saya tahu jawabannya, karena saya mengerjakan masalah baru-baru ini. Saya belum …

37 soft-question  research-practice  authorship