Lógica simbólica / Irving M. Copi ; Traducción Andrés Sestier Boulier
Por: Copi, Irving M [autor]
Colaborador(es): Sestier Boulier, Andrés [traductor]
Tipo de material:
TextoEditor: México : Patria , 2009Edición: 2a ediciónDescripción: 407 páginas ; 23 cmISBN: 9789682601347Títulos uniformes: Symbolic Logic español Tema(s): LÓGICA, SIMBOLICA Y MATEMÁTICA | INTELIGENCIA ARTIFICIALClasificación LoC:BC135 | C6718 2009
Contenidos:
Lógica y lenguaje. Argumentos que contienen enunciados compuestos. El método de la deducción. Funciones proposicionales y cuantificadores. La lógica de las relaciones. Sistemas deductivo. Un cálculo proposicional. Sistemas y notaciones alternativos. Un cálculo funcional de primer orden.
| Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|
Libro
|
Plantel Chalco | BC135 C6718 2009 (Navegar estantería(Abre debajo)) | 1 | Disponible | 21 001142 | |
|
Libro
|
Plantel Chalco | BC135 C6718 2009 (Navegar estantería(Abre debajo)) | 2 | Disponible | 21 001143 |
Vigésima sexta reimpresión.
Indice alfabético.
Lógica y lenguaje. Argumentos que contienen enunciados compuestos. El método de la deducción. Funciones proposicionales y cuantificadores. La lógica de las relaciones. Sistemas deductivo. Un cálculo proposicional. Sistemas y notaciones alternativos. Un cálculo funcional de primer orden.
Plan UNAM / Preparatoria / Lógica (1404-2) / (21 001142, 21 001143)
No hay comentarios en este titulo.