Kursus Musim Panas: Landasan Matematika Komputasi
Stanford Summer Session
Informasi kunci
Lokasi kampus
Stanford, Amerika Serikat
Bahasa
Bahasa inggris
format studi
Di kampus
Durasi
8 minggu
Kecepatan
Waktu penuh
Biaya pendidikan
USD 6.860
Tenggat waktu aplikasi
15 May 2024
Tanggal mulai paling awal
22 Jun 2024
pengantar
Berapa batasan teoretis dari daya komputasi? Masalah apa saja yang bisa diselesaikan dengan komputer? Yang mana yang tidak bisa? Dan bagaimana kita dapat mempertimbangkan jawaban atas pertanyaan-pertanyaan ini dengan kepastian matematis? Kursus ini mengeksplorasi jawaban atas pertanyaan-pertanyaan ini dan berfungsi sebagai pengantar matematika diskrit, teori komputasi, dan teori kompleksitas. Setelah menyelesaikan kursus, siswa akan merasa nyaman menulis bukti matematika, menalar tentang struktur diskrit, membaca dan menulis pernyataan dalam logika orde pertama, dan bekerja dengan model matematika perangkat komputasi.
Sepanjang kursus, siswa akan mendapatkan paparan terhadap beberapa gagasan matematika dan filosofis yang paling menarik di akhir abad kesembilan belas dan kedua puluh. Topik khusus yang dibahas meliputi penulisan pembuktian matematika formal, logika proposisional dan orde pertama, teori himpunan, hubungan biner, fungsi (injeksi, dugaan, dan bijeksi), kardinalitas, teori grafik dasar, prinsip merpati, induksi matematika, automata terbatas, reguler ekspresi, teorema Myhill-Nerode, tata bahasa bebas konteks, mesin Turing, bahasa yang dapat ditentukan dan dikenali, referensi mandiri dan keraguan, pemverifikasi, dan pertanyaan P versus NP.
Siswa dengan pengalaman menulis bukti yang signifikan didorong untuk mengambil CS154. Siswa yang tertarik pada latihan ekstra dan dukungan kursus didorong untuk mendaftar secara bersamaan di CS103A. Prasyarat: CS106B atau setara. CS106B dapat diambil bersamaan dengan CS103.
Details
CS 103
- Nomor Kelas: 15971
- Course Cost: $6860.00
- Population: Undergraduate, Graduate
- Units: 5
- Interest Area: Computer Science and Engineering
- Course Format & Length: In-person, 8 weeks
- Instructors: Amy Liu
- Dates: June 22, 2024 - August 18, 2024
- Prerequisites: CS 106B or equivalent
- Jadwal: Senin, Rabu, Jumat pukul 18.00 - 19.50
- Catatan Kursus: Dapat diambil untuk 3 atau 4 unit oleh mahasiswa pascasarjana Stanford.
Events and Engagement
Workshops
Hosted through the Summer Academic Resource Center (SARC), we offer a variety of educational workshops to complement your academic pursuits. Presenters varying from Stanford affiliates, community partners, and graduate tutors will cover a wide range of topics from academic skills to career exploration. Past workshops included college preparedness, software exploration, and building your professional network.
Stanford Spaces
Explore the intellectual ecosystem of the Stanford campus. Tour museums like the Cantor Arts Center, visit unique campus spaces like the d.school, Frost Amphitheater, and O’Donohue Family Farm, and get to know the unique community of companies and innovators that gather at Stanford Research Park.
Stanford Voices
These small gatherings give you an opportunity to connect with Stanford faculty, fellows, and alumni to hear about their work or research, as well as the road that brought them there. Ask questions and continue your intellectual exploration—whether you're taking a course on the topic this summer or just curious.
How It Works
- Apply to attend our 8-week program
- Receive and accept your admission
- Register for courses when enrollment opens in April
- Attend as a Residential or Commuter student