02296nam 2200397 450 991079432920332120230629234503.090-04-44237-5(CKB)4100000011413543(MiAaPQ)EBC6426830(EXLCZ)99410000001141354320210327d2021 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierConceptual mathematics and literature toward a deep reading of texts and minds /by Yair NeumanLeiden, The Netherlands ;Boston :Brill,[2021]©20211 online resource (xi, 175 pages) illustrationsStudies in mathematics in the arts and humanities ;Volume 290-04-44236-7 "When as young children we first start to read, we enjoy the experience in the most basic and intuitive sense. We are moved by The Last of the Mohicans (Cooper, 1826/ 1986), fascinated by The Jungle Book (Kipling, 2013) and thrilled by The Hound of the Baskervilles (Doyle, 2016). No difficulty is evident, at least from our perspective as naive readers. However, when we grow up and are socialized as reflective individuals, our old new friend, the text, appears in a new light. It becomes an object that requires interpretation, explanation and understanding. Our trust in the text as naive readers may be replaced with deep suspicion or a distant analytical stance. The text might become an object of conspiracy (for example, if we read Fenimore Cooper as representing a colonialist perspective) or of analytical observation (for example, if we analyze it similarly to a mathematical riddle or a frog in a biology lesson). In both cases, the aesthetic experience is lost with our cherished childish enchantment"--Provided by publisher.Studies in mathematics in the arts and humanities ;Volume 2.Reading, Psychology ofReading, Psychology of.418.4019Neuman Yair1968-767616MiAaPQMiAaPQMiAaPQBOOK9910794329203321Conceptual mathematics and literature3791006UNINA06398nam 22008775 450 991048479970332120251226202831.03-642-04027-610.1007/978-3-642-04027-6(CKB)1000000000784708(SSID)ssj0000316898(PQKBManifestationID)11246637(PQKBTitleCode)TC0000316898(PQKBWorkID)10276724(PQKB)10472840(DE-He213)978-3-642-04027-6(MiAaPQ)EBC3064573(PPN)139955275(EXLCZ)99100000000078470820100301d2009 u| 0engurnn|008mamaatxtccrComputer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /edited by Erich Grädel, Reinhard Kahle1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (XI, 567 p.) Theoretical Computer Science and General Issues,2512-2029 ;5771Includes index.3-642-04026-8 Invited Talks -- Algebra for Tree Languages -- Forcing and Type Theory -- Functional Interpretations of Intuitionistic Linear Logic -- Fixed-Point Definability and Polynomial Time -- Special Invited Talk to Commemorate the Centenary of Stephen Cole Kleene -- Kleene’s Amazing Second Recursion Theorem -- Contributed Papers -- Typed Applicative Structures and Normalization by Evaluation for System F ? -- Jumping Boxes -- Tree-Width for First Order Formulae -- Algorithmic Analysis of Array-Accessing Programs -- Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems -- Cardinality Quantifiers in MLO over Trees -- From Coinductive Proofs to Exact Real Arithmetic -- On the Relation between Sized-Types Based Termination and Semantic Labelling -- Expanding the Realm of Systematic Proof Theory -- EXPTIME Tableaux for the Coalgebraic ?-Calculus -- On the Word Problem for -Categories, and the Properties of Two-Way Communication -- Intersection, Universally Quantified, and Reference Types -- Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata -- Enriching an Effect Calculus with Linear Types -- Degrees of Undecidability in Term Rewriting -- Upper Bounds on Stream I/O Using Semantic Interpretations -- Craig Interpolation for Linear Temporal Languages -- On Model Checking Boolean BI -- Efficient Type-Checking for Amortised Heap-Space Analysis -- Deciding the Inductive Validity of ????* Queries -- On the Parameterised Intractability of Monadic Second-Order Logic -- Automatic Structures of Bounded Degree Revisited -- Nondeterminism and Observable Sequentiality -- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions -- Focalisation and Classical Realisability -- Decidable Extensions of Church’s Problem -- NestedHoare Triples and Frame Rules for Higher-Order Store -- A Complete Characterization of Observational Equivalence in Polymorphic ?-Calculus with General References -- Non-Commutative First-Order Sequent Calculus -- Model Checking FO(R) over One-Counter Processes and beyond -- Confluence of Pure Differential Nets with Promotion -- Decision Problems for Nash Equilibria in Stochastic Games -- On the Complexity of Branching-Time Logics -- Nominal Domain Theory for Concurrency -- The Ackermann Award 2009.The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7–11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S- ence and Technology, University of Coimbra. In response to the call for papers, a total of 122 abstracts were submitted to CSL 2009of which 89 werefollowedby a full paper. The ProgrammeCommittee selected 34 papers for presentation at the conference and publication in these proceedings. The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. The awardrecipient for 2009 was Jakob Nordstr¨ om. Citation of the award, abstract of the thesis, and a biographical sketch of the recipient may be found at the end of the proceedings. The award was sponsored for the years 2007–2009 by Logitech S.A.Theoretical Computer Science and General Issues,2512-2029 ;5771Artificial intelligenceLogic, Symbolic and mathematicalMachine theoryComputer scienceComputer scienceMathematicsCoding theoryInformation theoryArtificial IntelligenceMathematical Logic and FoundationsFormal Languages and Automata TheoryComputer Science Logic and Foundations of ProgrammingSymbolic and Algebraic ManipulationCoding and Information TheoryArtificial intelligence.Logic, Symbolic and mathematical.Machine theory.Computer science.Computer scienceMathematics.Coding theory.Information theory.Artificial Intelligence.Mathematical Logic and Foundations.Formal Languages and Automata Theory.Computer Science Logic and Foundations of Programming.Symbolic and Algebraic Manipulation.Coding and Information Theory.004.015113DAT 540fstubDAT 706fstubSS 4800rvkGradel Erich60991Kahle Reinhard1735965European Association for Computer Science Logic.CSL 2009MiAaPQMiAaPQMiAaPQBOOK9910484799703321Computer science logic4189683UNINA