Pertanyaan yang diberi tag «soft-question»

Ini adalah pertanyaan dalam semangat yang satu ini di mana saya menjawab bahwa penting untuk melacak apa yang telah Anda lakukan sesuatu, mengapa Anda melakukannya dan apa yang tidak berhasil. Saya pribadi menggunakan notebook untuk tujuan itu, tetapi memiliki beberapa kelemahan: pertama saya membutuhkan banyak permukaan penyimpanan, kedua ketika saya …

16 soft-question  research-practice 

Saya menemukan beberapa buku tentang komputer, tetapi semuanya tentang teknologi. Saya ingin sesuatu yang lebih terkait dengan teori.

15 reference-request  soft-question  philosophy 

Dari sudut pandang matematika / komputasi murni abstrak, (bagaimana) seseorang dapat menemukan atau alasan tentang masalah seperti 3-SAT, Subset Sum, Travelling Salesman dll.,? Apakah kita bahkan dapat menalarinya dengan cara yang bermakna hanya dengan sudut pandang fungsional ? Apakah itu mungkin? Saya telah merenungkan pertanyaan ini murni dari sudut penyelidikan …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

Saya seorang mahasiswa pascasarjana dalam matematika, dan ilmu komputer teoretis adalah domain yang saya tidak pernah mengerti tentang apa itu karena saya tidak dapat menemukan bacaan yang baik tentang topik tersebut. Saya ingin tahu apa sebenarnya domain ini, topik apa yang terkait, prasyarat apa yang diperlukan untuk memulai, dll. Untuk …

15 reference-request  soft-question  books 

AFAIK, Bukti pertama tentang penggunaan fungsi-fungsi tingkat tinggi kembali ke makalah Schönfinkel 1924: "Pada Blok Bangunan Logika Matematika" - di mana ia mengizinkan seseorang untuk melewatkan fungsi sebagai argumen ke fungsi lain. Itu sepertinya menarik. Namun, semua yang telah saya baca tentang karyanya (dan Curry dengan ekstensi) tampaknya menyinggung satu …

15 lo.logic  soft-question  ho.history-overview  intuition  function 

Larry Wasserman memiliki posting baru-baru ini di mana ia berbicara tentang "polisi p-value". Dia membuat poin yang menarik (semua penekanan pada saya) (premis miring yang saya tambahkan, dan jawabannya di bawah): Keluhan yang paling umum adalah bahwa fisikawan dan jurnalis menjelaskan arti nilai-p secara tidak benar. Misalnya, jika nilai-p adalah …

15 ds.algorithms  soft-question  big-list 

Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete: diberi pointer ke item, menghapusnya dari daftar minPointer: diberi dua petunjuk untuk item …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Pertanyaan saya adalah pertanyaan umum: Bagaimana saya mulai berpikir dalam hal Algoritma Desain dan Kompleksitas? Saya akan mengambil Program Pascasarjana dalam Desain Algoritma. Saya telah mendaftar sebelumnya tetapi kemudian membatalkannya karena saya tidak bisa mengikutinya. Saya harus mengikuti kursus ini sebagai persyaratan. Apakah ada 'trik' untuk berpikir dengan cara ini? …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

Saya selalu tertarik dengan kurangnya bukti numerik dari matematika eksperimental untuk atau menentang pertanyaan P vs NP. Sementara Hipotesis Riemann memiliki beberapa bukti pendukung dari verifikasi numerik, saya tidak mengetahui bukti serupa untuk pertanyaan P vs NP. Selain itu, saya tidak mengetahui adanya konsekuensi dunia fisik langsung dari keberadaan masalah …

15 cc.complexity-theory  soft-question  big-picture  experimental 

Mempertimbangkan topik yang dibahas dalam konferensi seperti STOC, apakah ada algoritma atau kompleksitas peneliti aktif menggunakan COQ atau Isabelle? Jika demikian, bagaimana mereka menggunakannya dalam penelitian mereka? Saya berasumsi kebanyakan orang tidak akan menggunakan alat seperti itu karena buktinya terlalu rendah. Adakah yang menggunakan asisten bukti ini dengan cara yang …

14 cc.complexity-theory  approximation-algorithms  soft-question  proof-assistants 

Saya seorang insinyur perangkat lunak yang cukup mahir, tetapi saya tidak tahu banyak teori. Saya ingin belajar lebih banyak teori. Topik khusus yang saya minati adalah: kompleksitas komputasi, bahasa formal, dan teori jenis. Tetapi saya bingung bagaimana cara mulai belajar tentang bidang-bidang ini. Sumber daya apa yang akan Anda rekomendasikan …

14 soft-question  teaching  books 

Latar belakang : Saya datang ke akhir gelar master saya di Matematika dan akan memulai PhD di bidang Logika pada bulan Agustus. Semakin banyak saya belajar logika, semakin banyak ilmu komputer teoritis saya terkena, misalnya teori rekursi, kalkulus lambda, tetapi CS yang mendasarinya disikat di bawah karpet. Bidang minat utama …

14 reference-request  soft-question 

Saya mahasiswa ilmu komputer sarjana dan saat ini saya sedang merencanakan proyek kelulusan saya. Saya perlu beberapa ide di bidang komputasi kuantum. ada bantuan?

14 quantum-computing  soft-question 

Saya telah membaca tentang Teori Jenis Intuitionistic (ITT) dan itu masuk akal. Tetapi apa yang saya perjuangkan untuk mengerti adalah "mengapa" pertama-tama diciptakan? Intuitionistic Logic (IL) dan Simply-typed -calculus (STLC) dan teori tipe pada umumnya mendahului keberadaan Martin-Löf sendiri! Tampaknya seseorang dapat melakukan segala sesuatu di STLC yang bisa dilakukan …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

Apa karir khas ilmuwan komputer teoretis (orang dengan gelar sarjana dalam ilmu komputer teoretis)? Industri dan institusi seperti apa yang mencari pengetahuan ilmu komputer teoretis? Karier apa yang biasanya digunakan oleh ilmuwan komputer teoretis?

13 soft-question  career