Pertanyaan yang diberi tag «teaching»

Saya telah merevisi Teori Komputasi untuk bersenang-senang dan pertanyaan ini telah mengganggu saya untuk sementara waktu (lucu tidak pernah memikirkannya ketika saya belajar Teori Automata di sarjana saya). Jadi "mengapa" tepatnya kita mempelajari automata terbatas deterministik dan non-deterministik (DFA / NFA)? Jadi, inilah beberapa jawaban yang saya dapatkan setelah soliloquing …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

Ini adalah pertanyaan pertama saya di situs ini. Saya mengambil kursus master tentang teori perhitungan. Bagaimana Anda akan menjelaskan masalah P = NP kepada seorang anak berusia 10 tahun dan mengapa ia memiliki imbalan uang seperti itu? Anda menerima? Saya akan memperbarui pertanyaan karena kepalaku sudah mengerti.

54 cc.complexity-theory  soft-question  teaching  p-vs-np 

Hirarki Chomsky (–Schützenberger) digunakan dalam buku teks ilmu komputer teoretis, tetapi itu jelas hanya mencakup sebagian kecil dari bahasa formal (REG, CFL, CSL, RE) dibandingkan dengan Diagram Kompleksitas Kebun Binatang . Apakah hierarki memainkan peran dalam penelitian saat ini lagi? Saya hanya menemukan sedikit referensi untuk Chomsky di sini di …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching 

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 

Pertanyaan ini ditujukan untuk orang yang memberikan masalah: guru, asisten siswa, tutor, dll. Ini telah terjadi pada saya beberapa kali dalam karir saya selama 12 tahun sebagai seorang profesor: Saya buru-buru menetapkan beberapa masalah dari teks dengan berpikir "ini terlihat bagus." Kemudian saya sadar saya tidak bisa menyelesaikannya. Beberapa hal …

36 soft-question  teaching 

Ketika kita mengikuti buku teks standar, atau tradisi, kebanyakan dari kita mengajarkan definisi notasi besar-Oh berikut dalam beberapa kuliah pertama kelas algoritme: Mungkin kita bahkan memberikan seluruh daftar dengan semua bilangannya:f= O ( g) iff ( ∃ c > 0 ) ( ∃ n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)).f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)). f = O(g) \mbox{ …

35 ds.algorithms  soft-question  teaching 

Mengira itu tidak mungkin pertanyaan umum, tetapi bertanya-tanya apakah ada yang melihat materi yang jelas dibuat untuk mengatasi audiensi ini dengan cara yang bermakna.

34 soft-question  teaching 

Saya mengajar kursus algoritma tingkat lanjut dan ingin memasukkan beberapa topik yang berkaitan dengan pembelajaran mesin yang akan menarik bagi siswa saya. Sebagai hasilnya, saya ingin mendengar pendapat orang tentang hasil algoritmik yang paling menarik / terbesar saat ini dalam pembelajaran mesin. Kendala yang berpotensi sulit adalah bahwa siswa tidak …

30 ds.algorithms  machine-learning  teaching 

Saya baru saja mengajarkan algoritma mincut acak Karger-Stein di kelas algoritma lulusan saya. Ini adalah permata algoritmik yang nyata , jadi saya tidak bisa mengajarinya, tetapi selalu membuat saya frustrasi, karena saya tidak tahu aplikasi lain dari teknik utama. (Jadi sulit untuk menetapkan pekerjaan rumah yang mengarahkan poin ke rumah.) …

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

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, …

22 soft-question  computability  turing-machines  teaching 

Saat ini saya mengajar kursus kecil (Empat dua jam kuliah di tingkat Master) tentang Metode Logika dalam Keamanan , meskipun judul Metode Formal dalam Keamanan mungkin lebih tepat. Ini mencakup secara singkat topik-topik berikut (dengan metode logis terkait): Manajemen Hak Digital dan Penegakan Kebijakan (formalisasi umum, logika modal, penegakan via …

22 lo.logic  cr.crypto-security  teaching  security  formal-methods 

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.

21 soft-question  teaching  books 

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 …

19 soft-question  algebra  teaching 

Saya ditawari untuk mengajar program sekolah menengah TCS baru, yang membutuhkan penyusunan kurikulum. Saya ingin sekali mendengar pendapat dan saran mengenai hal ini. Pertama, apakah ada yang tahu sekolah menengah di mana program TCS telah diajarkan dengan sukses (atau tidak berhasil)? Idenya adalah untuk program 3 tahun (kelas 10-12, usia …

16 teaching