Complejo de Bibliotecas y Archivos de Salta
A partir de esta página puede:
Materias
Refinar búsqueda
/ M. Morris Mano (1993) / 978-968-88036-1-5
Reserva
Reservar este documento
Ejemplares
| Estado |
|---|
| 004.4 M266 | Biblioteca Provincial Dr. Victorino de la Plaza | General | Disponible | |
/ Carmen Lucía González (2023) / 978-987-698-424-9
Combinados : Juego de mesa 8 + años [texto impreso] / Carmen Lucía González (1971-) . - 1a. ed. . - Salta : Mundo Gráfico Salta Editorial, 2023 . - 59 p. ; 21cm x 24 cm. + 1 Caja contiene: 144 fichas plastificadas + 2 dados + 1 Instructivo. ISBN : 978-987-698-424-9 Idioma : Español ( spa) | Clasificación: | Juegos de mesa
Mathematical logic
Mathematics
Play
Salta [Argentina. Provincia]
| | Clasificación: | S51 Matemáticas en literatura salteña | | Nota de contenido: | Sumas; Restas; Multiplicaciones; Divisiones; Sumas, restas, multiplicaciones y divisiones con paréntesis; Las cuatro operaciones , potencias y raíz; Suma y restas con fracciones y números decimales; Multiplicación y división con fracciones y números decimales; Las 4 operaciones con números mixtos, naturales y decimales, Ecuaciones; Desafíos matemáticos |
|  |
Reserva
Reservar este documento
Ejemplares
| Estado |
|---|
| I.51 G642 ej.2 | Biblioteca Provincial Dr. Victorino de la Plaza | Bib. Infantil | Disponible | |
| I.51 G642 ej.3 | Biblioteca Provincial Dr. Victorino de la Plaza | Bib. Infantil | Disponible | |
| (075)51 G642 ej.4 | Biblioteca Provincial Dr. Victorino de la Plaza | Biblioteca Pedagógica | Disponible | |
| S51 G642 | Biblioteca Provincial Dr. Victorino de la Plaza | Literatura salteña | Disponible | |
/ Alberto Moreno (1973)
Ejercicios de logica [texto impreso] / Alberto Moreno, Autor . - 2a. ed. . - Buenos Aires : Editorial Universitaria de Buenos Aires (EUDEBA), 1973 . - 115 p. ; 22 cm. Idioma : Español ( spa) | Clasificación: | Logic
Mathematical logic
| | Clasificación: | 16 Lógica | | Nota de contenido: | Primera parte: 1. Logica de enunciados -- 2. Análisis de los enunciados -- 3. Silogismo -- Segunda parte: Logica matematica -- 4. Clases -- 5. Lógica de enunciados .Tablas de verdad -- 6. Validez e invalidez -- 7. Axiomatization -- 8. Cuantificación -- 9. Validez con enunciados cuantificados -- 10. Relaciones. |
|
Reserva
Reservar este documento
Ejemplares
| Estado |
|---|
| 16 M835 | Biblioteca Provincial Dr. Victorino de la Plaza | General | Disponible | |
/ Calixto Badesa (2007) / 978-84-344-8777-2
Elementos de lógica formal [texto impreso] / Calixto Badesa ; Ignasi Jané ; Ramón Jansana . - 2a. ed. . - Barcelona : Ediciones Ariel, 2007 . - 381 p. ; 24 cm. ISBN : 978-84-344-8777-2 Idioma : Español ( spa) | Clasificación: | Logic
Mathematical logic
| | Clasificación: | 16 Lógica | | Nota de contenido: | Prólogo, Introducción -- Primera parte. Nociones de Teoría de Conjuntos: 1. El concepto de conjunto: El principio de extensionalidad. La relación de inclusión. El principio de separación; 2. Operaciones de conjunto: Las operaciones básicas. Complementación. El conjunto potencia. Uniones e intersecciones generalizadas. Sobre la existencia de conjuntos; 3. Relaciones: Introducción. Pares ordenados. Relaciones. clases de relaciones. Relaciones de equivalencia y particiones. Relaciones de orden. Suma y producto de órdenes lineales. Relaciones entre más de dos objetos; 4. Funciones: El concepto de función. Biyectabilidad. Isomorfismo. Operaciones en un conjunto; 5. Conjuntos finitos e infinitos: Los números naturales. El orden de los números naturales. Conjuntos finitos. Conjuntos infinitos -- Segunda parte. Lógica Proposicional: 6. Sintaxis de los lenguajes proposicionales: Introducción. El lenguaje de la lógica proposicional. Inducción para fórmulas; 7. Semántica de los lenguajes proposicionales: verdad con una asignación. Tautologías y contradicciones. El método de las tablas de verdad; 8. Equivalencia lógica: El concepto de equivalencia lógica. Eliminabilidad de conectivas; 9. Consecuencia lógica: Satisfacibilidad. Consecuencias lógicas; 10. Formas normales: De tablas de verdad a fórmulas. Formas normales. Sistemas completos de conectivas; 11. Lógica proposicional y lenguaje natural: Simbolización. Ejemplos de argumentación -- Tercera parte. Sintaxis de los lenguajes de primer orden: Introducción. Lenguajes de primer orden; 13. Semántica de los lenguajes de primer orden: Estructuras. Conceptos fundamentales. Simbolización. Verdad en una estructura: Definición. Conjuntos definibles en una estructura; 14. Verdad, equivalencia y consecuencia lógica: Verdad lógica. Equivalencia lógica. Consecuencia lógica; 15. Lógica de primer orden con símbolos funcionales: Introducción. Sintaxis. Semántica; 16. Cálculo deductivo: Introducción. El cálculo dedauctivo. Reglas derivadas. Algunos principios de deducibilidad; 17. Teorías y Modelos: Introducción y preliminares. El teorema de corrección. Conjuntos consistentes maximales. Teorías de Henkin y modelos canónicos. El teorema de completud. Aplicaciones. Teorías y axiomas. Definición de símbolos - Apéndices: Soluciones a los ejercicios señalados; Alfabeto griego |
| |
Reserva
Reservar este documento
Ejemplares
| Estado |
|---|
| 16 B133 | Biblioteca Provincial Dr. Victorino de la Plaza | General | Disponible | |
/ Jorge Bosch (1981)
Introducción al simbolismo lógico [texto impreso] / Jorge Bosch, Autor . - 9a. ed. . - Buenos Aires : Editorial Universitaria de Buenos Aires (EUDEBA), 1981 . - 86 p. ; 22 cm. Idioma : Español ( spa) | Clasificación: | Logic
Mathematical logic
Mathematics
Set theory
| | Clasificación: | 51 Matemáticas | | Nota de contenido: | Nociones elementales de lógica: Proposiciones y valores de verdad -- Representación simbólica de proposiciones -- Operaciones con proposiciones -- Valores de verdad de los resultados -- Las relaciones de implicación y de equivalencia -- Esquemas pr posicionales con una indeterminada -- Operadores:universal y existencial -- Esquemas con varias indeterminada -- Conjuntos: Esquemas y conjuntos -- Operaciones con conjuntos. |
|
Reserva
Reservar este documento
Ejemplares
| Estado |
|---|
| 51 B741 | Biblioteca Provincial Dr. Victorino de la Plaza | General | Disponible | |
| 51 B741 ej.2 | Biblioteca Provincial Dr. Victorino de la Plaza | General | Disponible | |
/ Patrick Suppes (2017) / 978-84-291-5150-3
Permalink
/ Morris R. Cohen (1973)
Permalink
/ Gregorio Klimovsky (2005)
Permalink
/ José Ferrater Mora (1967)
Permalink
/ Leopoldo Bertossi Durán (1995)
Permalink
/ Susana Englebert (1996) / 978-950-534-196-2
Permalink
/ Adrián Paenza (2012) / 978-950-07-4039-5
Permalink
/ Enrique L. Dóriga (1986) / 978-84-254-1549-4
Permalink
/ Carlo Frabetti (1982) / 978-84-02-08914-4
Permalink
/ Hebe T. Rabuffetti (1989) / 978-950-02-5286-7
Permalink
> 2 Ciencia * > 2.15 Matemáticas y estadística > Matemáticas > Lógica matemática 
Robótica
