Lógica y lenguajes formales/1 : Lenguaje, conjuntos y estructuras
Material type:
- 9502513150
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
Biblioteca Escuela Anexa | 16 LUN (Browse shelf(Opens below)) | Available | DGR-LIB-16252 |
Browsing Biblioteca Escuela Anexa shelves Close shelf browser (Hides shelf browser)
Inv bib 25325
La naturaleza de la lógica -- La lógica como "ciencia" del razonamiento -- La evolución de la lógica formal -- El punto de vista lingüístico -- La necesidad de los lenguajes formales -- Divisiones de la lógica -- El carácter científico de la lógica -- Lenguaje y lógica -- Categorías de un lenguaje formal: símbolos. Nombres, predicados y operadores. Reducciones y notación. Símbolos lógicos. Eliminación -- Términos y fórmulas -- Estrctura y dimensiones de un lenguaje formal: Organización de un lenguaje formal. Dimensiones lingüísticas. Lenguaje y metalenguaje. Acepciones de "lenguaje" -- El orden de una entifaf lingüística -- El lenguaje lógico puro -- Teoría de clases y relaciones: Generalidades sobre clases. Leyes de la teoría de conjuntos. Familias de clases. Relaciones. Órdenes y equivalencias. Funciones. Números naturales. -- Las paradojas -- Tipos lógicos
There are no comments on this title.