Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A Course on Basic Model Theory / / by Haimanti Sarbadhikari, Shashi Mohan Srivastava
| A Course on Basic Model Theory / / by Haimanti Sarbadhikari, Shashi Mohan Srivastava |
| Autore | Sarbadhikari Haimanti |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIX, 291 p.) |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Geometry, Algebraic Number theory Mathematical Logic and Foundations Algebraic Geometry Number Theory |
| ISBN | 981-10-5098-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Basic Introductory Concepts -- Chapter 2. Basic Introductory Results -- Chapter 3. Spaces of Types -- Chapter 4. Good Structures and Good Theories -- Chapter 5. Morley Categoricity Theorem and Forking Independence -- Chapter 6. Model Theory of Valued Fields. |
| Record Nr. | UNINA-9910254299603321 |
Sarbadhikari Haimanti
|
||
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and Its Applications : 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings / / edited by C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava
| Logic and Its Applications : 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings / / edited by C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (X, 263 p. 25 illus., 6 illus. in color.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Machine theory
Logic, Symbolic and mathematical Logic programming Computer systems Application software Software engineering Formal Languages and Automata Theory Mathematical Logic and Foundations Logic in AI Computer System Implementation Computer and Information Systems Applications Software Engineering |
| ISBN | 3-031-89610-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Extensions of Partial Isometries -- The Specker-Blatter Theorem: An Application of Logic to Combinatorial Counting -- Propositional Dynamic Logic Formula Synthesis and some Applications -- NSOP1 as a dividing line -- Asynchronous transition system games for two processes and their analysis -- Relational Companions of Logics -- Bounded Henkin Quantifiers and the Exponential Time Hierarchy -- Monotone Modal Logic beyond Distributivity -- Recognizing Numbers -- There is hope for connexive set theories! -- Semantics of Basic Modal Language via a Rough Set Framework -- Modal and intermediate logics of spiked Boolean algebras -- Equivalence of Deterministic Weighted Real-time One-Counter Automata -- Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces -- A Mimamsa Inspired Framework towards Temporal Reasoning in Large Language Models -- Measurement-Theoretic Foundations of Logic of Inexact Knowledge -- Craig Interpolation for Awareness Logics -- Knowable as Knowing How to Inquire. |
| Record Nr. | UNINA-9911007489303321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and Its Applications : 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings / / edited by C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava
| Logic and Its Applications : 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings / / edited by C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (X, 263 p. 25 illus., 6 illus. in color.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Machine theory
Logic, Symbolic and mathematical Logic programming Computer systems Application software Software engineering Formal Languages and Automata Theory Mathematical Logic and Foundations Logic in AI Computer System Implementation Computer and Information Systems Applications Software Engineering |
| ISBN | 3-031-89610-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Extensions of Partial Isometries -- The Specker-Blatter Theorem: An Application of Logic to Combinatorial Counting -- Propositional Dynamic Logic Formula Synthesis and some Applications -- NSOP1 as a dividing line -- Asynchronous transition system games for two processes and their analysis -- Relational Companions of Logics -- Bounded Henkin Quantifiers and the Exponential Time Hierarchy -- Monotone Modal Logic beyond Distributivity -- Recognizing Numbers -- There is hope for connexive set theories! -- Semantics of Basic Modal Language via a Rough Set Framework -- Modal and intermediate logics of spiked Boolean algebras -- Equivalence of Deterministic Weighted Real-time One-Counter Automata -- Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces -- A Mimamsa Inspired Framework towards Temporal Reasoning in Large Language Models -- Measurement-Theoretic Foundations of Logic of Inexact Knowledge -- Craig Interpolation for Awareness Logics -- Knowable as Knowing How to Inquire. |
| Record Nr. | UNISA-996660365803316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||