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.602 |
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.602 |
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.602 |
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.962 |
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.602 |
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.962 |
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.602 |
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.602 |
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.602 |
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.602 |
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.602 |
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.962 |
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.602 |
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.602 |
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.602 |
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.602 |
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.962 |
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.602 |
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.299 |
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.602 |
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.602 |
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.602 |
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.602 |
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.602 |
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.962 |
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.602 |
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 |
3.209 |
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.602 |
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.602 |
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.602 |
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.602 |
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 |
3.152 |
27-05-2016, 00:21 por CarooLina |
 |
|
Tema: Clave de matriculación de simulación
Mensaje: RE: Clave de matriculación de simulación
|
Capitán Zoquete |
Sistemas |
6 |
5.504 |
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.602 |
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.602 |
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.602 |
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.602 |
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.602 |
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.602 |
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.299 |
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.365 |
09-02-2016, 00:08 por eltipito |
 |
|
Tema: Clave de matriculación de simulación
Mensaje: RE: Clave de matriculación de simulación
|
Capitán Zoquete |
Sistemas |
6 |
5.504 |
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 |
4.212 |
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
|
Capitán Zoquete |
Sistemas |
8 |
4.212 |
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.962 |
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 |
4.212 |
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 |
3.209 |
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 |
3.209 |
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 |
3.152 |
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.962 |
25-06-2015, 14:44 por facditul |