Diferencias

Muestra las diferencias entre dos versiones de la página.

Enlace a la vista de comparación

materias:laogica-cs [2013/11/07 09:17]
alexvalencia [Información Básica]
materias:laogica-cs [2013/11/08 11:28] (actual)
alexvalencia [Información Básica]
Línea 7: Línea 7:
   * Prerequisitos: Matemáticas Discretas para Computación (300MAG031)   * Prerequisitos: Matemáticas Discretas para Computación (300MAG031)
   * Tipo de curso: Núcleo de Formación Fundamental.   * Tipo de curso: Núcleo de Formación Fundamental.
 +  /* Syllabus válido 2011-1*/
 ===== Descripción del Curso  ===== ===== Descripción del Curso  =====
 Logic provides the machinery needed to check whether a given argument follows from a given set of premises. It allows us to formally prove whether a statement is //true// or not.   Logic provides the machinery needed to check whether a given argument follows from a given set of premises. It allows us to formally prove whether a statement is //true// or not.  
 
materias/laogica-cs.txt · Última modificación: 2013/11/08 11:28 por alexvalencia
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki