Su navegador parece tener JavaScript deshabilitado. Para la mejor experiencia en nuestro sitio, asegúrese de habilitar JavaScript en su navegador.
stdClass Object ( [type] => Magento\Framework\Phrase Object ( [text:Magento\Framework\Phrase:private] => Absolute page count [arguments:Magento\Framework\Phrase:private] => Array ( ) ) [typeonixlist] => 23 [value] => 207 [extentunit] => Magento\Framework\Phrase Object ( [text:Magento\Framework\Phrase:private] => Pages [arguments:Magento\Framework\Phrase:private] => Array ( ) ) [extentunitonixlist] => 24 )
Prefacio 1. Introducción 1.1 Sobre los razonamientos 1.2 Sobre la justificación 1.3 Sobre el lenguaje 1.4 Sistemas lógicos 1.5 Ejercicios 2. Lógica proposicional 2.1 Traducción: lenguaje natural y lenguaje formal 2.2 Métodos de comprobación semánticos 2.3 Deducción natural 2.4 Ejercicios 3. Lógica proposicional 3.1 Limitaciones de la semántica de LPC 3.2 Sistemas extensionales e intencionales 3.3 Sintaxis 3.4 Semántica 3.5 Otros tipos de limitaciones 3.6 Ejercicios 4. Lógica de predicados 4.1 Sintaxis 4.2 Semántica 4.3 Deducción natural 4.4 Ejercicios 5. Teoría de conjuntos 5.1 Operaciones básicas entre conjuntos 5.2 Productos cartesianos 5.3 Relaciones 5.4 Funciones 5.5 Paradojas de la teoría de conjuntos Bibliografía Índice alfabético Solución a ejercicios seleccionados
Empezando $0
Empezando $49.600
Empezando $58.000
Empezando $35.000
Empezando $69.000
Empezando $118.000
Empezando $48.000
Empezando $63.000
Empezando $120.000
Empezando $40.000
Empezando $60.000
Empezando $57.000
Empezando $68.000
Empezando $46.000
Empezando $42.000
Empezando $64.000