Cover Image

The Significance of Symbolic Logic for Scientific Education

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Platzer, André
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science 03B70, 68N15, 97E30, 97U70, 97P40 F.3.1; F.3.2; K.3.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Ungraded Assignments in Introductory Computing: A Report
by: Tellawi, Yehya Sleiman, et al.
Published: (2025)

Fixed-Point Traps and Identity Emergence in Educational Feedback Systems
by: Alpay, Faruk
Published: (2025)

Learning Outcomes supporting the integration of Ethical Reasoning into quantitative courses: Three tasks for use in three general contexts
by: Tractenberg, Rochelle E.
Published: (2023)

Towards a low-cost universal access cloud framework to assess STEM students
by: Merchante, L. F. S, et al.
Published: (2024)

Simulating Student Success in the Age of GenAI: A Kantian-Axiomatic Perspective
by: Kayadibi, Seyma Yaman
Published: (2025)

Complete Robust Hybrid Systems Reachability
by: Wafa, Noah Abou El, et al.
Published: (2026)

Reverse Divisors and Magic Numbers
by: Costa, Eudes Antonio, et al.
Published: (2024)

Insights from a workshop on gamification of research in mathematics and computer science
by: Langlois-Rémillard, Alexis, et al.
Published: (2024)

Integrating Universal Generative AI Platforms in Educational Labs to Foster Critical Thinking and Digital Literacy
by: Znamenskiy, Vasiliy, et al.
Published: (2025)

Gen AI in Proof-based Math Courses: A Pilot Study
by: Klawa, Hannah, et al.
Published: (2025)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

Tooling for digital accessibility in mathematics: Quickly build compliant course websites that benefit all students
by: McMillan, Matthew, et al.
Published: (2026)

Inequalities in Computational Thinking Among Incoming Students in an STEM Chilean University
by: González-Pizarro, Felipe, et al.
Published: (2024)

Using Educational Comics in Physics Teaching for Chemistry and Biochemistry Students: Impact on Motivation and Domain-Specific Conceptual Gains
by: Echiburu, Mauricio, et al.
Published: (2026)

Exploring Students' Understanding of Linear and Quadratic Relationships in a Projectile Motion Context
by: Kristanto, Yosep Dwi, et al.
Published: (2025)

Development of Testing Methodology in Mathematics Education in the Context of Digitalization
by: Orlovskyi, I. V., et al.
Published: (2025)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
by: Ramos, Arthur, et al.
Published: (2025)

Understanding Student Perceptions of Flipped Linear Algebra Classrooms via Interpretable Machine Learning
by: Laudari, S., et al.
Published: (2023)

Physical oceanography during LANCE cruise LA97/3
by: VEINS Members, et al.
Published: (2011)

Enhancing Programming Pair Workshops: The Case of Teacher Pre-Prompting
by: Petersson, Johan
Published: (2025)

Automated Feedback Generation for Undergraduate Mathematics: Development and Evaluation of an AI Teaching Assistant
by: Gohr, Aron, et al.
Published: (2026)

AI as a component in the action research tradition of learning-by-doing
by: Benson, Ian, et al.
Published: (2025)

Geist in the Machine: Simulating Recognition and Inner Dialogue in AI-Mediated Teaching and Research
by: Magee, Liam
Published: (2026)

AI Literacy and LLM Engagement in Higher Education: A Cross-National Quantitative Study
by: Hossain, Shahin, et al.
Published: (2025)

Student behaviour and engagement with adaptive exercises on a thermodynamics course
by: Harjula, Matti, et al.
Published: (2024)

MathPartner is a breakthrough technology for natural sciences education, scientic and engineering applications
by: Malaschonok, Gennadi, et al.
Published: (2025)

Different Theories of Parts
by: Pietruszczak, Andrzej
Published: (2024)

Parametric proofs of the Pythagorean theorem via ziggurats and pyramids
by: Navas, Andrés
Published: (2025)

Approximate Axiomatization for Differentially-Defined Functions
by: Platzer, André, et al.
Published: (2025)

A roadmap for curvature-based geometric data analysis and learning
by: Yadav, Yasharth, et al.
Published: (2025)

Multi-Method Analysis of Mathematics Placement Assessments: Classical, Machine Learning, and Clustering Approaches
by: Allagan, Julian D., et al.
Published: (2025)

Extracting total Amb programs from proofs
by: Berger, Ulrich, et al.
Published: (2023)

Node Replication: Theory And Practice
by: Kesner, Delia, et al.
Published: (2022)

Bad Foundations and Manipulable Objects
by: Ochs, Eduardo
Published: (2026)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
by: Zhong, Zhiyao, et al.
Published: (2025)

Average-case complexity in statistical inference: A puzzle-driven research seminar
by: Kireeva, Anastasia, et al.
Published: (2025)

Hypothesis testing and confidence sets: why Bayesian not frequentist, and how to set a prior with a regulatory authority
by: Sewell, Roger
Published: (2021)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
by: Park, Sewon, et al.
Published: (2016)

Innovative Tangible Interactive Games for Enhancing Artificial Intelligence Knowledge and Literacy in Elementary Education: A Pedagogical Framework
by: Sampanis, Nikolaos
Published: (2025)

Gender Inequalities in Content Collaborations: Asymmetric Creator Synergy and Symmetric Audience Biases
by: Zha, Mingyue, et al.
Published: (2024)