-
1Book
Authors: Keune, Frans
Subject Terms: thema EDItEUR::P Mathematics and Science::PB Mathematics::PBH Number theory, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, Learning Mathematics, Number Systems, Number Theory, Textbook
File Description: image/jpeg; application/pdf
Access URL: https://library.oapen.org/bitstream/20.500.12657/94433/1/9789493296824_Elements_digital.pdf
https://library.oapen.org/handle/20.500.12657/94433
https://directory.doabooks.org/handle/20.500.12854/147642
https://www.boekenbestellen.nl/shop/external?P=68399&EX=25280
https://library.oapen.org/handle/20.500.12657/94433 -
2Book
Authors: Jos van Kan, Guus Segal, Fred Vermolen
Subject Terms: time integration, finite element method, partial differential equations, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, discretization, mathematical modelling
File Description: image/png
Access URL: https://directory.doabooks.org/handle/20.500.12854/148031
https://store.printservice.nl/ustorethemes/HR/150/nl-NL/products/4862/Classical-Numerical-Methods-in-Scientific-Computing/
https://textbooks.open.tudelft.nl/textbooks/catalog/download/67/164/432
http://resolver.tudelft.nl/uuid:76f10e7e-cd0b-4c9c-afbf-a22632f0569f -
3Book
Authors: Tranchini, Luca
Source: Trends in Logic ISBN: 9783031469206
Subject Terms: Paradox and proof-theory, Prawitz-Tennant analysis of paradoxes, Higher-level rules, proofs as constructions, Inferentialism, harmony via reductions and expansions, thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic, Paradoxes as non-denoting derivations, Proof-theoretic harmony, Hyperintensionality, Meaning of logical constants, Identity of proofs, Normalization, subformula, canonicity harmony, Jacinto and Read's GE-stability, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, Proof-theoretic semantics, relative priority of correctness and validity, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic, Proof theory and meaning, PSH-inversion and harmony, Sense and denotation
File Description: image/jpeg; application/pdf
-
4Book
Authors: Heuts, Gijs, Moerdijk, Ieke
Source: Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics ISBN: 9783031104466
Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 75Subject Terms: infinity-operad, dendroidal set, infinity-category, simplicial operad, model categories, higher algebra, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, Operads, simplicial set, Bousfield localization, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBP Topology::PBPD Algebraic topology, simplicial space, Boardman-Vogt
File Description: image/jpeg; application/pdf
-
5Book
Authors: Ciardelli, Ivano
Source: Trends in Logic ISBN: 9783031097058
Subject Terms: connection inquisitive, intuitionistic, dependence logic, Questions in propositional logic, Connections with intuitionistic logic, Logic of Dependency, Dependence Logic, Questions in first-order logic, thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic, reasoning with questions, Information Semantics, Intuitionistic Logic, role of questions in logic, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, Inquisitive Logic, Proofs-as-Programs, Questions in modal logic, Connections with dependence logic, Logic of Questions, how classical logic can be made inquisitive, Information Types
File Description: image/jpeg; application/pdf
-
6
Authors: Simonyi, Károly
Subject Terms: popular science, science illustrations, history of ideas, history of science, thema EDItEUR::P Mathematics and Science::PH Physics, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBB Philosophy of mathematics, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general, thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCC Cultural studies, thema EDItEUR::N History and Archaeology::NH History
File Description: image/jpeg
Relation: ONIX_20250210_9781003849308_6; https://library.oapen.org/handle/20.500.12657/98394; https://library.oapen.org/bitstream/20.500.12657/98394/1/9781003849308.pdf
-
7Book
Subject Terms: Fredholm operators, Riesz' inequality, Open, Operators, Banach Space, Geometry, Suragan, Dirichlet Laplacian, Hilbert Space, Nonnegative Measurable Functions, Hardy Littlewood Inequality, Generalised Derivative, Makhmud, Sadybekov, Euler Poisson System, Durvudkhan, bounded linear operators, spectral invariants, linear differential operators, Vlasov Poisson Equations, Separable Infinite Dimensional Hilbert Space, thema EDItEUR::P Mathematics and Science::PB Mathematics, spectral geometry, OA, Spectral, Lebesgue integral, Symmetric Rearrangement, Cauchy Sequence, Vlasov Poisson System, Access, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis::PBKJ Differential calculus and equations, Linear Space, Mathematics and Statistics, partial differential operators, Differential, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis::PBKF Functional analysis and transforms, Linear Normed Space, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, Ruzhansky, Michael, Partial
File Description: image/jpeg; application/pdf
Access URL: https://biblio.ugent.be/publication/8640382/file/8700776.pdf
https://library.oapen.org/bitstream/20.500.12657/22497/1/9781138360716_text.pdf
http://library.oapen.org/handle/20.500.12657/22497
https://directory.doabooks.org/handle/20.500.12854/36910
https://library.oapen.org/handle/20.500.12657/101514
https://www.taylorfrancis.com/books/9780429432965
https://biblio.ugent.be/publication/8640382
http://hdl.handle.net/1854/LU-8640382
https://biblio.ugent.be/publication/8640382/file/8700776 -
8
Authors: Keune, Frans
Subject Terms: Learning Mathematics, Number Systems, Number Theory, Textbook, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBH Number theory
File Description: application/pdf
-
9
Contributors: Piecha, Thomas, Wehmeier, Kai F.
Subject Terms: Proof-theoretic Semantics, Logical Constants, Proof Theory, Deductive Logic, Constructive Logic, Intuitionistic Logic, Mathematical Logic, Peter Schroeder-Heister, Gerhard Gentzen, Gottlob Frege, thema EDItEUR::Q Philosophy and Religion::QD Philosophy, thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic, thema EDItEUR::C Language and Linguistics::CF Linguistics::CFA Philosophy of language, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBB Philosophy of mathematics, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, thema EDItEUR::C Language and Linguistics::CB Language: reference and general::CBX Language: history and general works
File Description: image/jpeg
Relation: Outstanding Contributions to Logic; ONIX_20240313_9783031509810_46; OCN: 1423526059; https://library.oapen.org/handle/20.500.12657/88357
-
10
Contributors: Cimiano, Philipp, Frank, Anette, Kohlhase, Michael, Stein, Benno
Subject Terms: argument mining, computational agrumentation, deliberation support, argument search and retrieval, human computer interaction, natural language processing, knowledge representation, artificial intelligence, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
File Description: image/jpeg
Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; ONIX_20240813_9783031635366_28; https://library.oapen.org/handle/20.500.12657/92695
-
11
Contributors: Kobayashi, Naoki, Worrell, James
Subject Terms: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures, thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
File Description: image/jpeg
Relation: Lecture Notes in Computer Science; ONIX_20240416_9783031572319_19; OCN: 1429286527; https://library.oapen.org/handle/20.500.12657/89912
-
12
Authors: Tranchini, Luca
Subject Terms: Proof-theoretic semantics, Identity of proofs, Proof-theoretic harmony, Paradox and proof-theory, Proof theory and meaning, Meaning of logical constants, Higher-level rules, Inferentialism, Sense and denotation, Hyperintensionality, harmony via reductions and expansions, Normalization, subformula, canonicity harmony, proofs as constructions, relative priority of correctness and validity, Jacinto and Read’s GE-stability, Prawitz-Tennant analysis of paradoxes, Paradoxes as non-denoting derivations, PSH-inversion and harmony, thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
File Description: image/jpeg
Relation: Trends in Logic; ONIX_20240523_9783031469213_11; OCN: 1431059891; https://library.oapen.org/handle/20.500.12657/90415
-
13
Authors: Segal, Guus, van Kan, Jos, Vermolen, Fred
Subject Terms: partial differential equations, finite element method, discretization, time integration, mathematical modelling, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
File Description: image/png
Relation: ONIX_20241119_9789463667326_61; https://textbooks.open.tudelft.nl/textbooks/catalog/download/67/164/432
Availability: https://directory.doabooks.org/handle/20.500.12854/148031
https://hdl.handle.net/20.500.12854/148031
https://store.printservice.nl/ustorethemes/HR/150/nl-NL/products/4862/Classical-Numerical-Methods-in-Scientific-Computing/
https://textbooks.open.tudelft.nl/textbooks/catalog/download/67/164/432 -
14
Authors: Krebs, Niklas
Subject Terms: Mathematisches Denken, Soziales Denken, Soziale Intelligenz, Evolutionäre Ursprünge, (Kognitive) Anpassung, thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTK Cognitive studies, thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHM Anthropology, thema EDItEUR::J Society and Social Sciences::JM Psychology::JMM Physiological and neuro-psychology, biopsychology, thema EDItEUR::J Society and Social Sciences::JM Psychology::JMR Cognition and cognitive psychology, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBB Philosophy of mathematics, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBX History of mathematics, thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues, thema EDItEUR::Q Philosophy and Religion::QD Philosophy
File Description: image/jpeg
Relation: ONIX_20240215_9783832520915_3
-
15
Authors: Keune, Frans
Subject Terms: Learning Mathematics, Number Systems, Number Theory, Textbook, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBH Number theory
File Description: image/jpeg
Relation: https://library.oapen.org/handle/20.500.12657/94433; https://library.oapen.org/bitstream/20.500.12657/94433/1/9789493296824_Elements_digital.pdf
-
16Book
Authors: Atkinson, David, Peijnenburg, Jeanne
Source: 2017_Book_FadingFoundations.pdf
Subject Terms: Statistical Theory and Methods, Regresses in Philosophy of Mind, thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJT Operational research, probability, thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTK Philosophy: epistemology and theory of knowledge, Epistemology, metaphysics, Operational research, Regresses in Ethics, Philosophy: epistemology & theory of knowledge, Epistemic Justification, Open Access, Management decision making, History of science, Operations Research and Decision Theory, Philosophical Foundations of Physics and Astronomy, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics, regress problem, Regresses in Metaphysics, Mathematical Logic and Foundations, Probability & statistics, philosophy, thema EDItEUR::Q Philosophy and Religion::QD Philosophy, epistemic justification, epistemology, Regresses in Epistemology, ethics, Mathematical foundations, History and Philosophical Foundations of Physics, Mathematical logic, Operations Research/Decision Theory, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, infinite regress, thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDX History of science, Infinite Regress
File Description: image/jpeg; application/pdf
Access URL: https://library.oapen.org/bitstream/20.500.12657/27810/1/1002195.pdf
https://directory.doabooks.org/handle/20.500.12854/27060
http://library.oapen.org/handle/20.500.12657/27810
https://library.oapen.org/bitstream/20.500.12657/41728/1/2017_Book_FadingFoundations.pdf
https://directory.doabooks.org/handle/20.500.12854/31899
https://library.oapen.org/handle/20.500.12657/41728
https://research.rug.nl/en/publications/e72ca205-5ae0-4580-a0cf-a5ce53871d1a
https://doi.org/10.1007/978-3-319-58295-5
https://hdl.handle.net/11370/e72ca205-5ae0-4580-a0cf-a5ce53871d1a
https://www.springer.com/9783319582955
https://library.oapen.org/handle/20.500.12657/41728
http://library.oapen.org/handle/20.500.12657/27810
https://link.springer.com/book/10.1007/978-3-319-58295-5 -
17
Authors: Ciardelli, Ivano
Subject Terms: Logic of Questions, Inquisitive Logic, Information Semantics, Logic of Dependency, Dependence Logic, Intuitionistic Logic, Proofs-as-Programs, Information Types, role of questions in logic, Questions in propositional logic, reasoning with questions, Questions in first-order logic, Questions in modal logic, Connections with intuitionistic logic, Connections with dependence logic, how classical logic can be made inquisitive, connection inquisitive, intuitionistic, thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
File Description: application/pdf
Relation: Trends in Logic; ONIX_20230317_9783031097065_5
-
18
Authors: Ciardelli, Ivano
Subject Terms: Logic of Questions, Inquisitive Logic, Information Semantics, Logic of Dependency, Dependence Logic, Intuitionistic Logic, Proofs-as-Programs, Information Types, role of questions in logic, Questions in propositional logic, reasoning with questions, Questions in first-order logic, Questions in modal logic, Connections with intuitionistic logic, Connections with dependence logic, how classical logic can be made inquisitive, connection inquisitive, intuitionistic, thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
File Description: image/jpeg
Relation: Trends in Logic; ONIX_20230317_9783031097065_5; https://library.oapen.org/handle/20.500.12657/61840
-
19
Contributors: Bouyer, Patricia, Schröder, Lutz
Subject Terms: Categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, logics of programming, software specification and refinement, models of concurrent systems, emerging models of computation, logical aspects of computational complexity, correctness, transformation, and verification, models of software security, thema EDItEUR::U Computing and Information Technology::UY Computer science, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
File Description: image/jpeg
Relation: Lecture Notes in Computer Science; ONIX_20220413_9783030992538_22; OCN: 1308973551; https://library.oapen.org/handle/20.500.12657/54027
-
20
Subject Terms: Access, Differential, Durvudkhan, Geometry, Makhmud, Michael, OA, Open, Operators, Partial, Ruzhansky, Sadybekov, Spectral, Suragan, thema EDItEUR::P Mathematics and Science::PB Mathematics, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis::PBKF Functional analysis and transforms, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis::PBKJ Differential calculus and equations
File Description: image/jpeg
Relation: 1007657; OCN: 1140387367; http://library.oapen.org/handle/20.500.12657/22497; https://library.oapen.org/bitstream/20.500.12657/22497/1/9781138360716_text.pdf