Results 71 to 80 of about 528,576 (239)

HUMANIZATION AND HUMANITATION OF MATHEMATICAL EDUCATION AND ROLE OF MATHEMATICAL LOGIC IN THESE PROCESSES

Ìнформаційні технології в освіті, 2011
In this article the speech goes about humanization and humanitation of education in general and mathematical education in particular. Maintenance of these concepts is opened up, the phenomena and processes which they entailed and the role of mathematical
Y. I. Sinko
doaj  

Notes on Logic, by Roger C. Lyndon. Van Nostrand Mathematical Studies No. 6. vi + 97 pages. New York, 1966. $2.50. [PDF]

, 1967
R. A. Staal
openalex   +1 more source

From Frege to Gödel, edited by Jean van Heijenoort. (A source book in mathematical logic, 1879-1931). Cambridge, Mass., Saunders of Toronto, 1967. x+660 pages. $18.50. [PDF]

, 1968
J. Lambek
openalex   +1 more source

Mathematical Fuzzy Logics

Bulletin of Symbolic Logic, 2008
AbstractThe last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics.The paper discusses the mathematical background for the interest in such systems of mathematical fuzzy logics, as well as the most important ones of them.
openaire   +3 more sources

What is mathematical logic? [PDF]

, 1978
John Corcoran, Stewart Shapiro
openalex   +1 more source

Logic and Metalogic: a Historical Sketch

Studia Humana
This paper briefly discusses the relations between logic and metalogic in history. Metalogic is understood as a reflection on logic in its various senses, particularly sensu stricto (formal, mathematical) and sensu largo (formal logic plus semantic plus ...
Woleński Jan
doaj   +1 more source

How relevance of philosophy, science and philosophy science through the study of mathematical logic?

Al-Jabar
Background: Philosophy, science, and the philosophy of science serve as interconnected systems of expression that can be utilized as benchmarks and standards of truth across various fields.
Farida Farida, Andra Rotama, Dharmawan Dharmawan, Agus Pahrudin   +3 more
doaj   +1 more source

TPGITF user's manual [PDF]

The primary purpose of TPG interface (TPGITF) software is to create test patterns, according to a mathematical model, for a real device. In order for the device actually to be tested or to be accurately simulated, a means is required to transform the ...
Pitts, E. R.
core   +1 more source

S. W. P. Steen, Mathematical Logic with special reference to the natural numbers (Cambridge University Press, 1972) xvi+638 pp., £15. [PDF]

, 1972
M. T. Partis
openalex   +1 more source

Book Review: $\Omega$-bibliography of mathematical logic, Vol. I: Classical logic [PDF]

, 1988
K. Jon Barwise
openalex   +1 more source