Pertanyaan yang diberi tag «soft-question»

Pertanyaan lunak adalah pertanyaan (mungkin subyektif) tentang bidang ilmu komputer teoretis yang bertentangan dengan pertanyaan dalam ilmu komputer teoretis.

5
Soal komputabilitas mengajar
Saya mengalami kesulitan mengajarkan konsep fungsi yang dapat dihitung. Saya mencoba mengembangkan ide mengapa para peneliti seperti Hilbert / Ackermann / Godel / Turing / Church / ... menciptakan gagasan 'kemampuan komputasi'. Para siswa segera bertanya: "apa artinya komputasi?" dan saya tidak bisa menjawab kecuali saya mengajari mereka mesin Turing, …

5
Menulis makalah sebagai penulis tunggal dalam 1 orang tunggal
Saya menulis makalah dalam ilmu komputer teoritis kadang-kadang menjadi penulis tunggal nonanonim. Sebelumnya, saya menggunakan orang pertama jamak dalam makalah tersebut, misalnya: Kami akan menunjukkan bahwa kompleksitas kelas X dan Y bersamaan. Saya bukan penutur bahasa Inggris asli atau sangat pandai berbahasa Inggris. Baru-baru ini, saya mendapat saran dari penutur …

1
Apa saja karir dalam ilmu komputer teoretis yang tidak memerlukan gelar PhD?
Saya seorang sarjana, dan baru-baru ini menerima kenyataan bahwa saya mungkin tidak memiliki kecerdasan untuk melakukan penelitian dalam ilmu komputer teoretis, atau dapat diterima dan menyelesaikan program PhD. Namun, saya masih ingin terlibat dengan ilmu komputer teoretis karena menurut saya ini sangat menarik. Sejauh ini, satu-satunya karier dalam ilmu komputer …

4
Buku teks bahasa dan automata, gratis atau murah?
Saya akan mengajar kelas sarjana standar tentang bahasa dan automata semester depan, dan lebih suka menggunakan teks gratis atau berbiaya rendah yang sah. Ada saran? Saya suka teks Sipser tetapi edisi terbaru harganya $ 196, yang sulit dikatakan dengan wajah lurus di zaman kursus gratis.


3
Siapa yang memperkenalkan perhitungan nondeterministik?
Saya punya dua pertanyaan historis: Siapa yang pertama kali menggambarkan perhitungan nondeterministik? Saya tahu bahwa Cook menjelaskan masalah NP-complete, dan bahwa Edmonds mengusulkan bahwa algoritma P adalah "efisien" atau "baik" algoritma. Aku mencari ini artikel Wikipedia dan skim "Di Komputasi Kompleksitas Algoritma," tapi tidak bisa menemukan referensi untuk saat perhitungan …

5
Kontrol versi untuk kolaborasi (dengan perbedaan tingkat kata)?
Sebagian besar makalah sekarang ditulis secara kolaboratif, dan kolaborator sering berada di tempat yang berbeda. Saya selalu menggunakan sistem kontrol versi untuk dokumen dan kode saya, dan juga menemukan kontrol versi penting untuk proyek perangkat lunak kolaboratif, tetapi tampaknya banyak peneliti dalam teori menghindari penggunaannya untuk menulis makalah bersama. Untuk …

3
Apa model teoritis yang tepat untuk merancang algoritma untuk komputer berkinerja tinggi saat ini dan yang akan datang
Pertanyaan ini mirip dengan pertanyaan yang lebih umum tentang apa model teoritis yang tepat dari komputer untuk merancang algoritma dan struktur data. Di sini, saya bertanya secara khusus tentang komputer berkinerja tinggi saat ini (seperti yang terdaftar sebagai Top 500 ) atau bahkan tentang superkomputer mendatang. Mengingat bahwa komputer ini …

4
Aljabar abstrak untuk Ilmuwan Komputer Teoritis
Saya memiliki pendidikan matematika tingkat sarjana yang masuk akal, tetapi tidak pernah 100% nyaman dengan aljabar abstrak (matematika kelompok, cincin, bidang, dll.). Saya pikir ini sebagian karena saya perlu melihat aplikasi dan semua yang saya temukan adalah dalam fisika, bukan CS. Karena minat saya benar-benar CS, apakah ada bahan yang …


1
Memilih topik penelitian menggunakan teori permainan
Pertanyaan teori permainan baru-baru ini membuat saya berpikir (ini bersinggungan, tentu saja): Apakah mungkin untuk secara efisien mengoptimalkan strategi pribadi untuk memilih pertanyaan penelitian untuk dikerjakan menggunakan teori permainan? Untuk menuju formalisasi pertanyaan, saya akan membuat asumsi berikut (yang dinyatakan secara informal): Saya sama-sama "menikmati" masalah tertentu yang tersedia untuk …


3
Bagaimana berbicara tentang teori
Saya menyadari ini mungkin pertanyaan yang kontroversial, tetapi ini sepertinya tempat yang tepat untuk bertanya. Tolong redirect saya jika tidak. Latar belakangnya adalah bahwa saya seorang "praktisi" (mahasiswa PhD, saya tidak belajar teori CS) tetapi saya memiliki dasar yang masuk akal dalam algoritma dan matematika sarjana. Namun demikian, diskusi dengan …


2
Motivasi untuk menggunakan Karp-pengurangan dalam teori
Gagasan pengurangan waktu polinomial (pengurangan Cook) adalah abstraksi dari konsep yang sangat intuitif: secara efisien menyelesaikan masalah dengan menggunakan algoritma untuk masalah yang berbeda. Namun, dalam teori NPNP\mathcal{NP} kelengkapan, gagasan NPNP\mathcal{NP} kekerasan ditangkap melalui pemetaan reduksi (pengurangan Karp). Konsep pengurangan "terbatas" ini kurang intuitif (setidaknya bagi saya). Bahkan tampaknya sedikit …

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.