31-10-2016, 21:39
Estimados
Subo ejercicios resueltos de Análisis de protocolo, Emparrillado, Lógica de primer orden, Deducción Automática, Deducción Natural y búsqueda por amplitud, por rama, escala simple, máxima pendiente, beam search y A*
Espero que sirva para preparar la parte práctica del final.
Saludos.
Subo ejercicios resueltos de Análisis de protocolo, Emparrillado, Lógica de primer orden, Deducción Automática, Deducción Natural y búsqueda por amplitud, por rama, escala simple, máxima pendiente, beam search y A*
Espero que sirva para preparar la parte práctica del final.
Saludos.