LOGIC, PRIMES AND COMPUTATION: A TALE OF UNREST by STEFANO LEONESI, CARLO TOFFALORI

“… The early connections between Mathematical Logic and Computer Science date back to the thirties and to the birth itself of modern Theoretical Computer Science, and concern computability. …”
Get full text

Pembekalan Pemrograman Dasar Komputer bagi Guru TIK dan Siswa Terpilih di Tiga Mitra SMA Kabupaten Bangkalan by Sri Wahyuni, Fika Hastarita Rachman, Yonathan Ferry Hendrawan

“…It has two kinds of tests. Tey were mathematical logic and programming problem solving. Because of the lacking in teacher’s programming skill, the preparation event focused only on mathematical logic. …”
Get full text

Pelatihan MIT App Inventor sebagai Upaya Meningkatkan Kemampuan Berpikir Logis Siswa SMAN 4 Parepare by Putri Ayu Maharani, Indar Chaerah Gunadin, Naili Suri Intizhami, Eka Qadri Nuranti, Mardhiyyah Rafrin, Muh. Agus, M. Fauzan Iskandar, Sitti Rahma Yunus, Muhammad Faruq Al-Fauzi S., Muh. Abubakar Tunru

“…This community service activity aims to improve the logical thinking abilities of SMAN 4 Parepare students by teaching the application of mathematical logic in compiling computer instructions based on MIT App Inventor. …”
Get full text

Praktikalitas dan Efektivitas Modul Logika Matematika Berbasis Problem Based Learning (PBL) by riska novia sari, yessy yusnita

“…Based on the analysis it was concluded that the modules were developed practically were used in mathematical logic lectures and effective in supporting student competence Keywords: module, mathematical logic, problem based learning…”
Get full text

Formation of signal informa tion of equipment and products by V.H. Al-Tibbi, K.V. Vishnevskiy, L.A. Zhuravlev

“…Based on the use of the terms of set theory and mathematical logic and operations on them before the general approach to signal information about the equipment on the production and sharing of both types of information…”
Get full text

Frege, Peano and the Interplay between Logic and Mathematics by Joan Bertran-San Millán

“…However, I shall then suggest that Peano also used his mathematical logic in such a way that anticipated a formalisation of mathematical theories which was incompatible with Frege’s conception of logic.…”
Get full text

Long cycles in hypercubes with distant faulty vertices by Petr Gregor, Riste Škrekovski

Get full text

Reasoning and its Applications / by Yoon, Jolyn, author 648091

“…The properties of logic which may be used to reason are studied in mathematical logic. The field of automated reasoning studies how reasoning may be modeled computationally. …”
Get full text

Linguistic Data Model for Natural Languages and Artificial Intelligence. Part 5. Introduction to Logic by O. M. Polyakov

“…It is shown that the application of mathematical logic, regardless of its type, to the study of natural language logic faces significant problems. …”
Get full text

Definiteness-indefiniteness category and logical quantification by Violetta Koseska-Toszewa

“…Similarly, a proper name in a natural language is not a unique name, like in mathematical logic, but requires additional unique quantification. …”
Get full text

Arabic Learning Based on Multiple Intelligence at Markaz Arabiya by Moh Sholeh Afyuddin, Rena Rafidania, Ivan Fajriyanur

“…However, among those the several intelligences, linguistic intelligence, mathematical logic, kinesthetic and interpersonal intelligence, are the most dominant intelligences.…”
Get full text

Persamaan terbitan biasa linear peringkat kedua; Penyediaan dan penggunaan karbon teraktif daripada tempurung kelapa sawit dalam analisis sebatian fenolik; Kajian kimia sebatian se... by Che Moh Che Soh, Ho, Poh Wee, Neelavany Marimuthu, Pua, Chew Peng, Zaidatun Tasir, 1972-

Formation of signal informa tion of equipment and products by V.H. Al-Tibbi, K.V. Vishnevskiy, L.A. Zhuravlev

“…Based on the use of the terms of set theory and mathematical logic and operations on them before the general approach to signal information about the equipment on the production and sharing of both types of information…”
Get full text

What If Quantum Theory Violates All Mathematics? by Rosinger Elemér Elad

“…It is shown by using a rather elementary argument in Mathematical Logic that if indeed, quantum theory does violate the famous Bell Inequalities, then quantum theory must inevitably also violate all valid mathematical statements, and in particular, such basic algebraic relations like 0 = 0, 1 = 1, 2 = 2, 3 = 3, … and so on ……”
Get full text

Mathematical Creativity, Cohen Forcing, and Evolving Systems: Elements for a Case Study on Paul Cohen by Benjamin Dickman

“…This paper provides a proof of concept for how one might begin to explore questions about the creative development of Cohen forcing, a powerful technique in Set Theory and Mathematical Logic.…”
Get full text

KEMAMPUAN MENERJEMAHKAN EKSPRESI ALJABAR DITINJAU DARI KECERDASAN MAJEMUK SISWA by Hartono Hartono, Nadya Febriani, Iwit Prihatin

“…The students' understanding could be seen from the ability to explain, in this case the intelligence studied was only four domains, namely: linguistic intelligence, mathematical logic, visual-spatial and interpersonal intelligence. …”
Get full text

The logic of the nation: nationalism, formal logic, and interwar Poland by Dunning, DE

“…Between the World Wars, a robust research community emerged in the nascent discipline of mathematical logic in Warsaw. Logic in Warsaw grew out of overlapping imperial legacies, launched mainly by Polish-speaking scholars who had trained in Habsburg universities and had come during the First World War to the University of Warsaw, an institution controlled until recently by Russia and reconstructed as Polish under the auspices of German occupation. …”

History of Logic in Contemporary China (1949–2021) by Bo Chen, Jan Vrhovski

“…Moreover, the great majority of the contributions collected in this issue were authored by the leading Chinese researchers in the relevant subfields of logic, from philosophers of logic to established experts in branches of logic such as mathematical logic, inductive logic and so on. …”
Get full text

Mathematical Creativity, Cohen Forcing, and Evolving Systems: Elements for a Case Study on Paul Cohen by Benjamin Dickman

“…This paper provides a proof of concept for how one might begin to explore questions about the creative development of Cohen forcing, a powerful technique in Set Theory and Mathematical Logic.…”
Get full text

The Dilemmas of the Contemporary World by Zdenek Mikolas

“…The main methodological principles of the research are the diagnostic – therapeutic approach to the world and the development, and the techniques of mathematical logic modeling through the description and scenarios.…”
Get full text