Diferencia entre revisiones de «Página principal»
De DAO con Coq
| Línea 1: | Línea 1: | ||
| − | + | Apuntes de demostración asistida por ordenador con [https://coq.inria.fr/ Coq] para los cursos de | |
| − | + | * [http://www.cs.us.es/~jalonso/cursos/m-ra/ Razonamiento automático] del [http://master.cs.us.es/M%C3%A1ster_Universitario_en_L%C3%B3gica,_Computaci%C3%B3n_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''' | |
| − | + | ||
| − | * [ | + | * [./Temas/T1_PF_en_Coq.html Tema 1]: Programación funcional y métodos elementales de demostración en Coq. |
| − | |||
Revisión del 08:58 27 jul 2018
Apuntes de demostración asistida por ordenador con Coq para los cursos de
- Razonamiento automático del Máster Universitario en Lógica, computación e inteligencia artificial de la Universidad de Sevilla.
Temas
- [./Temas/T1_PF_en_Coq.html Tema 1]: Programación funcional y métodos elementales de demostración en Coq.