Mostrando las entradas con la etiqueta Lógica simbólica y matemática. Mostrar todas las entradas
Mostrando las entradas con la etiqueta Lógica simbólica y matemática. Mostrar todas las entradas

jueves, 6 de septiembre de 2018

Teoría y problemas de variables reales : teoría y 375 problemas resueltos

Una de las contribuciones más importantes al análisis matemático moderno es la teoría de la medida y la integración desarrollada de Henri Lebesgue en los primeros años del siglo X. La medida y la integración de Lebesgue tienen muchas ventajas sobre la integración ordinaria de Riemann ya sea desde el punto de vista de las aplicaciones o de la teoría. Es en parte indispensable en los fundamentos de varios campos de la matemática, como la teoría de las probabilidades y la estadística y las series de Fourier.
En los últimos, la teoría de Lebesgue ha venido a ser parte esencial del curso tradicional de la teoría de funciones de una variable real, que por brevedad también se llama análisis de variables reales. Este libro se propone dar los fundamentos de la medida y de la integración de Lebesgue junto con los aspectos importantes de la teoría de las variables reales que se necesitan para entenderlas.

Autor: Murray S. Spiegel

Publicación: Cali : McGraw Hill Interamericana, 1976

Este libro es una nueva adquisición del Sistema de Bibliotecas, y desde ahora puede ser consultado en la Biblioteca del Carmen de Viboral, Colección general, 515.8/S755te



viernes, 23 de marzo de 2018

An introduction to symbolic logic

Symbolic logic begins with a detailed discussion of the propositional calculus, which, although it is not intrinsically interesting, provides an ideal introduction to the basic concepts of logic in a fairly simple setting. This book differs from most texts in logic in that the general approach is semantical. I feel that the student cannot really understand what a deductive system of logic is all about unless the concepts of a valid sentence and of a set of sentences implying  another sentence are discussed first. These concepts provide the rationale for the construction of a system of derivations. Although their definitions in the propositional calculus are relatively simple, those in the predicate calculus are much more complex. Since the student is less likely to be confused by the complexity of the definitions if he already has a rough idea of what concepts are being defined, it is best to introduce the concepts in the simpler setting of the propositional calculus.

Autor(a): Pollock, John L. 

Publicación: Nueva York: Holt Rinehart and Winston, 1969.

Este libro es una nueva adquisición del Sistema de Bibliotecas, y desde ahora puede ser consultado en la Biblioteca del Carmen de Viboral, Colección general  511.3/P776

jueves, 15 de febrero de 2018

Syllabus de lógica simbólica


Las soluciones de los problemas de lógica han de ser simples, puesto que establecen el patrón de la simplicidad. 
Los hombres siempre tuvieron el presentimiento de que debía existir un reino en el cual las respuestas a las preguntas estuvieran simétricamente combinadas –a priori-  para formas un sistema autocontenido.
Un reino sometido a la ley simplez sigillumveri.

Autor: Battistella, Ernesto H.

Publicación: Bogotá: Editorial Voluntad, 1970. 

Este libro es una nueva adquisición del Sistema de Bibliotecas, y desde ahora puede ser consultado en la Biblioteca del Carmen de Viboral, Colección general,  511.3/B336s