|
|
| Línea 1: |
Línea 1: |
| − | Apuntes de demostración asistida por ordenador con [https://coq.inria.fr/ Coq] para los cursos de
| + | Demostación Asistida por Ordenador con Coq |
| − | * [http://www.cs.us.es/~jalonso/cursos/m-ra/ Razonamiento automático] del [http://master.cs.us.es/Máster_Universitario_en_Lógica,_Computación_e_Inteligencia_Artificial Máster Universitario en Lógica, computación e inteligencia artificial] de la [http://www.us.es Universidad de Sevilla].
| |
| − | * [http://www.cs.us.es/~jalonso/cursos/lmf/ Lógica matemática y fundamentos] del [http://www.us.es/estudios/grados/plan_171?p=7 Grado en Matemáticas] de la [http://www.us.es Universidad de Sevilla].
| |
| − | | |
| − | '''Temas'''
| |
| − | * [[Tema 1: Programación funcional y métodos elementales de demostración en Coq]].
| |
Revisión del 17:08 27 jul 2018
Demostación Asistida por Ordenador con Coq
