StanfordOnline: Semantics of First-Order Logic
First-order logic is a restricted, formalized language which is particularly suited to the precise expression of ideas. The language has uses in many disciplines including computer science, mathematics, linguistics and artificial intelligence.
We will describe how to write sentences in the language, how to determine when a sentence is true in a particular situation, how to recognize important relationships between sentences, and describe some limitations of the language.
4 semanas
5–10 horas por semana
A tu ritmo
Avanza a tu ritmo
Gratis
Verificación opcional disponible
Hay una sesión disponible:
¡Ya se inscribieron 5,260! Una vez finalizada la sesión del curso, será archivadoAbre en una pestaña nueva.
Comienza el 23 abr
Semantics of First-Order Logic
De un vistazo
- Institution StanfordOnline
- Subject Filosofía y ética
- Level Introductory
- Prerequisites
None.
- Language English
- Video Transcript English
- Associated skillsBasic Math, Semantics, Computer Science, Linguistics, Artificial Intelligence
¿Te interesa este curso para tu negocio o equipo?
Capacita a tus empleados en los temas más solicitados con edX para Negocios.