Curso de Verano: Fundamentos Matemáticos de la Computación

¿Cuáles son los límites teóricos de la potencia informática? ¿Qué problemas se pueden resolver con las computadoras? ¿Cuáles no pueden? ¿Y cómo podemos razonar sobre las respuestas a estas preguntas con certeza matemática? Este curso explora las respuestas a estas preguntas y sirve como una introducción a las matemáticas discretas, la teoría de la computabilidad y la teoría de la complejidad. Al finalizar el curso, los estudiantes se sentirán cómodos escribiendo pruebas matemáticas, razonando sobre estructuras discretas, leyendo y escribiendo declaraciones en lógica de primer orden y trabajando con modelos matemáticos de dispositivos informáticos.

A lo largo del curso, los estudiantes se familiarizarán con algunas de las ideas matemáticas y filosóficas más apasionantes de finales del siglo XIX y XX. Los temas específicos cubiertos incluyen redacción de pruebas matemáticas formales, lógica proposicional y de primer orden, teoría de conjuntos, relaciones binarias, funciones (inyecciones, sobreyecciones y biyecciones), cardinalidad, teoría básica de grafos, principio de casillero, inducción matemática, autómatas finitos, expresiones, el teorema de Myhill-Nerode, gramáticas libres de contexto, máquinas de Turing, lenguajes decidibles y reconocibles, autorreferencia e indecidibilidad, verificadores y la pregunta P versus NP.

Se anima a los estudiantes con experiencia significativa en redacción de pruebas a que tomen CS154. Se anima a los estudiantes interesados en práctica adicional y apoyo con el curso a inscribirse simultáneamente en CS103A. Requisito previo: CS106B o equivalente. CS106B se puede tomar simultáneamente con CS103.

Details

CS 103

• Número de clase: 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
• Horario: lunes, miércoles y viernes de 6:00 p. m. a 7:50 p. m.
• Notas del curso: Los estudiantes graduados de Stanford pueden tomar 3 o 4 unidades.

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

1. Apply to attend our 8-week program
2. Receive and accept your admission
3. Register for courses when enrollment opens in April
4. Attend as a Residential or Commuter student