Search Results - LOGICA FUNDAMENTOS
Suggested Topics within your search.
Suggested Topics within your search.
- Electrónica digital 13
- Circuitos lógicos 8
- Lógica simbólica y matemática 8
- Matemáticas 6
- Lenguajes de programación (Computadores electrónicos) 5
- Algoritmos 4
- Circuitos electrónicos 4
- Computadores electrónicos digitales 4
- Diseño de circuitos electrónicos 4
- Electrónica 4
- FUNDAMENTOS 4
- Microprocesadores 4
- Procesamiento electrónico de datos 4
- Sistemas electrónicos 4
- Teoría de conjuntos 4
- Álgebra 4
- Álgebra Booleana 4
- Automatización 3
- Circuitos integrados digitales 3
- Computadores 3
- Ecuaciones 3
- Programación (Computadores electrónicos) 3
- Administración 2
- CIRCUITOS LOGICOS 2
- Circuitos 2
- Circuitos integrados 2
- Circuitos neumáticos 2
- Diseño lógico 2
- ELECTRONICA DIGITAL 2
- Informática 2
-
1
Lógica /
Published 1976.Table of Contents: “…Teoría de la demostración -- teoría extensional del significado -- Teorías de la intensión y lógicas especiales -- El problema de los fundamentos de la matemática -- Lógica y ciencias empíricas -- Unicidad o pluralidad de lógicas?…”
Book -
2
-
3
-
4
-
5
-
6
Programación lógica :
Published 2007.Table of Contents: “…Una panorámica de la programación declarativa -- Sistemas formales, lógica y lenguajes de programación -- De la demostración automática a la programación lógica: introducción y métodos semánticos -- El principio de resolución de Robinson -- Programación lógica -- El lenguaje prolog: introducción -- El lenguaje prolog: aspectos avanzados -- Representación del conocimiento -- Resolución de problemas -- Programación lógica y tecnología software rigurosa -- Fundamentos y notaciones matemáticas…”
Book -
7
-
8
-
9
Sistemas digitales :
Published 2014.Table of Contents: “…Sistemas numéricos -- Compuertas lógicas -- Algebra de Boole -- lógica combinacional -- Lógica secuencial -- Memorias -- Fundamentos de microprocesadores…”
Book -
10
Lógica y argumentación :
Published c2009.Table of Contents: “…Lógica proposicional -- Lógica simbólica fundamentos de cálculo de predicados -- Demostración formal y álgebra de Boole…”
Book -
11
Lógica para informáticos /
Published ©2012.Table of Contents: “…Definición de la lógica proposicional -- Deducción en la lógica proposicional -- Definición de la lógica de primer orden -- Deducción de la lógica de primer orden -- Fundamentos de la programación lógica -- Ejercicios resueltos…”
Book -
12
-
13
Lógica simbólica para informáticos /
Published 2011.Table of Contents: “…Introducción a la lógica -- Lógica de proposiciones y predicados: Semántica, Cálculo axiomático y propiedades formales, Cálculo de deducción natural -- Extensiones y otras lógicas: extensiones de la lógica de predicados -- Otras lógicas: lógica clásica, multivalente, modal, temporal, intuicionista, no monótona -- Fundamentos matemáticos: conjuntos, relaciones y funciones, números naturales y principio de inducción matemática -- Notaciones para los operadores lógicos -- reglas de inferencia.…”
Book -
14
Introducción a la lógica simbólica /
Published ©1991.Table of Contents: “…Fundamentos -- Tablas de verdad -- La condicional -- Operadores adicionales -- Tautologías -- Falacias lógicas -- Cuantificadores y Circulos de Euler -- Naturaleza de una demostración -- Rompecabezas de lógica -- Circuitos lógicos…”
Book -
15
Nociones elementales de lógica jurídica :
Published 2012.Table of Contents: “…Concepto de lógica -- Importancia de la lógica -- Diferencia de la lógica con otras ciencias o disciplinas -- Principios lógicos -- Tipos de lógica -- Concepto, juicio y raciocinio -- Lógica de conjuntos -- Evolución histórica de la lógica -- Fundamentos de lógica jurídica -- Concepto e importancia de la lógica jurídica -- Relaciones entre lógica y derecho -- Evolución histórica de la lógica jurídica -- Teorías fundamentales de la lógica pura aplicadas a la lógica jurídica…”
Book -
16
-
17
-
18
Lógica y matemáticas discretas en la informática :
Published 2012.Table of Contents: “…Fundamentos del lenguaje matemático -- Sintaxis -- Sistemas formales -- Lógica de predicados y operatorias -- La lógica como lenguaje para modelar -- Conjuntos, relaciones y funciones -- Teoría de conjuntos -- Aritmética y combinatoria -- Teoría de relaciones.…”
Book -
19
-
20