Lógica formal y lógica matemática : un texto-guía / Juan Carlos Sarmiento Reyes.
Material type: TextLanguage: 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
- sin medio
- volumen
- 9789587728972
- 21 511.3 S246 2018
Item type | Current library | Collection | Call number | Materials specified | Copy number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|---|
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 | 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 | 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 | 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 | 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 | 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 |
Browsing Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) shelves, Collection: Reserva Close shelf browser (Hides shelf browser)
511.3 J719 2004 Matemáticas discretas / | 511.3 J719 2004 Matemáticas discretas / | 511.3 L687 2008 Lógica matemática para informáticos ejercicios resueltos / | 511.3 S246 2018 Lógica formal y lógica matemática : un texto-guía / | 511.3 V419 2008 Matemáticas discretas : | 511.3 V867 2021 Matemática discreta con apoyo de software / | 511.6 M425 2007 Matemática discreta para los informáticos : ejercicios resueltos / |
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.