-
1Book
Συγγραφείς: Keune, Frans
Θεματικοί όροι: 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
Περιγραφή αρχείου: image/jpeg; application/pdf
Σύνδεσμος πρόσβασης: 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
Συγγραφείς: Jos van Kan, Guus Segal, Fred Vermolen
Θεματικοί όροι: time integration, finite element method, partial differential equations, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations, discretization, mathematical modelling
Περιγραφή αρχείου: image/png
Σύνδεσμος πρόσβασης: 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
Συγγραφείς: Tranchini, Luca
Πηγή: Trends in Logic ISBN: 9783031469206
Θεματικοί όροι: 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
Περιγραφή αρχείου: image/jpeg; application/pdf
Σύνδεσμος πρόσβασης: https://library.oapen.org/handle/20.500.12657/90415
https://library.oapen.org/bitstream/20.500.12657/90415/1/978-3-031-46921-3.pdf
https://directory.doabooks.org/handle/20.500.12854/138245
https://library.oapen.org/handle/20.500.12657/90415
https://link.springer.com/978-3-031-46921-3 -
4Book
Συγγραφείς: Heuts, Gijs, Moerdijk, Ieke
Πηγή: 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, 75Θεματικοί όροι: 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
Περιγραφή αρχείου: image/jpeg; application/pdf
Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/91316
https://library.oapen.org/handle/20.500.12657/57895
https://library.oapen.org/bitstream/20.500.12657/57895/1/978-3-031-10447-3.pdf
https://link.springer.com/978-3-031-10447-3
https://library.oapen.org/handle/20.500.12657/57895 -
5Book
Συγγραφείς: Ciardelli, Ivano
Πηγή: Trends in Logic ISBN: 9783031097058
Θεματικοί όροι: 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
Περιγραφή αρχείου: image/jpeg; application/pdf
Σύνδεσμος πρόσβασης: https://library.oapen.org/handle/20.500.12657/61840
https://directory.doabooks.org/handle/20.500.12854/98517
https://library.oapen.org/bitstream/20.500.12657/61840/1/978-3-031-09706-5.pdf
https://library.oapen.org/handle/20.500.12657/61840
https://link.springer.com/978-3-031-09706-5 -
6
Συγγραφείς: Simonyi, Károly
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συγγραφείς: Ruzhansky, Michael, Sadybekov, Makhmud, Suragan, Durvudkhan
Θεματικοί όροι: 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
Περιγραφή αρχείου: image/jpeg; application/pdf
Σύνδεσμος πρόσβασης: 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
Συγγραφείς: Keune, Frans
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
9
Συνεισφορές: Piecha, Thomas, Wehmeier, Kai F.
Θεματικοί όροι: 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
Περιγραφή αρχείου: image/jpeg
Relation: Outstanding Contributions to Logic; ONIX_20240313_9783031509810_46; OCN: 1423526059; https://library.oapen.org/handle/20.500.12657/88357
-
10
Συνεισφορές: Cimiano, Philipp, Frank, Anette, Kohlhase, Michael, Stein, Benno
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συνεισφορές: Kobayashi, Naoki, Worrell, James
Θεματικοί όροι: 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
Περιγραφή αρχείου: image/jpeg
Relation: Lecture Notes in Computer Science; ONIX_20240416_9783031572319_19; OCN: 1429286527; https://library.oapen.org/handle/20.500.12657/89912
-
12
Συγγραφείς: Tranchini, Luca
Θεματικοί όροι: 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
Περιγραφή αρχείου: image/jpeg
Relation: Trends in Logic; ONIX_20240523_9783031469213_11; OCN: 1431059891; https://library.oapen.org/handle/20.500.12657/90415
-
13
Συγγραφείς: Segal, Guus, van Kan, Jos, Vermolen, Fred
Θεματικοί όροι: partial differential equations, finite element method, discretization, time integration, mathematical modelling, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
Περιγραφή αρχείου: image/png
Relation: ONIX_20241119_9789463667326_61; https://textbooks.open.tudelft.nl/textbooks/catalog/download/67/164/432
Διαθεσιμότητα: 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
Συγγραφείς: Krebs, Niklas
Θεματικοί όροι: 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
Περιγραφή αρχείου: image/jpeg
Relation: ONIX_20240215_9783832520915_3
-
15
Συγγραφείς: Keune, Frans
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συγγραφείς: Atkinson, David, Peijnenburg, Jeanne
Πηγή: 2017_Book_FadingFoundations.pdf
Θεματικοί όροι: 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
Περιγραφή αρχείου: image/jpeg; application/pdf
Σύνδεσμος πρόσβασης: 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
Συγγραφείς: Ciardelli, Ivano
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
Relation: Trends in Logic; ONIX_20230317_9783031097065_5
-
18
Συγγραφείς: Ciardelli, Ivano
Θεματικοί όροι: 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
Περιγραφή αρχείου: image/jpeg
Relation: Trends in Logic; ONIX_20230317_9783031097065_5; https://library.oapen.org/handle/20.500.12657/61840
-
19
Συνεισφορές: Bouyer, Patricia, Schröder, Lutz
Θεματικοί όροι: 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
Περιγραφή αρχείου: image/jpeg
Relation: Lecture Notes in Computer Science; ONIX_20220413_9783030992538_22; OCN: 1308973551; https://library.oapen.org/handle/20.500.12657/54027
-
20
Συγγραφείς: Ruzhansky, Michael, Sadybekov, Makhmud, Suragan, Durvudkhan
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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