3524Lógica simbólica y matemáticaPTesINDICES DE MATERIAS active approved Lógica simbólica y matemáticaCDU: 164
CDU: 510.6

]]>Lógica simbólica y matemáticaUF3525Lógica matemáticaNDUF3526Lógica universalNDUF3527SimbólicaNDBT3516Área 2. Representación del conocimiento y lógicaPTBT6919Área 01. Matemáticas generalesPTRT7060Cálculo de predicadosPTRT7061Cálculo lambdaPTRT7062Cálculo proposicionalPTRT7063Categorías (Matemáticas)PTRT7064Ciencias - MetodologíaPTRT7065Completitud, Teorema dePTRT7040Conjuntos admisiblesPTRT7043Conjuntos, Teoría axiomática dePTRT7066Decidibilidad (Lógica matemática)PTRT7067Definibilidad, Teoría de la (Lógica matemática)PTRT7068Demostración, Teoría de laPTRT7069Funciones de verdadPTRT7057Funciones recursivasPTRT7070Gödel, Teorema dePTRT7071Independencia (Matemáticas)PTRT7072Lenguajes infinitariosPTRT7073Lógica algebráicaPTRT7074Lógica combinatoriaPTRT7075Lógica de umbralPTRT1913PragmáticaPTRT7076Lógica matemática no clásicaPTRT7077Máquinas lógicasPTRT7078Matemáticas constructivasPTRT7079MetamatemáticaPTRT7080Modelos, Teoría dePTRT3528Álgebras cilíndricasPTRT7048Números cardinalesPTRT4413Álgebras poliádicasPTRT7017ProbabilidadesPTRT4415Lógica de primer ordenPTRT7081Programas y sistemas de programación - ExactitudPTRT7082RazonamientoPTRT3924MatemáticasPTRT3394Semántica (Filosofía)PTRT6926Conjuntos, Teoría dePTRT7083SilogismoPTRT7056Autómatas matemáticos, Teoría dePTRT7084Tipos, Teoría dePTRT7038Boole, Álgebra dePTRT7085Álgebra abstractaPT