Results 91 to 100 of about 2,965,126 (259)

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

On the calculus of positively constructed formulas for authomated theorem proving

Моделирование и анализ информационных систем, 2010
The paper deals with an expressive logic language LF and its calculus. Formulas of this language consist of some large-block structural elements, such as type quanti¯ers.
A. V. Davydov, A. A. Larionov, E. A. Cherkashin   +2 more
doaj  

The way of logic into mathematics

, 1997
A discussion of mathematical and philosophical currents that fed into the development of formal logic during the period 1830-1930. Activities in Germany and Great Britain are emphasized.
openaire   +2 more sources

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

, 1988
K. Jon Barwise
openalex   +1 more source

The effectiveness of using animation media to improve mathematical logic intelligence

INSANIA: Jurnal Pemikiran Alternatif Kependidikan
Mathematics is the main subject. Mathematics solves many problems in many fields, namely biology, physics, chemistry, astronomy, calculus, statistics, computer programming, and others.
Siti Sarah, Latif Al Ahmasi, Saudah, Muhammad Isa   +3 more
doaj   +1 more source

STRUCTURE AND POSSIBILITIES OF PM «SOLVING ENVIRONMENT» OF INTEGRATED PROGRAMMATIC ENVIRONMENT «MATHLOGIC V.2».

Ìнформаційні технології в освіті, 2009
This article presents the PM ‘Solving environment’ of integrated programmatic environment Mathlogic v.2, (ML2) which was made within the framework of project of Terra Mathematica in the Laboratory of Pedagogical Software Development and Implementation ...
O. V. Scherbina, V. S. Peschanenko, M. S. Lvov   +2 more
doaj  

Artifice and the Natural World: Mathematics, Logic, Technology [PDF]

, 2000
James Franklin
openalex   +1 more source

MATEMATİKSEL (?) MANTIK

Felsefe Dünyası, 2009
İskender TAŞDELEN, "MATEMATİKSEL (?) MANTIK", FELSEFE DÜNYASI, SAYI ...
İskender Taşdelen
doaj  

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

Second-Order Logic and Foundations of Mathematics [PDF]

, 2001
Jouko Väänánen
openalex   +1 more source