This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
ofrecido por
Universidad de Stanford
Acerca de este Curso
44,656 vistas recientes
Habilidades que obtendrás
Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic
Programa - Qué aprenderás en este curso
Semana
12 horas para completar
Lesson 1 - Introduction
13 quizzes
Semana
24 horas para completar
Lesson 2 - Propositional Logic
1 video (Total 3 minutos), 14 quizzes
1 video
5 horas para completar
Lesson 3 - Propositional Analysis
14 quizzes
Semana
37 horas para completar
Lesson 4 - Propositional Proofs
20 quizzes
Semana
42 horas para completar
Lesson 5 - Propositional Resolution
1 video (Total 4 minutos), 8 quizzes
1 video
67%
comenzó una nueva carrera después de completar estos cursos
50%
consiguió un beneficio tangible en su carrera profesional gracias a este curso
Principales revisiones
I think the course makes a great job introducing you to a different mindset, the one that can help you through any kind of inference and mathematical thinking. It makes your brain work.
This course was so helpful. I think I now understand the fundamentals of mathematical logic. I truly recommend this course to anyone who is interested in studying logic!
Instructor
Michael Genesereth
Associate ProfessorComputer Science Department
Acerca de Universidad de Stanford
The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is an American private research university located in Stanford, California on an 8,180-acre (3,310 ha) campus near Palo Alto, California, United States.
Preguntas Frecuentes
¿Cuándo podré acceder a las lecciones y tareas?
Una vez que te inscribes para obtener un Certificado, tendrás acceso a todos los videos, cuestionarios y tareas de programación (si corresponde). Las tareas calificadas por compañeros solo pueden enviarse y revisarse una vez que haya comenzado tu sesión. Si eliges explorar el curso sin comprarlo, es posible que no puedas acceder a determinadas tareas.
¿Qué recibiré si compro el Certificado?
Cuando compras un Certificado, obtienes acceso a todos los materiales del curso, incluidas las tareas calificadas. Una vez que completes el curso, se añadirá tu Certificado electrónico a la página Logros. Desde allí, puedes imprimir tu Certificado o añadirlo a tu perfil de LinkedIn. Si solo quieres leer y visualizar el contenido del curso, puedes participar del curso como oyente sin costo.
¿Cuál es la política de reembolsos?
¿Hay ayuda económica disponible?
¿Tienes más preguntas? Visita el Centro de Ayuda al Alumno.
Coursera brinda acceso universal a la mejor educación del mundo, al asociarse con las mejores universidades y organizaciones, para ofrecer cursos en línea.
© 2019 Coursera Inc. Todos los derechos reservados.
