Les cuento, yo me presente y de nabo no aprobe.

Eran 3 puntos, tenias que tener 60% aprobado de cada uno.
1- 4 VoF teoricos con justificacion. Salian de resumenes y multiple choices
2- Pasar a skolem y prenex
3- Emparrillado completo, tenia 80% de metacomentarios y el resto era un poquito engañoso pero no tanto. Era sobre el mar y el estado.

Lo que quería pedir si alguno tiene es escaneos de ejercicios de analisis de protocolo y skolem/prenex porque me cuestan mucho.
con fotos del celu de resueltos seguramente alcance.

Muchas gracias!

Hola!

Aca está lo de Deducción Automatica: http://www.utnianos.com.ar/foro/tema-eje...%C3%A1tica

Saludos!

(13-02-2016 13:41)neworderboy escribió:  Les cuento, yo me presente y de nabo no aprobe.

Eran 3 puntos, tenias que tener 60% aprobado de cada uno.
1- 4 VoF teoricos con justificacion. Salian de resumenes y multiple choices
2- Pasar a skolem y prenex
3- Emparrillado completo, tenia 80% de metacomentarios y el resto era un poquito engañoso pero no tanto. Era sobre el mar y el estado.

Lo que quería pedir si alguno tiene es escaneos de ejercicios de analisis de protocolo y skolem/prenex porque me cuestan mucho.
con fotos del celu de resueltos seguramente alcance.

Muchas gracias!

Emparrillado completo o análisis de protocolos completo?

Entiendo que es análisis de protocolos completo.

Analisis de protocolo perdón, alguno tiene de una carpeta un ejercicio completo de analisis de protocolo para pasar?

Agradeceria mucho!