Lógica y lenguajes formales/1 : Lenguaje, conjuntos y estructuras

By: Material type: TextTextSeries: Bibliotecas UniversitariasPublication details: Buenos Aires : Centro Editor de América Latina , 1986Edition: 1aISBN:
  • 9502513150
Subject(s):
Contents:
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
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)

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.

to post a comment.

Powered by Koha