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.228 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.228 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.228 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.478 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.228 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.478 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.228 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.228 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.228 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.228 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.228 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.478 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.228 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.228 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.228 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.228 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.478 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.228 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.153 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.228 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.228 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.228 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.228 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.228 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.478 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.228 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.762 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.228 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.228 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.228 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.228 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.820 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 5.047 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.228 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.228 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.228 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.228 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.228 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.228 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.153 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.070 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 5.047 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.758 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.758 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.478 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.758 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.762 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.762 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.820 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.478 25-06-2015, 14:44 por facditul