Indexaxión 511.3
511 Principios generales de las matemáticasDocumentos en la biblioteca con la clasificación 511.3 (26)
Hacer una sugerencia Refinar búsqueda23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / Goubault-Larrecq, Jean ; König, Barbara
Título : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings Tipo de documento: documento electrónico Autores: Goubault-Larrecq, Jean, ; König, Barbara, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XV, 644 p. 1 ilustraciones ISBN/ISSN/DL: 978-3-030-45231-5 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Lógica matemática Informática Matemáticas discretas Compiladores (programas informáticos) Programación de computadoras Programación lógica Ingeniería Informática Red de computadoras Lógica Matemática y Fundamentos Matemáticas discretas en informática Compiladores e intérpretes Técnicas de programación Lógica en IA Ingeniería Informática y Redes Índice Dewey: 511.3 Resumen: Este libro de acceso abierto constituye las actas de la 23.ª Conferencia Internacional sobre Fundamentos de la Ciencia del Software y Estructuras Computacionales, FOSSACS 2020, que tuvo lugar en Dublín, Irlanda, en abril de 2020, y se celebró como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica. of Software, ETAPS 2020. Los 31 artículos regulares presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 98 presentaciones. Los artículos cubren temas como lógica y modelos categóricos; teoría del lenguaje, autómatas y juegos; lógicas modales, espaciales y temporales; teoría de tipos y teoría de la prueba; teoría de concurrencia y cálculo de procesos; reescribir la teoría; semántica de lenguajes de programación; análisis, corrección, transformación y verificación de programas; lógicas de programación; especificación y refinamiento del software; modelos de sistemas concurrentes, reactivos, estocásticos, distribuidos, híbridos y móviles; modelos emergentes de computación; aspectos lógicos de la complejidad computacional; modelos de seguridad del software; y fundamentos lógicos de las bases de datos. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings [documento electrónico] / Goubault-Larrecq, Jean, ; König, Barbara, . - 1 ed. . - [s.l.] : Springer, 2020 . - XV, 644 p. 1 ilustraciones.
ISBN : 978-3-030-45231-5
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Lógica matemática Informática Matemáticas discretas Compiladores (programas informáticos) Programación de computadoras Programación lógica Ingeniería Informática Red de computadoras Lógica Matemática y Fundamentos Matemáticas discretas en informática Compiladores e intérpretes Técnicas de programación Lógica en IA Ingeniería Informática y Redes Índice Dewey: 511.3 Resumen: Este libro de acceso abierto constituye las actas de la 23.ª Conferencia Internacional sobre Fundamentos de la Ciencia del Software y Estructuras Computacionales, FOSSACS 2020, que tuvo lugar en Dublín, Irlanda, en abril de 2020, y se celebró como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica. of Software, ETAPS 2020. Los 31 artículos regulares presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 98 presentaciones. Los artículos cubren temas como lógica y modelos categóricos; teoría del lenguaje, autómatas y juegos; lógicas modales, espaciales y temporales; teoría de tipos y teoría de la prueba; teoría de concurrencia y cálculo de procesos; reescribir la teoría; semántica de lenguajes de programación; análisis, corrección, transformación y verificación de programas; lógicas de programación; especificación y refinamiento del software; modelos de sistemas concurrentes, reactivos, estocásticos, distribuidos, híbridos y móviles; modelos emergentes de computación; aspectos lógicos de la complejidad computacional; modelos de seguridad del software; y fundamentos lógicos de las bases de datos. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings Tipo de documento: documento electrónico Autores: Blackburn, Patrick, ; Lorini, Emiliano, ; Guo, Meiyun, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2019 Número de páginas: XXI, 441 p. 794 ilustraciones, 5 ilustraciones en color. ISBN/ISSN/DL: 978-3-662-60292-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Lógica matemática Teoría de las máquinas Programación lógica Compiladores (programas informáticos) Ciencias sociales Lógica Matemática y Fundamentos Lenguajes formales y teoría de los autómatas Lógica en IA Compiladores e intérpretes Aplicación informática en ciencias sociales y del comportamiento Índice Dewey: 511.3 Resumen: Este libro LNCS es parte de la serie de libros FOLLI y constituye las actas del Séptimo Taller Internacional sobre Lógica, Racionalidad e Interacción, LORI 2019, celebrado en Chongqing, China, en octubre de 2019. Los 31 artículos presentados en este libro fueron revisados cuidadosamente. y seleccionado entre 56 presentaciones. Se centran en los siguientes temas: agencia; argumentación y acuerdo; revisión de creencias y fusión de creencias; representación de creencias; cooperación; toma de decisiones y planificación; lenguaje natural; filosofía y lógica filosófica; y razonamiento estratégico. Nota de contenido: On the Right Path: A Modal Logic for Supervised Learning -- Elementary Iterated Revision and the Levi Identity -- Undefinability in inquisitive logic with tensor -- Minimal-change counterfactuals in intuitionistic logic -- Consolidation of Belief in Two Logics of Evidence -- From Classical to Non-Monotonic Deontic Logic using ASPIC+ -- A discrete representation of lattice frames -- Group Announcement Logic with Distributed Knowledge -- Towards a Logic for Conditional Local Strategic Reasoning -- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach -- The sequent systems and algebraic semantics of intuitionistic tense logics -- Weakly Aggregative Modal Logic: Characterization and Interpolation -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- Analyzing Echo Chambers: A Logic of Strong and Weak Ties -- Public Group Announcements and Trust in Doxastic Logic -- Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes -- Improving JudgmentReliability in Social Networks via Jury Theorems -- Term-Sequence-Modal Logics -- A Logical and Empirical Study of Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates -- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks -- A Two-layer Partition Awareness Structure -- First-Order Intuitionistic Epistemic Logic -- A Neutral Temporal Deontic STIT Logic -- Evaluating Networks of Arguments: A Case Study in Mimamsa Dialectics -- Who Should Be My Friends? Social Balance from the Perspective of Game Theory -- Epistemic Logic with Partial Dependency Operator -- Knowledge-now and Knowledge-all -- A Logic of Knowing How with Skippable Plans -- A Dynamic Hybrid Logic for Followership. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings [documento electrónico] / Blackburn, Patrick, ; Lorini, Emiliano, ; Guo, Meiyun, . - 1 ed. . - Berlin [Alemania] : Springer, 2019 . - XXI, 441 p. 794 ilustraciones, 5 ilustraciones en color.
ISBN : 978-3-662-60292-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Lógica matemática Teoría de las máquinas Programación lógica Compiladores (programas informáticos) Ciencias sociales Lógica Matemática y Fundamentos Lenguajes formales y teoría de los autómatas Lógica en IA Compiladores e intérpretes Aplicación informática en ciencias sociales y del comportamiento Índice Dewey: 511.3 Resumen: Este libro LNCS es parte de la serie de libros FOLLI y constituye las actas del Séptimo Taller Internacional sobre Lógica, Racionalidad e Interacción, LORI 2019, celebrado en Chongqing, China, en octubre de 2019. Los 31 artículos presentados en este libro fueron revisados cuidadosamente. y seleccionado entre 56 presentaciones. Se centran en los siguientes temas: agencia; argumentación y acuerdo; revisión de creencias y fusión de creencias; representación de creencias; cooperación; toma de decisiones y planificación; lenguaje natural; filosofía y lógica filosófica; y razonamiento estratégico. Nota de contenido: On the Right Path: A Modal Logic for Supervised Learning -- Elementary Iterated Revision and the Levi Identity -- Undefinability in inquisitive logic with tensor -- Minimal-change counterfactuals in intuitionistic logic -- Consolidation of Belief in Two Logics of Evidence -- From Classical to Non-Monotonic Deontic Logic using ASPIC+ -- A discrete representation of lattice frames -- Group Announcement Logic with Distributed Knowledge -- Towards a Logic for Conditional Local Strategic Reasoning -- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach -- The sequent systems and algebraic semantics of intuitionistic tense logics -- Weakly Aggregative Modal Logic: Characterization and Interpolation -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- Analyzing Echo Chambers: A Logic of Strong and Weak Ties -- Public Group Announcements and Trust in Doxastic Logic -- Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes -- Improving JudgmentReliability in Social Networks via Jury Theorems -- Term-Sequence-Modal Logics -- A Logical and Empirical Study of Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates -- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks -- A Two-layer Partition Awareness Structure -- First-Order Intuitionistic Epistemic Logic -- A Neutral Temporal Deontic STIT Logic -- Evaluating Networks of Arguments: A Case Study in Mimamsa Dialectics -- Who Should Be My Friends? Social Balance from the Perspective of Game Theory -- Epistemic Logic with Partial Dependency Operator -- Knowledge-now and Knowledge-all -- A Logic of Knowing How with Skippable Plans -- A Dynamic Hybrid Logic for Followership. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Advanced Topics in Relation Algebras : Relation Algebras, Volume 2 Tipo de documento: documento electrónico Autores: Givant, Steven, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIX, 605 p. ISBN/ISSN/DL: 978-3-319-65945-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Lógica matemática álgebra universal Lógica Matemática y Fundamentos Sistemas algebraicos generales Índice Dewey: 511.3 Resumen: El segundo volumen de un par de libros que trazan álgebras de relación desde el nivel principiante hasta el experto, este texto lleva al lector bien informado a las fronteras de la investigación. Basándose en las bases establecidas en la Introducción a las álgebras de relación anterior, este volumen lleva al lector a los resultados matemáticos más profundos de las últimas décadas. Este material ofrece una preparación ideal para la investigación en álgebras de relación y álgebras de Boole con operadores. Organizado de manera modular, este texto ofrece la oportunidad de explorar cualquiera de varias áreas en detalle; los temas incluyen extensiones canónicas, compleciones, representaciones, variedades y estructuras atómicas. Cada capítulo ofrece un relato completo de una de esas vías de desarrollo, incluida una sección histórica y una cantidad sustancial de ejercicios. La claridad de la exposición y la naturaleza integral de cada módulo hacen de este un texto ideal para el lector independiente que ingresa al campo, mientras que los investigadores lo valorarán como una referencia para los años venideros. Este libro de texto en dos volúmenes, que recopila, selecciona e ilustra más de 75 años de progreso desde el trabajo seminal de Tarski en 1941, ofrece un tratamiento unificado y emblemático del campo cada vez más relevante de las álgebras de relación. Una prosa clara y perspicaz guía al lector a través de material que anteriormente solo estaba disponible en artículos de revistas dispersos y altamente técnicos. Tanto los estudiantes como los expertos apreciarán la obra como libro de texto y como referencia invaluable para la comunidad. Tenga en cuenta que este volumen contiene numerosas referencias esenciales al volumen anterior, Introducción a las álgebras de relación. Se recomienda encarecidamente al lector que obtenga al menos acceso electrónico al primer libro para poder utilizar el segundo. Nota de contenido: Preface -- Introduction -- 14. Canonical Extensions -- 15. Completions -- 16. Representations -- 17. Representation Theorems -- 18. Varieties of Relation Algebras -- 19. Atom Structures -- Epilogue -- References -- Index. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Advanced Topics in Relation Algebras : Relation Algebras, Volume 2 [documento electrónico] / Givant, Steven, Autor . - 1 ed. . - [s.l.] : Springer, 2017 . - XIX, 605 p.
ISBN : 978-3-319-65945-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Lógica matemática álgebra universal Lógica Matemática y Fundamentos Sistemas algebraicos generales Índice Dewey: 511.3 Resumen: El segundo volumen de un par de libros que trazan álgebras de relación desde el nivel principiante hasta el experto, este texto lleva al lector bien informado a las fronteras de la investigación. Basándose en las bases establecidas en la Introducción a las álgebras de relación anterior, este volumen lleva al lector a los resultados matemáticos más profundos de las últimas décadas. Este material ofrece una preparación ideal para la investigación en álgebras de relación y álgebras de Boole con operadores. Organizado de manera modular, este texto ofrece la oportunidad de explorar cualquiera de varias áreas en detalle; los temas incluyen extensiones canónicas, compleciones, representaciones, variedades y estructuras atómicas. Cada capítulo ofrece un relato completo de una de esas vías de desarrollo, incluida una sección histórica y una cantidad sustancial de ejercicios. La claridad de la exposición y la naturaleza integral de cada módulo hacen de este un texto ideal para el lector independiente que ingresa al campo, mientras que los investigadores lo valorarán como una referencia para los años venideros. Este libro de texto en dos volúmenes, que recopila, selecciona e ilustra más de 75 años de progreso desde el trabajo seminal de Tarski en 1941, ofrece un tratamiento unificado y emblemático del campo cada vez más relevante de las álgebras de relación. Una prosa clara y perspicaz guía al lector a través de material que anteriormente solo estaba disponible en artículos de revistas dispersos y altamente técnicos. Tanto los estudiantes como los expertos apreciarán la obra como libro de texto y como referencia invaluable para la comunidad. Tenga en cuenta que este volumen contiene numerosas referencias esenciales al volumen anterior, Introducción a las álgebras de relación. Se recomienda encarecidamente al lector que obtenga al menos acceso electrónico al primer libro para poder utilizar el segundo. Nota de contenido: Preface -- Introduction -- 14. Canonical Extensions -- 15. Completions -- 16. Representations -- 17. Representation Theorems -- 18. Varieties of Relation Algebras -- 19. Atom Structures -- Epilogue -- References -- Index. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions Tipo de documento: documento electrónico Autores: Arai, Toshiyasu, ; Kikuchi, Makoto, ; Kuroda, Satoru, ; Okada, Mitsuhiro, ; Yorioka, Teruyuki, Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2021 Número de páginas: XI, 229 p. 10 ilustraciones ISBN/ISSN/DL: 978-981-1641732-- Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Lógica matemática Unidades aritméticas y lógicas informáticas Informática Lógica Matemáticas Lógica Matemática y Fundamentos Estructuras aritméticas y lógicas Matemáticas de la Computación Filosofía de las Matemáticas Índice Dewey: 511.3 Resumen: Gaisi Takeuti fue uno de los lógicos más brillantes, genios e influyentes del siglo XX. Fue profesor durante mucho tiempo y profesor emérito de matemáticas en la Universidad de Illinois en Urbana-Champaign, EE. UU., antes de fallecer el 10 de mayo de 2017, a la edad de 91 años. Takeuti fue uno de los fundadores de la teoría de la prueba. Rama de la lógica matemática que se originó a partir del programa de Hilbert sobre la consistencia de las matemáticas. Basado en los trabajos pioneros de teoría de la prueba de Gentzen en la década de 1930, propuso una conjetura en 1953 sobre la naturaleza esencial de las pruebas formales de la lógica de orden superior ahora conocida como conjetura fundamental de Takeuti y de la cual dio una solución positiva parcial. Sus argumentos sobre la teoría de las conjeturas y la prueba en general han tenido gran influencia en los desarrollos posteriores de la lógica matemática, la filosofía de las matemáticas y las aplicaciones de la lógica matemática a la informática teórica. El trabajo de Takeuti abarcó todo el espectro de la lógica matemática, incluida la teoría de conjuntos, la teoría de la computabilidad, el análisis de valores booleanos, la lógica difusa, la aritmética acotada y la informática teórica. Escribió muchas monografías y libros de texto tanto en inglés como en japonés, y su monumental monografía Proof Theory, publicada en 1975, ha sido durante mucho tiempo una referencia estándar de la teoría de la prueba. Tenía una amplia gama de intereses que cubrían prácticamente todas las áreas de las matemáticas y se extendían hasta la física. Sus publicaciones incluyen muchos libros japoneses para estudiantes y lectores en general sobre lógica matemática, matemáticas en general y conexiones entre matemáticas y física, así como muchos ensayos para revistas científicas japonesas. Este volumen es una colección de artículos basados en el Simposio sobre avances en lógica matemática 2018. El simposio se celebró del 18 al 20 de septiembre de 2018 en la Universidad de Kobe, Japón, y estuvo dedicado a la memoria del profesor Gaisi Takeuti. Nota de contenido: S. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem -- D. Ikegami and N. Trang, On supercompactness of ω1 -- S. Iwata, Interpolation properties for Sacchetti's logics -- T. Kurahashi, Rosser provability and the second incompleteness theorem -- H. Kurokawa, On Takeuti's early view of the concept of set -- Yo Matsubara and T. Usuba, On Countable Stationary Towers -- M. Ozawa, Reforming Takeuti's Quantum Set Theory to Satisfy De Morgan's Laws -- T. Usuba, Choiceless Lowenheim-Skolem property and uniform definability of grounds -- M. Yasugi, Y. Tsujii, T. Mori, Irrational-based computability of functions -- M. Yasugi, "Gaisi Takeuti's finitist standpoint" and its mathematical embodiment -- Y. Yoshinobu, Properness under closed forcing. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions [documento electrónico] / Arai, Toshiyasu, ; Kikuchi, Makoto, ; Kuroda, Satoru, ; Okada, Mitsuhiro, ; Yorioka, Teruyuki, . - 1 ed. . - Singapore [Malasya] : Springer, 2021 . - XI, 229 p. 10 ilustraciones.
ISBN : 978-981-1641732--
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Lógica matemática Unidades aritméticas y lógicas informáticas Informática Lógica Matemáticas Lógica Matemática y Fundamentos Estructuras aritméticas y lógicas Matemáticas de la Computación Filosofía de las Matemáticas Índice Dewey: 511.3 Resumen: Gaisi Takeuti fue uno de los lógicos más brillantes, genios e influyentes del siglo XX. Fue profesor durante mucho tiempo y profesor emérito de matemáticas en la Universidad de Illinois en Urbana-Champaign, EE. UU., antes de fallecer el 10 de mayo de 2017, a la edad de 91 años. Takeuti fue uno de los fundadores de la teoría de la prueba. Rama de la lógica matemática que se originó a partir del programa de Hilbert sobre la consistencia de las matemáticas. Basado en los trabajos pioneros de teoría de la prueba de Gentzen en la década de 1930, propuso una conjetura en 1953 sobre la naturaleza esencial de las pruebas formales de la lógica de orden superior ahora conocida como conjetura fundamental de Takeuti y de la cual dio una solución positiva parcial. Sus argumentos sobre la teoría de las conjeturas y la prueba en general han tenido gran influencia en los desarrollos posteriores de la lógica matemática, la filosofía de las matemáticas y las aplicaciones de la lógica matemática a la informática teórica. El trabajo de Takeuti abarcó todo el espectro de la lógica matemática, incluida la teoría de conjuntos, la teoría de la computabilidad, el análisis de valores booleanos, la lógica difusa, la aritmética acotada y la informática teórica. Escribió muchas monografías y libros de texto tanto en inglés como en japonés, y su monumental monografía Proof Theory, publicada en 1975, ha sido durante mucho tiempo una referencia estándar de la teoría de la prueba. Tenía una amplia gama de intereses que cubrían prácticamente todas las áreas de las matemáticas y se extendían hasta la física. Sus publicaciones incluyen muchos libros japoneses para estudiantes y lectores en general sobre lógica matemática, matemáticas en general y conexiones entre matemáticas y física, así como muchos ensayos para revistas científicas japonesas. Este volumen es una colección de artículos basados en el Simposio sobre avances en lógica matemática 2018. El simposio se celebró del 18 al 20 de septiembre de 2018 en la Universidad de Kobe, Japón, y estuvo dedicado a la memoria del profesor Gaisi Takeuti. Nota de contenido: S. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem -- D. Ikegami and N. Trang, On supercompactness of ω1 -- S. Iwata, Interpolation properties for Sacchetti's logics -- T. Kurahashi, Rosser provability and the second incompleteness theorem -- H. Kurokawa, On Takeuti's early view of the concept of set -- Yo Matsubara and T. Usuba, On Countable Stationary Towers -- M. Ozawa, Reforming Takeuti's Quantum Set Theory to Satisfy De Morgan's Laws -- T. Usuba, Choiceless Lowenheim-Skolem property and uniform definability of grounds -- M. Yasugi, Y. Tsujii, T. Mori, Irrational-based computability of functions -- M. Yasugi, "Gaisi Takeuti's finitist standpoint" and its mathematical embodiment -- Y. Yoshinobu, Properness under closed forcing. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : An Invitation to Abstract Mathematics Tipo de documento: documento electrónico Autores: Bajnok, Béla, Autor Mención de edición: 2 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVI, 442 p. 99 ilustraciones ISBN/ISSN/DL: 978-3-030-56174-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Lógica matemática Álgebra Análisis matemático Matemáticas Historia Lógica Matemática y Fundamentos Análisis Historia de las Ciencias Matemáticas Índice Dewey: 511.3 Resumen: Este libro de texto de pregrado promueve una transición activa a las matemáticas superiores. La resolución de problemas es el corazón y el alma de este libro: cada problema se elige cuidadosamente para demostrar, dilucidar o ampliar un concepto. Más de 300 ejercicios involucran al lector en extensos argumentos y enfoques creativos, mientras explora conexiones entre temas matemáticos fundamentales. Dividido en cuatro partes, este libro comienza con una exploración lúdica de los componentes básicos de las matemáticas, como definiciones, axiomas y demostraciones. A continuación se realiza un estudio de los conceptos fundamentales de lógica, conjuntos y funciones, antes de centrarse en los métodos de prueba. Habiendo cubierto el núcleo de un curso de transición, el autor continúa presentando una selección de temas avanzados que ofrecen oportunidades de extensión o estudio adicional. En todo momento, los apéndices abordan perspectivas históricas, tendencias actuales y preguntas abiertas, mostrando las matemáticas como una empresa humana vibrante y dinámica. Esta segunda edición ha sido reorganizada para reflejar mejor el diseño y el plan de estudios de los cursos de transición estándar. También presenta desarrollos recientes y apéndices mejorados. Una invitación a las matemáticas abstractas es ideal para aquellos que buscan una transición desafiante y atractiva a las matemáticas avanzadas, y atraerá tanto a estudiantes universitarios con especialización en matemáticas como a estudiantes no especializados en matemáticas interesados en explorar conceptos de nivel superior. De reseñas de la primera edición: el nuevo libro de Bajnok realmente invita a los estudiantes a disfrutar de la belleza, el poder y el desafío de las matemáticas abstractas. … El libro puede usarse como texto para cursos tradicionales de transición o estructura… pero dado que Bajnok invita a todos los estudiantes, no sólo a los estudiantes de matemáticas, a disfrutar del tema, asume muy pocos conocimientos previos. Jill Dietz, MAA Reseñas El estilo de escritura es cuidadoso, pero alegremente entusiasta…. La actitud clara del autor es que las matemáticas consisten en la resolución de problemas y que escribir una demostración entra en esta categoría. Por lo tanto, los estudiantes de matemáticas están involucrados en la resolución de problemas y se les deben dar problemas para resolver, en lugar de problemas para imitar. El autor atribuye este enfoque a su origen húngaro... y anima a los estudiantes a aceptar el desafío de la misma manera que un atleta realiza una práctica vigorosa. John Perry, zbMATEMÁTICAS. Nota de contenido: Preface to Instructors -- Preface to Students -- Acknowledgments -- I What's Mathematics -- 1 Let's Play a Game! -- 2 What's the Name of the Game? -- 3 How to Make a Statement -- 4 What's True in Mathematics? -- A Ten Famous Conjectures.-B Ten Famous Theorems -- II The Foundations of Mathematics -- 5 Let's Be Logical! -- 6 Setting Examples -- 7 Quantifier Mechanics -- 8 Let's Be Functional! -- C The Foundations of Set Theory -- III How to Prove It -- 9 Universal Proofs -- 10 The Domino Theory -- 11 More Domino Games -- 12 Existential Proofs -- D Ten Famous Problems -- IV Advanced Math for Beginners -- 13 Mathematical Structures -- 14 Working in the Fields (and Other Structures) -- 15 Group Work -- 16 Good Relations -- 17 Order, Please! -- 18 Now That's the Limit! -- 19 Sizing It Up -- 20 Infinite Delights -- 21 Number Systems Systematically -- 22 Games Are Valuable! -- E Graphic Content -- F All Games Considered -- G A Top Forty List of Math Theorems. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i An Invitation to Abstract Mathematics [documento electrónico] / Bajnok, Béla, Autor . - 2 ed. . - [s.l.] : Springer, 2020 . - XVI, 442 p. 99 ilustraciones.
ISBN : 978-3-030-56174-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Lógica matemática Álgebra Análisis matemático Matemáticas Historia Lógica Matemática y Fundamentos Análisis Historia de las Ciencias Matemáticas Índice Dewey: 511.3 Resumen: Este libro de texto de pregrado promueve una transición activa a las matemáticas superiores. La resolución de problemas es el corazón y el alma de este libro: cada problema se elige cuidadosamente para demostrar, dilucidar o ampliar un concepto. Más de 300 ejercicios involucran al lector en extensos argumentos y enfoques creativos, mientras explora conexiones entre temas matemáticos fundamentales. Dividido en cuatro partes, este libro comienza con una exploración lúdica de los componentes básicos de las matemáticas, como definiciones, axiomas y demostraciones. A continuación se realiza un estudio de los conceptos fundamentales de lógica, conjuntos y funciones, antes de centrarse en los métodos de prueba. Habiendo cubierto el núcleo de un curso de transición, el autor continúa presentando una selección de temas avanzados que ofrecen oportunidades de extensión o estudio adicional. En todo momento, los apéndices abordan perspectivas históricas, tendencias actuales y preguntas abiertas, mostrando las matemáticas como una empresa humana vibrante y dinámica. Esta segunda edición ha sido reorganizada para reflejar mejor el diseño y el plan de estudios de los cursos de transición estándar. También presenta desarrollos recientes y apéndices mejorados. Una invitación a las matemáticas abstractas es ideal para aquellos que buscan una transición desafiante y atractiva a las matemáticas avanzadas, y atraerá tanto a estudiantes universitarios con especialización en matemáticas como a estudiantes no especializados en matemáticas interesados en explorar conceptos de nivel superior. De reseñas de la primera edición: el nuevo libro de Bajnok realmente invita a los estudiantes a disfrutar de la belleza, el poder y el desafío de las matemáticas abstractas. … El libro puede usarse como texto para cursos tradicionales de transición o estructura… pero dado que Bajnok invita a todos los estudiantes, no sólo a los estudiantes de matemáticas, a disfrutar del tema, asume muy pocos conocimientos previos. Jill Dietz, MAA Reseñas El estilo de escritura es cuidadoso, pero alegremente entusiasta…. La actitud clara del autor es que las matemáticas consisten en la resolución de problemas y que escribir una demostración entra en esta categoría. Por lo tanto, los estudiantes de matemáticas están involucrados en la resolución de problemas y se les deben dar problemas para resolver, en lugar de problemas para imitar. El autor atribuye este enfoque a su origen húngaro... y anima a los estudiantes a aceptar el desafío de la misma manera que un atleta realiza una práctica vigorosa. John Perry, zbMATEMÁTICAS. Nota de contenido: Preface to Instructors -- Preface to Students -- Acknowledgments -- I What's Mathematics -- 1 Let's Play a Game! -- 2 What's the Name of the Game? -- 3 How to Make a Statement -- 4 What's True in Mathematics? -- A Ten Famous Conjectures.-B Ten Famous Theorems -- II The Foundations of Mathematics -- 5 Let's Be Logical! -- 6 Setting Examples -- 7 Quantifier Mechanics -- 8 Let's Be Functional! -- C The Foundations of Set Theory -- III How to Prove It -- 9 Universal Proofs -- 10 The Domino Theory -- 11 More Domino Games -- 12 Existential Proofs -- D Ten Famous Problems -- IV Advanced Math for Beginners -- 13 Mathematical Structures -- 14 Working in the Fields (and Other Structures) -- 15 Group Work -- 16 Good Relations -- 17 Order, Please! -- 18 Now That's the Limit! -- 19 Sizing It Up -- 20 Infinite Delights -- 21 Number Systems Systematically -- 22 Games Are Valuable! -- E Graphic Content -- F All Games Considered -- G A Top Forty List of Math Theorems. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
