cchang
Loading...
33
subscribers
13,820
video views
Uploaded videos
1-10 of 18-
GIA-USB OPEN LARC2011
cchangt
210 views
Robot Recolector de Café del Grupo de Inteligencia Artificial de la Universidad Simón Bolívar, Venezuela. Con Presupuesto Cero, el robot obtuvo el Sexto Lugar de la Compete...
-
The Agreeable Sheep
cchangt
398 views
CI4431 Introducción a la Robótica
Universidad Simón Bolívar
Tomé esta animación de papel llamada "The agreeable sheep" de www.robives.com y la convertí en un robot autó...
-
CI4431 Introducción a la Robótica: Recorriendo un Laberinto
cchangt
161 views
CI4431: Introducción a la Robótica
Universidad Simón Bolívar
En esta oportunidad nuestro objetivo es un proyecto clásico de Robótica: Navegar Laberintos. Ya el robot de...
-
CI4431 Introducción a la Robótica: Máquina Rube Goldberg
cchangt
989 views
Los 6 equipos del curso colaboraron para crear una Máquina Rube Goldberg para apagar una luz del Laboratorio del Grupo de Inteligencia Artificial.
Aquí está el video de...
-
La Navidad de Bioleta Mata
cchangt
242 views
Feliz Navidad!
-
CI2511 Demostrando por el Método Directo
cchangt
1,898 views
Curso CI-2511: Lógica Simbólica, Universidad Simón Bolívar, Venezuela.
Se discute el método directo de demostración de la Lógica Proposicional. La prueba realizada para ...
-
CI2511 Implicación con Inteligencia
cchangt
656 views
Curso CI-2511: Lógica Simbólica, Universidad Simón Bolívar, Venezuela.
Se discuten varias estrategias frecuentemente utilizadas por los estudiantes al realizar demostrac...
-
CI2511 Entendiendo Modus Ponens
cchangt
980 views
Curso CI-2511: Lógica Simbólica, Universidad Simón Bolívar, Venezuela.
Explicación del teorema (3.77) del Libro de Texto : D. Gries. & F. Schneider (1994). A Logical App...
-
CI2511 Teorema (3.42) Contradicción
cchangt
466 views
Curso CI-2511: Lógica Simbólica, Universidad Simón Bolívar, Venezuela.
Demostración del teorema (3.42) del Libro de Texto : D. Gries. & F. Schneider (1994). A Logical Ap...
-
CI2511 Teorema Examen Enero-Marzo 2008
cchangt
387 views
Curso CI-2511: Lógica Simbólica, Universidad Simón Bolívar, Venezuela.
Demostración de un ejercicio del examen enero-marzo 2008. La demostración utiliza los teoremas del...
Advertisement
Play all(18)