Local cover image
Local cover image

Lógica formal y lógica matemática : un texto-guía / Juan Carlos Sarmiento Reyes.

By: Material type: TextTextLanguage: Spanish Series: Cuadernos del CIDSPublication details: Bogotá : Universidad Externado de Colombia. Centro de investigación sobre dinámica social, 2018.Edition: Primera ediciónDescription: 160 páginas : ilustraciones, gráficas ; 24 cmContent type:
  • texto
Media type:
  • sin medio
Carrier type:
  • volumen
ISBN:
  • 9789587728972
Subject(s): DDC classification:
  • 21 511.3 S246 2018
Contents:
1. El lenguaje y sus funciones: a. El origen de las lógicas no ortodoxas: la paradoja de Russell y la lógica paraconsistente. -- b. Los usos del lenguaje: explicaciones -- 2. Lógica de términos -- 3. La lógica matemática: a. La representación de las proposiciones, su negación, sus conectores y sus agrupaciones en la lógica matemática proposicional -- b. Las tablas de verdad -- c. El análisis de certeza -- d. Las inferencias tautológicas -- e. Los dilemas -- f. Las demostraciones inferenciales -- g. Las equivalencias tautológicas -- h. Las demostraciones mixtas -- 4. La lógica de la ciencia: a. Los propósitos de las ciencias nomotéticas -- b. Los productos de las ciencias nomotéticas -- 5. Algunas lecturas complementarias: lógicas alternativas y otros asuntos.
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)
Holdings
Item type Current library Collection Call number Materials specified Copy number Status Notes Date due Barcode
Libros Libros Biblioteca Alba Lucia Corredor Gómez (Medellín) General 511.3 S246 2018 (Browse shelf(Opens below)) Ej. 1 Available 503755975
Libro de Reserva Libro de Reserva Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) Reserva 511.3 S246 2018 (Browse shelf(Opens below)) Ej. 1 Available Colección 3, Isla 9, Lado B, Módulo 1 301255775
Libros Libros Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) General 511.3 S246 2018 (Browse shelf(Opens below)) Ej. 2 Available Colección 3, Isla 9, Lado B, Módulo 1 301255776
Libros Libros Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) General 511.3 S246 2018 (Browse shelf(Opens below)) Ej. 3 Available Colección 3, Isla 9, Lado B, Módulo 1 301255777
Libros Libros Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) General 511.3 S246 2018 (Browse shelf(Opens below)) Ej. 4 Available Colección 3, Isla 9, Lado B, Módulo 1 301255778
Libros Libros Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) General 511.3 S246 2018 (Browse shelf(Opens below)) Ej. 5 Available Colección 3, Isla 9, Lado B, Módulo 1 301255779

1. El lenguaje y sus funciones: a. El origen de las lógicas no ortodoxas: la paradoja de Russell y la lógica paraconsistente. -- b. Los usos del lenguaje: explicaciones -- 2. Lógica de términos -- 3. La lógica matemática: a. La representación de las proposiciones, su negación, sus conectores y sus agrupaciones en la lógica matemática proposicional -- b. Las tablas de verdad -- c. El análisis de certeza -- d. Las inferencias tautológicas -- e. Los dilemas -- f. Las demostraciones inferenciales -- g. Las equivalencias tautológicas -- h. Las demostraciones mixtas -- 4. La lógica de la ciencia: a. Los propósitos de las ciencias nomotéticas -- b. Los productos de las ciencias nomotéticas -- 5. Algunas lecturas complementarias: lógicas alternativas y otros asuntos.

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer

Local cover image
Sistema Koha- Metabiblioteca |