آموزش استدلال مصنوعی - آخرین آپدیت

منطق گزاره‌ای Lógica proposicional

• مقدمه‌ای بر منطق Introducción a la lógica

• مفاهیم مقدماتی Conceptos preliminares

• نحو (Syntax) Sintaxis

• معناشناسی: مدل و ارضای مدل Semántica: Modelo y satisfacción

منطق گزاره‌ای بخش دوم Lógica proposicional parte 2

• معناشناسی: نتیجه‌گیری منطقی، معادل منطقی و لغوی Semántica: Consecuencia lógica, equivalencia lógica y literal

• استنتاج Inferencia

• الگوریتم DPLL Algoritmo DPLL

منطق زمانی و منطق محمول Lógica temporal y Lógica de predicados

• مفاهیم مقدماتی و نحو منطق زمانی Conceptos preliminares y sintaxis de lógica temporal

• معناشناسی منطق زمانی Semántica de lógica temporal

• مفاهیم مقدماتی و نحو منطق محمول Conceptos preliminares y sintaxis de lógica de predicados

• معناشناسی منطق محمول Semántica de lógica de predicados

• استنتاج در منطق محمول Inferencia de lógica de predicados

• مسائل مربوط به پایگاه‌های هوش مصنوعی Problemas cuando base de inteligencia artificial

تئوری احتمالات Teoría de la probabilidad

• مقدمه‌ای بر تئوری احتمالات Introducción a la teoría de la probabilidad

• شبکه‌های بیزی Redes bayesianas

تئوری احتمالات (بخش دوم) Teoría de la probabilidad (parte 2)

• زنجیره‌های مارکوف Cadenas de Markov

• تئوری تصمیم‌گیری Teoría de decisiones

تئوری احتمالات (بخش سوم) Teoría de la probabilidad (parte 3)

• فرایندهای تصمیم‌گیری مارکوف Procesos de Decisión de Markov

• نظریه بازی‌ها Teoría de juegos

• پایان دوره Cierre del curso