Results 101 to 110 of about 2,965,126 (259)

A course in model theory: an introduction to contemporary mathematical logic [PDF]

, 2001
Bruno Poizat, Melanie Klein
openalex   +1 more source

Mathematics and Logic for Digital Devices.

, 1959
Raymond J. Nelson, James T. Culbertson
openalex   +2 more sources

Uri Abraham. Aronszajn trees on ℵ₂ and ℵ₃ . Annals of pure and applied logic, vol. 24 (1983), pp. 213–230. - James Cummings and Matthew Foreman. The tree property. Advances in mathematics, vol. 133 (1998), pp. 1–32. - Menachem Magidor and Saharon Shelah. The tree property at successors of singular cardinals. Archive for mathematical logic, vol. 35 (1996), pp. 385–404. [PDF]

, 2001
Arthur W. Apter
openalex   +1 more source

The automated classificatory of computer tomography results for lumbar spine geometric modeling

Doklady Belorusskogo gosudarstvennogo universiteta informatiki i radioèlektroniki, 2019
The results of the study of a lumbar spine three-dimensional geometric model basic parameters were adduced. Modeling process was based on a spine computer tomography images received by the Gomel regional clinical hospital. The automated system was worked
N. N. Masalitina, K. S. Kurochka
doaj  

Mathematical Logic [PDF]

Nature, 1952
openaire   +1 more source

Fuzzy logic: mathematical tools for approximate reasoning [PDF]

, 2002
Giangiacomo Gerla
openalex   +1 more source

INTEGRATED PROGRAMMATIC ENVIRONMENT OF THE DEPARTMENTAL OF MATHEMATICAL LOGIC OF «MATLOG»

Інформаційні технології і засоби навчання, 2010
The article deals with the introduction of new information technologies into the process of mathematical logic learning at the Kherson State University. The basic components of program system of mathematical logic learning are considered.
Yurii I. Sinko
doaj  

A Logical Expansion in Mathematics [PDF]

Bulletin of the American Mathematical Society, 1932
openaire   +4 more sources

Andreas Weiermann. How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study. The journal of symbolic logic, vol. 63 (1998), pp. 1348–1370. [PDF]

, 2002
Thomas Strahm
openalex   +1 more source

The Methodical Recommendations of Study of a Theme “Normal Forms for the Formulas of Algebra of the Statements” with use of Integrated Program Environment “MatLog”.

Ìнформаційні технології в освіті, 2008
In the article the speech goes about implementation of new information technologies in process of mathematical logic learning at the Kherson State University.
Y. I. Sinko
doaj