Acerca de este Curso

41.468 vistas recientes

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.

Fechas límite flexibles

Restablece las fechas límite en función de tus horarios.

Certificado para compartir

Obtén un certificado al finalizar

100 % en línea

Comienza de inmediato y aprende a tu propio ritmo.

Nivel intermedio

Aprox. 47 horas para completar

Inglés (English)

Habilidades que obtendrás

Relational Algebra
Problem Solving
Propositional Calculus
Mathematical Logic

Fechas límite flexibles

Restablece las fechas límite en función de tus horarios.

Certificado para compartir

Obtén un certificado al finalizar

100 % en línea

Comienza de inmediato y aprende a tu propio ritmo.

Nivel intermedio

Aprox. 47 horas para completar

Inglés (English)

Instructor

Calificación del instructor

3,77/5 (34 calificaciones)

Michael Genesereth

Associate Professor

Computer Science Department

194.117 alumnos

1 curso

Programa - Qué aprenderás en este curso

Semana

1

Semana 1

3 horas para completar

Unit 1 - Introduction

3 horas para completar

2 videos (Total 62 minutos), 5 lecturas

Semana

2

Semana 2

12 horas para completar

Unit 2 - Propositional Logic

12 horas para completar

2 videos (Total 8 minutos), 20 lecturas, 8 cuestionarios

2 videos

The Big Game3m

Box Logic (out of focus)4m

20 lecturas

Chapter 2 - Propositional Logic1h

Exercises55m

Extras5m

Puzzle - Coins10m

Chapter 3 - Propositional Analysis1h

Exercises25m

Extras10m

Puzzle - Rotors10m

Chapter Direct Proofs1h

Exercises25m

Extras10m

Puzzle - Wine10m

Chapter 5 - Natural Deduction1h

Exercises25m

Extras10m

Puzzle - Counterfeit (easy)10m

Chapter 6 Propositional Resolution1h

Exercises25m

Extras10m

Puzzle - Pills (difficult)10m

8 ejercicios de práctica

Evaluation15m

Satisfaction15m

Logical Properties10m

Logical Relationships30m

Hilbert Proof30m

Fitch Proof30m

Resolution Proof30m

Semana

3

Semana 3

20 horas para completar

Unit 3 - Relational Logic

20 horas para completar

16 lecturas

16 lecturas

Chapter 7 - Relational Logic1h

Exercises10m

Extras10m

Puzzle - Cards10m

Chapter 8 - Relational Analysis1h

Exercises10m

Extras10m

Puzzle - Safecracking10m

Chapter 9 - Model Checking1h

Exercises10m

Extras10m

Puzzle - Prisoners10m

Chapter 10 - Fitch Proofs1h

Exercises1h 20m

Extras10m

Puzzle - Chessboard (very difficult)10h

6 ejercicios de práctica

Evaluation30m

Logical Properties20m

Logical Relationships30m

Goldrush30m

Fitch Proof20m

Fitch Proof30m

Semana

4

Semana 4

8 horas para completar

Unit 4 - Functional Logic

8 horas para completar

14 lecturas

Reseñas

4.4

143 reseña

5 stars
70,14 %
4 stars
15 %
3 stars
6,19 %
2 stars
3,09 %
1 star
5,54 %

Principales reseñas sobre INTRODUCTION TO LOGIC

por FM16 de nov. de 2016

This has been a very interesting course, introducing the basic of logic reasoning.

por GL8 de jun. de 2018

Good structure. Helped a lot with my university unit. It would be great if we can get sample solutions for our exercises.

por KM25 de ene. de 2019

The course is great, but the grading system is always broken.

por AA24 de feb. de 2018

requires a lot of patience but overall very interesting and fun. The forums are very useful as are the mentors

Ver todas las reseñas

Preguntas Frecuentes

¿Cuándo podré acceder a las lecciones y tareas?
El acceso a las clases y las asignaciones depende del tipo de inscripción que tengas. Si tomas un curso en modo de oyente, verás la mayoría de los materiales del curso en forma gratuita. Para acceder a asignaciones calificadas y obtener un certificado, deberás comprar la experiencia de Certificado, ya sea durante o después de participar como oyente. Si no ves la opción de oyente:
es posible que el curso no ofrezca la opción de participar como oyente. En cambio, puedes intentar con una Prueba gratis o postularte para recibir ayuda económica.
Es posible que el curso ofrezca la opción 'Curso completo, sin certificado'. Esta opción te permite ver todos los materiales del curso, enviar las evaluaciones requeridas y obtener una calificación final. También significa que no podrás comprar una experiencia de Certificado.
¿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.
¿Hay ayuda económica disponible?
Sí. En ciertos programas de aprendizaje, puedes postularte para recibir ayuda económica o una beca en caso de no poder costear los gastos de la tarifa de inscripción. Si hay ayuda económica o becas disponibles para tu selección de programa de aprendizaje, verás un enlace para postularte en la página de descripción.

¿Tienes más preguntas? Visita el Centro de Ayuda al Estudiante.

Introduction to Logic