Works matching Mathematical logic

Results: 5000

MATHEMATICAL LOGIC AND PROGRAMMING.

Published in:

Applied Research in Studies & Practice / Taikomieji Tyrimai Studijose ir Praktikoje, 2023, v. 19, n. 1, p. 50

By:

RAGALYTĖ, Birutė;
PAUKŠTIENĖ, Alma

Publication type:

Article

Improving the Learning and Teaching of Mathematical Logic Elements Using Maple.

Published in:

Journal of Higher Education Theory & Practice, 2022, v. 22, n. 8, p. 51, doi. 10.33423/jhetp.v22i8.5315

By:

Olenev, Aleksandr A.;
Zvereva, Larisa G.;
Saieg, Timor H.

Publication type:

Article

From boring to scoring – a collaborative serious game for learning and practicing mathematical logic for computer science education.

Published in:

Computer Science Education, 2013, v. 23, n. 2, p. 87, doi. 10.1080/08993408.2013.778040

By:

Schäfer, Andreas;
Holz, Jan;
Leonhardt, Thiemo;
Schroeder, Ulrik;
Brauner, Philipp;
Ziefle, Martina

Publication type:

Article

املنطق الرياضي وعالقته بالتحصيل والربهان الرياضي يف مادة التبولوجي لدى طلبة كلية الرتبية االساسية.

Published in:

Journal of the College Of Basic Education, 2022, v. 28, n. 115, p. 377

By:

م. تغريد خضري هذا&#160

Publication type:

Article

From mathematical logic to programming-language semantics: a discussion with Tony Hoare.

Published in:

Journal of Logic & Computation, 2015, v. 25, n. 4, p. 1091, doi. 10.1093/logcom/exs071

By:

DAYLIGHT, EDGAR G.

Publication type:

Article

The effectiveness of using animation media to improve mathematical logic intelligence.

Published in:

INSANIA : Jurnal Pemikiran Alternatif Kependidikan, 2024, v. 29, n. 1, p. 137, doi. 10.24090/insania.v29i1.10712

By:

Al Ahmasi, Latif;
Sarah, Siti;
Saudah;
Isa, Muhammad

Publication type:

Article

The Place of Mathematical Logic in 20th Century American Mathematics: Mac Lane's Perspective.

Published in:

Al-Mukhatabat, 2023, n. 46, p. 11

By:

PARK, Woosuk

Publication type:

Article

Giuseppe Peano in Germany, His Connections with German Mathematicians, and the First English Translation of Gottlob Frege's Unpublished Letter to Adolph Mayer on Giuseppe Peano's Mathematical Logic.

Published in:

Kwartalnik Historii Nauki i Techniki, 2023, v. 68, n. 4, p. 9, doi. 10.4467/0023589XKHNT.23.041.18783

By:

Besler, Gabriela

Publication type:

Article

A BASIC EXAMPLE OF THE MATHEMATICAL LOGICS INTERPRETATIONS TO THE TRIBOLOGICAL PROCESSES CHARACTERISTICS REVEALING.

Published in:

Problems of Friction & Wear, 2018, v. 81, n. 4, p. 50

By:

GONCHARENKO, A. V.

Publication type:

Article

On Infinitesimals and Indefinitely Cut Wooden Sticks: A Chinese Debate on 'Mathematical Logic' and Russell's Introduction to Mathematical Philosophy from 1925.

Published in:

History & Philosophy of Logic, 2021, v. 42, n. 3, p. 262, doi. 10.1080/01445340.2021.1902073

By:

Vrhovski, Jan

Publication type:

Article

THE IMPORTANCE OF SET THEORY ELEMENTS AND MATHEMATICAL LOGIC IN PRIMARY EDUCATION.

Published in:

Journal of Innovation in Psychology, Education & Didactics, 2014, v. 18, n. 2, p. 127

By:

LUPU, Costică;
COBUZ, Lidia Elena

Publication type:

Article

Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2019, v. 23, n. 7, p. 2177, doi. 10.1007/s00500-019-03850-6

By:

Badia, Guillermo;
Costa, Vicent;
Dellunde, Pilar;
Noguera, Carles

Publication type:

Article

An Improved FFIP Method Based on Mathematical Logic and SysML.

Published in:

Applied Sciences (2076-3417), 2021, v. 11, n. 8, p. 3534, doi. 10.3390/app11083534

By:

Jiao, Jian;
Pang, Shujie;
Chu, Jiayun;
Jing, Yongfeng;
Zhao, Tingdi;
Hsieh, Wen-Hsiang

Publication type:

Article

Mathematical Logic through Python.

Published in:

Bulletin of the Irish Mathematical Society, 2023, n. 92, p. 65, doi. 10.33232/BIMS.0092.65.67

By:

SWIFT, TIM

Publication type:

Article

Guiding reinvention of conventional tools of mathematical logic: students' reasoning about mathematical disjunctions.

Published in:

Educational Studies in Mathematics, 2017, v. 94, n. 3, p. 241, doi. 10.1007/s10649-016-9722-7

By:

Dawkins, Paul;
Cook, John

Publication type:

Article

'Qinghua School of Logic': Mathematical Logic at Qinghua University in Peking, 1926–1945.

Published in:

History & Philosophy of Logic, 2021, v. 42, n. 3, p. 247, doi. 10.1080/01445340.2021.1904663

By:

Vrhovski, Jan

Publication type:

Article

Bertrand Russell and the introduction of mathematical logic in China.

Published in:

History & Philosophy of Logic, 2003, v. 24, n. 3, p. 181, doi. 10.1080/0144534031000117105

By:

Xu Yibao

Publication type:

Article

أساليب البرهان الرياضي والمنطق في مقررات الرياضيات في كلية التربية بجامعة صنعاء.

Published in:

Journal of Social Studies, 2021, v. 27, n. 1, p. 29, doi. 10.20428/JSS.27.1.2

By:

فوزي عبد الله خا&#1604

Publication type:

Article

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

Published in:

Sinergia Académica, 2025, v. 8, n. 1, p. 226

By:

Aguiar Asqui, Verónica Lorena;
Chachalo Sandoval, Elsa Beatriz;
Ortiz Aguilar, Wilber

Publication type:

Article

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.

Published in:: Bulletin of Symbolic Logic, 2025, v. 31, n. 1, p. 153, doi. 10.1017/bsl.2025.7
Publication type:: Article

La lógica matemática: una disciplina en busca de encuadre.

Published in:

Theoria: An International Journal for Theory, History & Foundations of Science, 2010, v. 25, n. 3, p. 279, doi. 10.1387/theoria.717

By:

Ferreirós, José

Publication type:

Article

Mathematical Logic of Notions and Concepts.

Published in:

Foundations of Science, 2019, v. 24, n. 4, p. 641, doi. 10.1007/s10699-019-09604-9

By:

Usó-Doménech, J. L.;
Nescolarde-Selva, J. A.

Publication type:

Article

Special Issue on Mathematical Fuzzy Logic.

Published in:

Journal of Logic & Computation, 2011, v. 21, n. 5, p. 715, doi. 10.1093/logcom/exp057

By:

Cintula, Petr;
Metcalfe, George;
Noguera, Carles

Publication type:

Article

Review of Classical Mathematical Logic: The Semantic Foundations of Logic.

Published in:

2007

By:

Plisko, Valery

Publication type:

Book Review

Mathematical Logic in the Human Brain: Semantics.

Published in:

PLoS ONE, 2013, v. 8, n. 1, p. 1, doi. 10.1371/journal.pone.0053699

By:

Friedrich, Roland M.;
Friederici, Angela D.

Publication type:

Article

Non Locality Proofs in Quantum Mechanics Analyzed by Ordinary Mathematical Logic.

Published in:

International Journal of Theoretical Physics, 2014, v. 53, n. 10, p. 3475, doi. 10.1007/s10773-013-1822-x

By:

Nisticò, Giuseppe

Publication type:

Article

Joint production: Triumph of economic over mathematical logic?*.

Published in:

European Journal of the History of Economic Thought, 2005, v. 12, n. 3, p. 525, doi. 10.1080/09672560500240230

By:

Schefold, Bertram

Publication type:

Article

Mathematical Logic and the Foundation of Mathematics : An Introductory Survey.

Published in:

2006

By:

Rahim, Medhat H.

Publication type:

Book Review

A Holistic Logic for Mathematical Reasoning.

Published in:

International Journal of Unconventional Computing, 2020, v. 15, n. 4, p. 301

By:

AMMON, KURT

Publication type:

Article

Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting).

Published in:: Oberwolfach Reports, 2021, p. 1693, doi. 10.4171/OWR/2020/34
Publication type:: Article

THE SINGLE PROFILE ANALOGUES TO MULTI PROFILE THEOREMS: MATHEMATICAL LOGIC'S APPROACH.

Published in:

International Economic Review, 1984, v. 25, n. 3, p. 719, doi. 10.2307/2526229

By:

Rubinstein, Ariel

Publication type:

Article

Exploring the interplay between AI and human logic in mathematical problem-solving.

Published in:

Online Journal of Applied Knowledge Management, 2024, v. 12, n. 1, p. 73, doi. 10.36965/OJAKM.2024.12(1)73-93

By:

Shanzhen Gao;
Weizheng Gao;
Malomo, Olumide;
Allagan, Julian D.;
Jianning Su;
Eyob, Ephrem;
Challa, Chandrasheker

Publication type:

Article

Mathematical Logic: Proof Theory, Constructive Mathematics.

Published in:: Oberwolfach Reports, 2023, v. 20, n. 4, p. 3013, doi. 10.4171/OWR/2023/53
Publication type:: Article

A Tour through Mathematical Logic.

Published in:

2006

By:

Beeson, Michael

Publication type:

Book Review

A logic-mathematical point of view of the truth: Reality, perception, and language.

Published in:

Complexity, 2015, v. 20, n. 4, p. 58, doi. 10.1002/cplx.21514

By:

Nescolarde-Selva, Josué Antonio;
Usó-Doménech, Josep-Lluis;
Gash, Hugh

Publication type:

Article

Logic in general and mathematical logic in particular.

Published in:

Bulletin of Pure & Applied Sciences-Mathematics, 2021, v. 40E, n. 2, p. 172, doi. 10.5958/2320-3226.2021.00020.5

By:

Wong, Bertrand

Publication type:

Article

Toward a phenomenological epistemology of mathematical logic.

Published in:

Synthese, 2018, v. 195, n. 2, p. 863, doi. 10.1007/s11229-016-1249-z

By:

Isaac, Manuel Gustavo

Publication type:

Article

Mathematical Logic in the Human Brain: Syntax.

Published in:

PLoS ONE, 2009, v. 4, n. 5, p. 1, doi. 10.1371/journal.pone.0005599

By:

Friedrich, Roland;
Friederici, Angela D.

Publication type:

Article

What is mathematical logic? An Australian odyssey.

Published in:

Logic Journal of the IGPL, 2023, v. 31, n. 6, p. 1010, doi. 10.1093/jigpal/jzac057

By:

Crossley, John Newsome

Publication type:

Article

Special issue: 17th LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC (LASML 2017/SLALM 2017 in Spanish).

Published in:: Logic Journal of the IGPL, 2020, v. 28, n. 6, p. 1073, doi. 10.1093/jigpal/jzaa018
Publication type:: Article

Comparative Study of the Conventional Mathematical and Fuzzy Logic Controllers for Velocity Regulation.

Published in:

Axioms (2075-1680), 2019, v. 8, n. 2, p. 53, doi. 10.3390/axioms8020053

By:

Valdez, Fevrier;
Castillo, Oscar;
Caraveo, Camilo;
Peraza, Cinthia

Publication type:

Article

Mathematical Logic Model for Analysing the Controllability of Mining Equipment.

Published in:

Mathematics (2227-7390), 2024, v. 12, n. 11, p. 1660, doi. 10.3390/math12111660

By:

Shishkin, Pavel V.;
Malozyomov, Boris V.;
Martyushev, Nikita V.;
Sorokova, Svetlana N.;
Efremenkov, Egor A.;
Valuev, Denis V.;
Qi, Mengxu

Publication type:

Article

Mathematical Logic: Exploring new Frontiers of Computer-Science.

Published in:

International Journal of Universal Computer Science, 2010, v. 1, n. 2, p. 68

By:

Singh, Manoranjan Kumar;
Rakesh, L.

Publication type:

Article

Going further with reasoning: Using and developing student logic as evidence of mathematical reasoning.

Published in:

Australian Primary Mathematics Classroom, 2020, v. 25, n. 3, p. 11

By:

Symons, Duncan;
Holton, Derek

Publication type:

Article

A HYBRID EDGE DETECTOR USING FUZZY LOGIC AND MATHEMATICAL MORPHOLOGY.

Published in:

International Journal of Image & Graphics, 2010, v. 10, n. 2, p. 251, doi. 10.1142/S0219467810003767

By:

KAUR, AMANDEEP;
SINGH, CHANDAN

Publication type:

Article

In the stillness of mathematical logic, is there a place for motion?

Published in:

Journal of Cognitive Science, 2021, v. 22, n. 4, p. 465

By:

Madjid, F. Hadi;
Myers, John M.

Publication type:

Article

In the stillness of mathematical logic, is there a place for motion?

Published in:

Journal of Cognitive Science, 2021, v. 22, n. 3, p. 465

By:

Hadi Madjid, F.;
Myers, John M.

Publication type:

Article

CORRIGENDUM TO "ON DEFINABLE COMPLETENESS FOR ORDERED FIELDS" REPORTS ON MATHEMATICAL LOGIC, 54 (2019), 95{100.

Published in:

Reports on Mathematical Logic, 2021, n. 56, p. 111, doi. 10.4467/20842589RM.21.006.14378

By:

MONIRI, Mojtaba

Publication type:

Article

CORRIGENDUM TO "SETS WITH NO SUBSETS OF HIGHER WEAK TRUTH-TABLE DEGREE" REPORTS ON MATHEMATICAL LOGIC, 53 (2018), 3-17.

Published in:

Reports on Mathematical Logic, 2020, n. 55, p. 143, doi. 10.4467/20842589RM.20.007.12439

By:

CINTIOLI, Patrizio

Publication type:

Article

Mathematical Logic: Foundations for Information Science.

Published in:

2011

By:

Gennari, Rosella

Publication type:

Book Review