Recibida consulta de Ser...

Nombre:
Ser...
Telefono:
69081...
Consulta:
Texto : Hola buenas, me gustaría preguntar si dais el temario de una asignatura que tenemos en el grado de ingeniería informática (universidad de Alcalá de Henares) llamada \"Conocimiento y Razonamiento Automatizado\", los temas son: 1. Lambda-calculo: pares ordenados, combinador de punto fijo (recursividad), listas, naturales, Church-Rosser, booleanos. 2. Semántica y verificación de programas: precondiciones y postcondiciones, hallar el invariante, lógica de Hoare, derivación de programas y corrección parcial. Muchas gracias y un saludo.

Gracias por utilizar este servicio. Nos pondremos en contacto con usted lo antes posible.

Para enviarnos un e-mail puede hacerlo respondiendo directamente a este.

Academia Cartagena99 - www.cartagena99.com
Calle Cartagena nº99, 28002 Madrid, Tel. 91-51-51-321