Construcción de nuevos ejemplos de lógica epistémica para S4n por medio del método tableaux / Elkin Triana Mota ; directora Luz Amparo Carranza ; asesor Gustavo Andres Campos Avendaño

By: Triana Mora, ElkinContributor(s): Campos Avendaño, Gustavo Andres [asesor] | Carranza, Luz Amparo [directora]Language: Spanish Publisher: Bogotá : s.n., 2016Description: 47 h. : il. ; CD-ROMSubject(s): ALGORITMOS | AXIOMAS | LOGICA MATEMATICA | MODALIDAD (MATEMATICA) | OPERACIONES MATEMATICAS | SEMANTICA | SINTAXIS | TESISDDC classification: 511.3
Contents:
Contiene acta de sustentación
Dissertation note: Tesis (Matemático) Fundación Universitaria Konrad Lorenz. Facultad de Matemáticas e Ingenierías, 2016
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Copy number Status Notes Date due Barcode
Tesis Tesis Biblioteca Juan Alberto Aragón Bateman
Multimedia T 511.3 / T741 (Browse shelf) Ej. 1 Available Material Acompañante CD0190

Tesis (Matemático) Fundación Universitaria Konrad Lorenz. Facultad de Matemáticas e Ingenierías, 2016

Contiene acta de sustentación

There are no comments on this title.

to post a comment.
  • Síganos en

Tel: (+57 1) 347 23 11 Carrera 9 Bis No. 62 - 43 Bogotá - Colombia eMail: info@konradlorenz.edu.co Rutas de acceso a la universidad (Google Maps) Carácter académico: Institución Universitaria. Personería Jurídica por Resolución 18537 del 4 de noviembre de 1981 del Ministerio de Educación Nacional. Institución de Educación Superior sujeta a inspección y vigilancia por el Ministerio de Educación Nacional (Art. 2.5.3.2.10.2, Decreto 1075 de 2015).
Vigilada Mineducación