Introducción a la lógica simbólica
Tipo de material: TextoDetalles de publicación: México, D. F. Continental 1966Edición: 1° edDescripción: 378 pTema(s):
Contenidos:
Los conectivos oracionales.
Teoría oracional de la inferencia.
Representación simbólica del lenguaje cotidiano.
Teoría general de la inferencia.
Otras reglas de inferencia.
Apostilla sobre el uso y la mención.
Transición de las demostraciones formales a las informales.
Teoría de la definición.
Conjuntos.
Relaciones.
Funciones.
Fundamentación sinforemática del método axiomático.
Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|
Libro | Biblioteca Dr. Jorge S. Muntaner Coll | 164 SUP (Navegar estantería(Abre debajo)) | Disponible | 009778 |
Navegando Biblioteca Dr. Jorge S. Muntaner Coll estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
62(035) HEN Fundamentos de ingeniería del transporte carreteras - aeropuertos - ferrocarriles - canales - puertos - tuberías - cintas transportadoras | 531.3 HUA v.2 Mecánica para ingenieros Dinámica | 621.791 RUI Inspección radiográfica de las uniones soldadas | 164 SUP Introducción a la lógica simbólica | 621.38 MIL Electrónica | 330 DUE Análisis económico | 004.41 LAN Teoría de los sistemas de información |
La obra está organizada en dos partes: I) Principios de inferencia y definición; II) Teoría elemental intuitiva de los conjuntos.
Índice alfabético p. 373-378.
Los conectivos oracionales.
Teoría oracional de la inferencia.
Representación simbólica del lenguaje cotidiano.
Teoría general de la inferencia.
Otras reglas de inferencia.
Apostilla sobre el uso y la mención.
Transición de las demostraciones formales a las informales.
Teoría de la definición.
Conjuntos.
Relaciones.
Funciones.
Fundamentación sinforemática del método axiomático.
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.