Wenn Sie sich für diesen Kurs anmelden, werden Sie auch für diese Spezialisierung angemeldet.
Lernen Sie neue Konzepte von Branchenexperten
Gewinnen Sie ein Grundverständnis bestimmter Themen oder Tools
Erwerben Sie berufsrelevante Kompetenzen durch praktische Projekte
Erwerben Sie ein Berufszertifikat zur Vorlage
In diesem Kurs gibt es 6 Module
El razonamiento formal juega un papel importante en la inteligencia artificial. Hay dos maneras principales de formalizar razonamiento: una que enfatiza la deducción (lógica), y otra que enfatiza la incertidumbre (teoría de la probabilidad). En este curso vamos a cubrir una introducción tanto a la lógica (vamos a cubrir tres lógicas) como a la teoría de la probabilidad (vamos a cubrir tres modelos gráficos probabilísticos).
Algunas tareas requieren programación básica en Python: El alumno deberá completar código al que se le ha eliminado una parte.
En este módulo de razonamiento lógico podrás familiarizarte con la lógica proposicional. Verás una primera manera de formalizar razonamiento y los problemas NP-completos, que son arquetípicos en inteligencia artificial.
Das ist alles enthalten
4 Videos1 Lektüre1 Aufgabe
Infos zu Modulinhalt anzeigen
4 Videos•Insgesamt 18 Minuten
Introducción a la lógica•9 Minuten
Conceptos preliminares•3 Minuten
Sintaxis•2 Minuten
Semántica: Modelo y satisfacción•4 Minuten
1 Lektüre•Insgesamt 10 Minuten
Bienvenida al curso•10 Minuten
1 Aufgabe•Insgesamt 30 Minuten
Lógica proposicional•30 Minuten
Lógica proposicional parte 2
Modul 2•5 Stunden abzuschließen
Moduldetails
En este módulo de razonamiento lógico podrás familiarizarte con la lógica proposicional. Verás una primera manera de formalizar razonamiento y los problemas NP-completos, que son arquetípicos en inteligencia artificial.
Semántica: Consecuencia lógica, equivalencia lógica y literal•5 Minuten
Inferencia•6 Minuten
Algoritmo DPLL•8 Minuten
1 Aufgabe•Insgesamt 30 Minuten
Lógica proposicional (parte 2)•30 Minuten
1 Programmieraufgabe•Insgesamt 180 Minuten
Implementación del algoritmo DPLL•180 Minuten
1 Unbewertetes Labor•Insgesamt 60 Minuten
Algoritmo DPLL•60 Minuten
Lógica temporal y Lógica de predicados
Modul 3•1 Stunde abzuschließen
Moduldetails
En este módulo de razonamiento lógico podrás familiarizarte con la lógica temporal para entender los conceptos básicos de los "verificadores de modelos" y con la lógica de predicados para sentar las bases de varias técnicas de inteligencia artificial.
Das ist alles enthalten
6 Videos2 Aufgaben
Infos zu Modulinhalt anzeigen
6 Videos•Insgesamt 28 Minuten
Conceptos preliminares y sintaxis de lógica temporal•2 Minuten
Semántica de lógica temporal•8 Minuten
Conceptos preliminares y sintaxis de lógica de predicados•5 Minuten
Semántica de lógica de predicados•7 Minuten
Inferencia de lógica de predicados•3 Minuten
Problemas cuando base de inteligencia artificial•3 Minuten
2 Aufgaben•Insgesamt 55 Minuten
Lógica temporal•25 Minuten
Lógica de predicados•30 Minuten
Teoría de la probabilidad
Modul 4•5 Stunden abzuschließen
Moduldetails
En este módulo de razonamiento probabilístico estarás familiarizado con dos modelos gráficos probabilísticos: las redes bayesianas y las cadenas de Markov.
La Universidad Nacional Autónoma de México fue fundada el 21 de septiembre de 1551 con el nombre de la Real y Pontificia Universidad de México. Es la más grande e importante universidad de México e Iberoamérica. Tiene como propósito primordial estar al servicio del país y de la humanidad, formar profesionistas útiles a la sociedad, organizar y realizar investigaciones, principalmente acerca de las condiciones y problemas nacionales, y extender con la mayor amplitud posible, los beneficios de la cultura.
When will I have access to the lectures and assignments?
To access the course materials, assignments and to earn a Certificate, you will need to purchase the Certificate experience when you enroll in a course. You can try a Free Trial instead, or apply for Financial Aid. The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.
What will I get if I subscribe to this Specialization?
When you enroll in the course, you get access to all of the courses in the Specialization, and you earn a certificate when you complete the work. Your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile.
Is financial aid available?
Yes. In select learning programs, you can apply for financial aid or a scholarship if you can’t afford the enrollment fee. If fin aid or scholarship is available for your learning program selection, you’ll find a link to apply on the description page.