Curso de Posgrado: Lógica Matemática

Curso de Posgrado: Lógica Matemática (*)

(*) Acreditable para la Maestría en Ciencias de la Computación con orientación en Bases de Datos

Objetivos: Lograr que el alumno: comprenda las estructuras fundamentales del pensar lógico en relación a las Ciencias de la Computación, desarrolle hábitos de trabajo mediante la utilización del cálculo proposicional y de predicados, analice teoremas específicos para adecuar la reflexión hacia sistemas y lenguajes formales.
Contenidos mínimos: Cálculo Proposicional y de Predicados de primer orden. Método de los árboles para la Lógica de Primer Orden. Teorema de Completitud. Teoremas de Lowenheim-Skolem. Teorema de Definibilidad de Beth. Introducción al Teorema de Gödel. Introducción a las Lógicas “many sorted”. Sistemas Formales con Igualdad.
Orientado a: docentes de matemáticas, ingenieros, profesionales de Tecnologías y Sistemas de Información, entre otros.
Docente: Dr. Alejandro Petrovich (UBA)
Aranceles:
Público en general: $1200
Docentes UTN: $600
Fechas de clases:
1º clase: 8 y 9 de Agosto
2º clase: 22 y 23 de Agosto
3º clase: 29 y 30 de Agosto

Horarios de clases:
Viernes de 18.00 a 23.00 hs
Sábado de 8.00 a 13.00 hs.

¡¡¡VACANTES LIMITADAS!!!

Consultas: mcc@frcu.utn.edu.ar
http://www.frcu.utn.edu.ar/posgrado/mcc/

Para la Inscripción al Curso completar el siguiente formulario: http://www.frcu.utn.edu.ar/posgrado/preinscposgrado/pre_index.php

 

adminz

Breve descripción

También puede gustarle...

WordPress Appliance - Powered by TurnKey Linux