Curso de Verão: Fundamentos Matemáticos da Computação
Stanford Summer Session
Informação chave
Localização do campus
Stanford, EUA
Idiomas
Inglês
Formato de estudo
No campus
Duração
8 semanas
Ritmo
Período integral
Propinas
USD 6.860
Prazo para inscrição
15 May 2024
Data de início mais cedo
22 Jun 2024
Introdução
Quais são os limites teóricos do poder de computação? Que problemas podem ser resolvidos com computadores? Quais não podem? E como podemos raciocinar sobre as respostas a estas questões com certeza matemática? Este curso explora as respostas a essas perguntas e serve como uma introdução à matemática discreta, à teoria da computabilidade e à teoria da complexidade. Ao concluir o curso, os alunos se sentirão confortáveis escrevendo provas matemáticas, raciocinando sobre estruturas discretas, lendo e escrevendo declarações em lógica de primeira ordem e trabalhando com modelos matemáticos de dispositivos computacionais.
Ao longo do curso, os alunos serão expostos a algumas das ideias matemáticas e filosóficas mais interessantes do final do século XIX e XX. Os tópicos específicos abordados incluem prova matemática formal, lógica proposicional e de primeira ordem, teoria dos conjuntos, relações binárias, funções (injeções, sobrejeções e bijeções), cardinalidade, teoria básica dos grafos, princípio do pombo, indução matemática, autômatos finitos, regular expressões, o teorema de Myhill-Nerode, gramáticas livres de contexto, máquinas de Turing, linguagens decidíveis e reconhecíveis, auto-referência e indecidibilidade, verificadores e a questão P versus NP.
Os alunos com experiência significativa em redação de provas são incentivados a fazer o CS154. Os alunos interessados em prática extra e suporte com o curso são incentivados a se inscreverem simultaneamente no CS103A. Pré-requisito: CS106B ou equivalente. O CS106B pode ser obtido simultaneamente com o CS103.
Details
CS 103
- Número da turma: 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
- Horário: Seg, Quarta, Sex, 18h00 - 19h50
- Notas do curso: Pode ser cursado em 3 ou 4 unidades por alunos de pós-graduação de 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