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


Resultados de la búsqueda
Mensaje Autor Foro Respuestas Vistas Agradecido [asc]
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 08-10-2022, 10:37 por nanohueso
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 06-09-2020, 21:46 por Smitten1994
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 10-09-2019, 17:20 por faver
  Tema: [PEDIDO][Parcial] Implementacion de bases de datos NO SQL
Mensaje: RE: [PEDIDO][Parcial] Implementacion de bases de d...

Como es medio nueva la materia tengo entendido van cambiando la modalidad. Estos son del 2c 2014.
Capitán Zoquete Sistemas 10 3.429 26-06-2019, 00:32 por evildark08
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 16-02-2019, 18:29 por gonnza
  Tema: [PEDIDO][Parcial] Implementacion de bases de datos NO SQL
Mensaje: RE: [PEDIDO][Parcial] Implementacion de bases de d...

Como es medio nueva la materia tengo entendido van cambiando la modalidad. Estos son del 2c 2014.
Capitán Zoquete Sistemas 10 3.429 21-11-2018, 09:48 por CarooLina
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 11-11-2018, 22:49 por jmalfonso93
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 02-11-2018, 02:29 por dalepapa
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 28-10-2018, 13:53 por Camper
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 06-06-2018, 09:54 por chrisgel15
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 04-06-2018, 22:09 por guilletala
  Tema: [PEDIDO][Parcial] Implementacion de bases de datos NO SQL
Mensaje: RE: [PEDIDO][Parcial] Implementacion de bases de d...

Como es medio nueva la materia tengo entendido van cambiando la modalidad. Estos son del 2c 2014.
Capitán Zoquete Sistemas 10 3.429 25-01-2018, 08:57 por Smitten1994
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 26-09-2017, 23:19 por Milu
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 26-07-2017, 01:03 por xtian89
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 24-06-2017, 20:53 por makifi
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 14-06-2017, 23:07 por pamgra
  Tema: [PEDIDO][Parcial] Implementacion de bases de datos NO SQL
Mensaje: RE: [PEDIDO][Parcial] Implementacion de bases de d...

Como es medio nueva la materia tengo entendido van cambiando la modalidad. Estos son del 2c 2014.
Capitán Zoquete Sistemas 10 3.429 04-06-2017, 16:31 por lucascla
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 22-05-2017, 12:11 por Danlco
  Tema: I.A. Final - 18/02/216
Mensaje: RE: I.A. Final - 18/02/216

1.b) Puse VERDADERO y justifiqué zaraza. 1.d) Decía algo así: Las RNA Backpropagation tienen un coeficiente o funcion que se puede modificar para que los resultados siempre den perfectos. Contesté: ...
Capitán Zoquete Sistemas 1 1.146 15-02-2017, 12:34 por DarkCrazy
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: RE: [Aporte] Resueltos Deducción Natural y Deducci...

(11-02-2017 22:58)DarkCrazy escribió:  Veo que cuando se pasa a forma normal, llega un punto en el que se quitan las {}, los [] e incluso los () a veces. Mi consulta es, cómo sé cuando y cómo pu...
Capitán Zoquete Sistemas 5 5.195 15-02-2017, 11:27 por DarkCrazy
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 10-02-2017, 20:12 por gnlaredo
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 17-01-2017, 12:16 por pablosreitano
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 15-01-2017, 18:51 por Ledcesar
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 14-12-2016, 17:25 por DarkCrazy
  Tema: [PEDIDO][Parcial] Implementacion de bases de datos NO SQL
Mensaje: RE: [PEDIDO][Parcial] Implementacion de bases de d...

Como es medio nueva la materia tengo entendido van cambiando la modalidad. Estos son del 2c 2014.
Capitán Zoquete Sistemas 10 3.429 30-10-2016, 20:49 por holautn
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 30-10-2016, 20:26 por gonzalo.gobea
  Tema: ¿Qué onda esta materia?
Mensaje: RE: ¿Qué onda esta materia?

Pregunta por Tecnologías Avanzadas en Redes. El docente de la materia es Federico Koval, que a mi gusto es un muy buen docente. Los temas que se ven (por lo menos en el 2014) son: MPLS, IPv6, Multi...
Capitán Zoquete Sistemas 8 2.728 01-08-2016, 17:50 por DarkCrazy
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 13-06-2016, 12:56 por GustavoPerrotta
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 12-06-2016, 17:46 por Gianluk
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 12-06-2016, 01:42 por Jarry
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 01-06-2016, 16:33 por sebbab
  Tema: [DUDA][Inteligencia Artificial] RNA y Algoritmos Genéticos
Mensaje: RE: [DUDA][Inteligencia Artificial] RNA y Algoritm...

1) Red Neuronal Artificial (RNA) es Sistema Experto (SE). 2) Algoritmo Genetico (AG) es Sistema Experto (SE). No son ni Sistemas Basados en Conocimiento (SBC) ni Sistemas Expertos Tradicionales (SET...
Capitán Zoquete Sistemas 7 2.773 27-05-2016, 00:21 por CarooLina
  Tema: Clave de matriculación de simulación
Mensaje: RE: Clave de matriculación de simulación

Espero que sirva!
Capitán Zoquete Sistemas 6 4.986 05-04-2016, 23:28 por Danlco
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 22-03-2016, 22:17 por ToLi1322
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 19-03-2016, 17:42 por cariddi
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 16-03-2016, 14:15 por CarooLina
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 11-03-2016, 18:09 por Jaraf
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 24-02-2016, 16:36 por Chocolito
  Tema: [Aporte] Resueltos Deducción Natural y Deducción Automática
Mensaje: [Aporte] Resueltos Deducción Natural y Deducción A...

Espero que a alguno le sirvan. Dedudcción automática tiene los 4 de Prenex/Skolem/Forma Normal y los 2 de deduccion usando Metodo de Herbrand. Deduccion natural son los 9 del K5HT2 (página 41/42).
Capitán Zoquete Sistemas 5 5.195 24-02-2016, 09:29 por luciano32
  Tema: I.A. Final - 18/02/216
Mensaje: RE: I.A. Final - 18/02/216

1.b) Puse VERDADERO y justifiqué zaraza. 1.d) Decía algo así: Las RNA Backpropagation tienen un coeficiente o funcion que se puede modificar para que los resultados siempre den perfectos. Contesté: ...
Capitán Zoquete Sistemas 1 1.146 21-02-2016, 12:24 por CarooLina
  Tema: IA - Clave de matriculación - Guia de ejercicios
Mensaje: RE: IA - Clave de matriculación - Guia de ejercici...

Cita:Clave de matriculación: i@2cua2015
Capitán Zoquete Sistemas 5 3.044 09-02-2016, 00:08 por eltipito
  Tema: Clave de matriculación de simulación
Mensaje: RE: Clave de matriculación de simulación

Espero que sirva!
Capitán Zoquete Sistemas 6 4.986 12-01-2016, 16:17 por turco91
  Tema: [Aporte] Teoria de control - Final 27/07/2015
Mensaje: RE: [Aporte] Teoria de control - Final 27/07/2015

Fijate en el adjunto. Entradas y salidas múltiples. (Ejemplo 3). Páginas 7, 8 y 9.
Capitán Zoquete Sistemas 8 3.721 29-10-2015, 18:29 por Jarry
  Tema: [Aporte] Teoria de control - Final 27/07/2015
Mensaje: [Aporte] Teoria de control - Final 27/07/2015

[attachment=11359]
Capitán Zoquete Sistemas 8 3.721 17-08-2015, 20:13 por danicam
  Tema: [PEDIDO][Parcial] Implementacion de bases de datos NO SQL
Mensaje: RE: [PEDIDO][Parcial] Implementacion de bases de d...

Como es medio nueva la materia tengo entendido van cambiando la modalidad. Estos son del 2c 2014.
Capitán Zoquete Sistemas 10 3.429 05-08-2015, 20:45 por Santz
  Tema: [Aporte] Teoria de control - Final 27/07/2015
Mensaje: RE: [Aporte] Teoria de control - Final 27/07/2015

Fijate en el adjunto. Entradas y salidas múltiples. (Ejemplo 3). Páginas 7, 8 y 9.
Capitán Zoquete Sistemas 8 3.721 28-07-2015, 12:31 por HernanAlbo
  Tema: ¿Qué onda esta materia?
Mensaje: RE: ¿Qué onda esta materia?

Pregunta por Tecnologías Avanzadas en Redes. El docente de la materia es Federico Koval, que a mi gusto es un muy buen docente. Los temas que se ven (por lo menos en el 2014) son: MPLS, IPv6, Multi...
Capitán Zoquete Sistemas 8 2.728 23-07-2015, 16:16 por axelmantalian
  Tema: ¿Qué onda esta materia?
Mensaje: RE: ¿Qué onda esta materia?

Pregunta por Tecnologías Avanzadas en Redes. El docente de la materia es Federico Koval, que a mi gusto es un muy buen docente. Los temas que se ven (por lo menos en el 2014) son: MPLS, IPv6, Multi...
Capitán Zoquete Sistemas 8 2.728 21-07-2015, 20:03 por rommisu
  Tema: [DUDA][Inteligencia Artificial] RNA y Algoritmos Genéticos
Mensaje: RE: [DUDA][Inteligencia Artificial] RNA y Algoritm...

1) Red Neuronal Artificial (RNA) es Sistema Experto (SE). 2) Algoritmo Genetico (AG) es Sistema Experto (SE). No son ni Sistemas Basados en Conocimiento (SBC) ni Sistemas Expertos Tradicionales (SET...
Capitán Zoquete Sistemas 7 2.773 27-06-2015, 18:19 por AGUSTIN27
  Tema: [PEDIDO][Parcial] Implementacion de bases de datos NO SQL
Mensaje: RE: [PEDIDO][Parcial] Implementacion de bases de d...

Como es medio nueva la materia tengo entendido van cambiando la modalidad. Estos son del 2c 2014.
Capitán Zoquete Sistemas 10 3.429 25-06-2015, 14:44 por facditul