The Problem of Translatability of Texts of the Sublanguage of Mathematical Logic in English-Kazakh Translations

Συγγραφείς: Rishat Saurbayev (ORCID 0000-0003-1419-7361), Anara Zhumasheva (ORCID 0000-0002-2552-6565), Fatima Yerekhanova (ORCID 0000-0003-3344-3839), Nurlan Omarov (ORCID 0000-0002-9114-3618), Kairat Tekzhanov (ORCID 0009-0000-5133-1051), Ardak Abdyrova (ORCID 0000-0002-6115-333X), Elena Pogozheva (ORCID 0000-0001-8100-633X)

Πηγή: Eurasian Journal of Applied Linguistics. 2024 10(2):203-214.

Peer Reviewed: Y

Page Count: 12

Descriptors: Mathematical Logic, Translation, Turkic Languages, English (Second Language), Second Language Learning, Language Processing, Language Usage, Contrastive Linguistics, Linguistic Borrowing, Languages for Special Purposes, Professional Personnel, Phrase Structure

THE 20TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA : Faculty de Ingeniería, Universidad de la República Montevideo, Uruguay July 1–5, 2024

Συγγραφείς: Montalbán, Antonio

Πηγή: The Bulletin of Symbolic Logic, 2025 Mar 01. 31(1), 153-180.

Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/27379750

Modeling a Mixed-Mode Cooling System with Correlation to Operable Building Facade Openings: Mathematical Logic Integration of Computational Fluid Dynamics and Energy Models.

Συγγραφείς: Utkucu, Duygu¹ (AUTHOR) duyguutkucu@gmail.com, Sözer, Hatice² (AUTHOR) sozerh@itu.edu.tr

Πηγή: Journal of Construction Engineering & Management. Jun2025, Vol. 151 Issue 6, p1-17. 17p.

Θεματικοί όροι: *ENERGY consumption, COMPUTATIONAL fluid dynamics, MATHEMATICAL logic, THERMAL comfort, NATURAL ventilation, ARTIFICIAL respiration

Current research and future challenges in parcel hub towards logistics 4.0: a systematic literature review from a decision-making perspective.

Συγγραφείς: Chen, James C.¹ (AUTHOR), Anggrahini, Dewanti^1,2 (AUTHOR) dewantianggrahini@gmail.com, Chen, Tzu-Li³ (AUTHOR)

Πηγή: International Journal of Production Research. Dec2024, Vol. 62 Issue 23, p8562-8593. 32p.

Θεματικοί όροι: *CROSS-docking (Logistics), *FACILITY management, *PRODUCTION planning, MATHEMATICAL logic, SCIENCE publishing

Mathematical Logic

Συγγραφείς: Roman Kossak

Resource Type: eBook.

Θέματα: Mathematics—Philosophy, Mathematical logic, Computer arithmetic and logic units, Logic, Mathematics

Categories: MATHEMATICS / History & Philosophy, COMPUTERS / Logic Design, MATHEMATICS / Applied, MATHEMATICS / Logic, PHILOSOPHY / Logic

Léon Foucou and the Beginnings of Mathematical Logic in France.

Συγγραφείς: Moktefi, Amirouche¹ (AUTHOR), Chevalier, Jean-Marie C.² (AUTHOR) jm.chevalier@u-pec.fr

Πηγή: History & Philosophy of Logic. May2025, p1-24. 24p.

Θεματικοί όροι: *MATHEMATICAL logic, *LOGIC, *MATHEMATICIANS, *PHILOSOPHY of mathematics, FRENCH history

Γεωγραφικοί όροι: FRANCE

A Novel NeutroGraph Model for Dynamic Systems: Advancing NeutroStructures with Partially False Axioms in Interactive Digital Installation Art Design.

Συγγραφείς: Ziyuan Liu^1,2, Yixi Peng² pyx9852990@163.com

Πηγή: Neutrosophic Sets & Systems. 2025, Vol. 87, p210-222. 13p.

Θεματικοί όροι: *MATHEMATICAL logic, *INSTALLATION art, *COMPUTER art, *DYNAMICAL systems, *MATHEMATICAL models

Mathematical Logic : An Introduction

Συγγραφείς: Daniel Cunningham

Resource Type: eBook.

Θέματα: Logic, Symbolic and mathematical

Categories: PHILOSOPHY / Logic, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / Logic

Problem-Based Learning Based on Electronic Module: Students' Mathematical Communication Process in Terms of Cognitive Style

Συγγραφείς: Sugianto (ORCID 0000-0003-1149-8169), St. Budi Waluya (ORCID 0000-0002-8834-1138), Y. L. Sukestiyarno (ORCID 0000-0003-2377-5872), Wardono (ORCID 0000-0001-6586-9856)

Πηγή: Educational Process: International Journal. Article e2025222 2025 16.

Peer Reviewed: Y

Page Count: 16

Descriptors: Problem Based Learning, Cognitive Style, Electronic Learning, High School Students, Communication Skills, Secondary School Mathematics, Mathematics Instruction, Mathematical Logic, Instructional Effectiveness, Foreign Countries, Grade 10

Γεωγραφικοί όροι: Indonesia

Coatoms, molecules, and creators in MTL-algebras and their counterparts in multivalued logics Open Access.

Συγγραφείς: Turunen, Esko¹ (AUTHOR)

Πηγή: Logic Journal of the IGPL. Aug2025, Vol. 33 Issue 4, p1-17. 17p.

Θεματικοί όροι: MANY-valued logic, MATHEMATICAL logic, ORDERED algebraic structures

Is Mathematical Logic Really Necessary in Teaching Mathematical Proofs?

Συγγραφείς: Aristidou, Michael

Πηγή: Athens Journal of Education. Feb 2020 7(1):99-121.

Peer Reviewed: Y

Page Count: 23

Descriptors: Mathematical Logic, Mathematics Instruction, College Mathematics, College Students, Student Attitudes, High School Students, Foreign Countries, Logical Thinking, Intuition, Automation

Γεωγραφικοί όροι: Greece, Cyprus

Karl Schröter and His Interest in Polish Mathematical Logic. Based on Unpublished Archival Documents

Συγγραφείς: Gabriela Besler, Marek Porwolik

Πηγή: Logic and Logical Philosophy. :1-24

Mathematical Logic : Exercises and Solutions

Συγγραφείς: Laszlo Csirmaz, Zalán Gyenis

Resource Type: eBook.

Θέματα: Logic, Symbolic and mathematical, Model theory

Categories: MATHEMATICS / Logic

Estrategia metodológica para el desarrollo lógico matemático de estudiantes de tercer grado en el proceso de enseñanza-aprendizaje.

Alternate Title: Methodological strategy for the mathematical logic development of third grade students in the teaching-learning process.

Συγγραφείς: Aguiar Asqui, Verónica Lorena¹ vlaguiara@ube.edu.ec, Chachalo Sandoval, Elsa Beatriz¹ ebchachalos@ube.edu.ec, Ortiz Aguilar, Wilber¹ wortiza@ube.edu.ec

Πηγή: Sinergia Académica. 2025, Vol. 8 Issue 1, p226-245. 20p.

Θεματικοί όροι: *MATHEMATICAL logic, *PATTERNS (Mathematics), *INFORMATION & communication technologies, *CRITICAL thinking, *PROBLEM solving

Creativity and Critical Thinking in the AI Age: A High School Perspective

Συγγραφείς: Rudy Baez (ORCID 0009-0000-0003-3863), Henry Sanchez (ORCID 0009-0005-3668-3362), Neril Sandeep (ORCID 0009-0006-2442-1370), Duli Pllana (ORCID 0009-0007-4511-2363)

Πηγή: International Journal of Research in Education and Science. 2025 11(2):448-477.

Peer Reviewed: Y

Page Count: 31

Descriptors: Creativity, Critical Thinking, High School Students, Urban Schools, Mathematics Instruction, Geometry, Mathematics Teachers, Artificial Intelligence, Computer Software, Problem Solving, Validity, Mathematical Logic, Freehand Drawing, Feedback (Response), Art, Geometric Concepts, Copyrights, Technology Integration, Institutional Characteristics, Technology Education, Educational Innovation

Γεωγραφικοί όροι: New Jersey

Examining the Potential and Pitfalls of AI in Problem Solving

Συγγραφείς: Yasin Memis (ORCID 0000-0001-6961-3452)

Πηγή: Journal of Pedagogical Research. 2025 9(2):177-190.

Peer Reviewed: Y

Page Count: 14

Descriptors: Artificial Intelligence, Mathematics Instruction, Problem Solving, Error Patterns, Mathematical Logic, Technology Uses in Education, Arithmetic

Bridging Disciplines: The Role of Mathematical Reasoning in Interdisciplinary Inquiry

Συγγραφείς: Arto Mutanen (ORCID 0000-0002-0482-0490), Antti Rissanen (ORCID 0000-0003-0849-8467), Kalle Saastamoinen (ORCID 0000-0001-7471-2404)

Πηγή: International Baltic Symposium on Science and Technology Education. 2025.

Peer Reviewed: Y

Page Count: 12

Descriptors: Mathematics Instruction, Interdisciplinary Approach, Teaching Methods, Educational History, Armed Forces, Thinking Skills, Problem Solving, Research Methodology, Barriers, Mathematics Skills, Scientific Research, Expertise, Military Training, Mathematical Logic, Technology

Analyzing Errors and Misconceptions of 11th Grade Learners in Solving Tangent-Chord Theorem Problems: A Case in Tshwane North District Secondary School

Συγγραφείς: Gilbert Kereng Pule, Khensane Mkhabela, Amokelo Given Maweya

Πηγή: Journal of Inquiry Based Activities. 2025 15:157-171.

Peer Reviewed: Y

Page Count: 15

Descriptors: Error Patterns, Misconceptions, Grade 11, High School Students, Problem Solving, Geometry, Mathematics Education, Geometric Concepts, Mathematical Logic, Logical Thinking, Foreign Countries, Error Correction

Γεωγραφικοί όροι: South Africa

Cognitive Structure of Pre-Service Teachers on Theorem and Proof in Mayotte through the Free Word Association Test

Συγγραφείς: Patrick Tchonang Youkap (ORCID 0000-0002-4892-7126), Jean-Berky Nguala (ORCID 0009-0003-8913-9550), Stephen Rowland Baidoo (ORCID 0000-0003-4847-7572)

Πηγή: European Journal of Science and Mathematics Education. 2025 13(3):207-224.

Peer Reviewed: Y

Page Count: 18

Descriptors: Cognitive Structures, Preservice Teachers, Secondary School Teachers, Mathematics Teachers, Mathematical Concepts, Mathematical Logic, Knowledge Base for Teaching, Association Measures, Foreign Countries

Γεωγραφικοί όροι: France

Exploring the Challenges of Geometric Reasoning in Middle School: An Analysis of Teachers' Perceptions and Pedagogical Perspectives

Συγγραφείς: Badr Menouer (ORCID 0009-0004-5855-656X), Latifa Faouzi, Anas Rachid (ORCID 0000-0002-7579-7005), Yassine Benslimane (ORCID 0000-0002-2283-3295), Brahim Nachit (ORCID 0009-0003-6238-8434)

Πηγή: Educational Process: International Journal. Article e2025387 2025 17.

Peer Reviewed: Y

Page Count: 15

Descriptors: Geometric Concepts, Geometry, Mathematics Instruction, Middle School Students, Mathematics Teachers, Teacher Attitudes, Teaching Methods, Barriers, Mathematical Logic, Validity, Technology Uses in Education, Access to Computers, Foreign Countries, Problem Solving

Γεωγραφικοί όροι: Morocco