Inicio >> Docencia >> Titulación >> Asignaturas/Cursos >> Presentación
           --

Lógica Computacional (13022)


Presentación Grupos Recursos Bibliografía Exámenes Avisos

Objetivos de la asignatura
El curso va dirigido a hacer una introducción de la lógica difusa con sus aplicaciones en inteligencia artificial, sistemas expertos, etc. El curso está dividido en una parte teórica, donde se dan con rigor los conceptos que luego se aplican y una parte práctica que se realizará preferentemente con ordenador.
Contenidos
1.- Álgebra de Boole y lógica clásica. Deducciones en la lógica clásica.
2.- Álgebras de De Morgan y lógica difusa.
3.- Conjuntos borrosos. Álgebra de predicados en la lógica difusa. Razonamiento aproximado.
4.- Aplicaciones: Sistemas expertos. Problemas de decisión. Modelos borrosos en logística.
Evaluación
Se realizará durante todo el curso una evaluación continua mediante exámenes cortos en clase y trabajos a realizar por el alumno o grupo de alumnos. Al final del curso habrá un examen teórico y práctico.
Profesorado
María Teresa Sancho De Salas Correo electrónico
Otros datos

Créditos: 6.0 (3.0 T + 3.0 P) , Segundo cuatrimestre , Optativa , Número de grupos de teoría: 1 , Número de grupos de práctica: 1

Ingeniería Informática (2 Ciclo) Primer curso
---
Identificarse Accesibilidad
Idioma inglés
Advertencia sobre la información contenida en esta aplicación Web
© 2024 Departamento de Informática y Automática - Universidad de Salamanca
Webmaster: Correo electrónico
Versión Móvil
[Contenido semántico de esta página]
Member of Informatics Europe Acerca de