Seguimos buscando a Arshak. Ayudanos compartiendo!
Encuesta no oficial de docentes
Resultados de la encuesta no oficial de docentes
Probaste el SIGA Helper?

Donar $100 Donar $200 Donar $500 Donar mensualmente


Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
[Pedido]Apuntes Deducción Automática : La teoría de Herbrand
Autor Mensaje
ggasti Sin conexión
Empleado del buffet
vago
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 4
Agradecimientos dados: 18
Agradecimientos: 0 en 0 posts
Registro en: Mar 2016
Mensaje: #1
[Pedido]Apuntes Deducción Automática : La teoría de Herbrand Trabajo practico Algoritmos y Estructuras de Datos y 1 más
Hola gente, estoy con este ejercicio del TP anual de MD y AyED:

Investigar sobre Deducción Automática (la Teoría de Herbrand), elaborar ejemplos propios e intentar explicar con términos propios el propósito de esta teoría.

Me dijeron que para aprender como resolver ejercicios de deducción automática, busque guías de Inteligencia Artificial.
Alguno conoce algún apunte o libro que sirva?
26-06-2016 19:24
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
CarooLina Sin conexión
Colaborador

********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 3.743
Agradecimientos dados: 1.496
Agradecimientos: 1.683 en 547 posts
Registro en: Sep 2010
Mensaje: #2
RE: [Pedido]Apuntes Deducción Automática : La teoría de Herbrand
Si. Acá esta ese apunte. Filtra por inteligencia artificial y sale

love
26-06-2016 19:40
Envíale un email Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] CarooLina recibio 1 Gracias por este post
ggasti (27-06-2016)
Cha_10 Sin conexión
Empleado del buffet
Sin estado :(
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 7
Agradecimientos dados: 1
Agradecimientos: 4 en 3 posts
Registro en: Feb 2017
Mensaje: #3
RE: [Pedido]Apuntes Deducción Automática : La teoría de Herbrand
Aparecen un montón de cosas bajo la búsqueda de Inteligencia artificial, porque es una materia. ¿Cuál es el resumen al que hacían referencia?
17-06-2017 13:40
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
francisco_9930 Sin conexión
Militante
Analisis II y 6 más...
***

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 51
Agradecimientos dados: 54
Agradecimientos: 6 en 5 posts
Registro en: Jul 2016
Mensaje: #4
RE: [Pedido]Apuntes Deducción Automática : La teoría de Herbrand
Me uno al pedido
18-06-2017 10:52
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Gian519 Sin conexión
Empleado del buffet
519
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 22
Agradecimientos dados: 1
Agradecimientos: 4 en 4 posts
Registro en: Dec 2016
Mensaje: #5
RE: [Pedido]Apuntes Deducción Automática : La teoría de Herbrand
Hola, ya me corrigieron el tp y con lo que está en la wikipedia (en inglés) es suficiente!
25-06-2017 23:03
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Buscar en el tema
Enviar respuesta 




Usuario(s) navegando en este tema: 1 invitado(s)