"first order logic" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Metalogic: An introduction to the metatheory of standard first order logic

Hunter G.

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

5.64 Mb

#2

First-Order Logic

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.41 Mb

#3

First-Order Logic

Raymond M. Smullyan

Категория: Математика, Математическая логика

1.77 Mb

#4

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Geoffrey Hunter

21.67 Mb

#5

On the Expressive Power of First-Order Logic with Built-In Predicates

Nicole Schweikardt

1.90 Mb

#6

First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science)

Melvin Fitting

1.85 Mb

#7

First Order Mathematical Logic

Angelo Margaris

Категория: Математика, Прикладная математика

1.52 Mb

#8

First-Order Dynamic Logic

Harel D.

Категория: Cs_Computer science, CsLn_Lecture notes, 0-999

1.19 Mb

#9

The Logic of Adaptive Behavior: Knowledge Representation and Algorithms for Adaptive Sequential Decision Making under Uncertainty in First-Order and Relational Domains (Frontiers in Artificial Intelligence and Applications)

M. Van Otterlo

8.94 Mb

#10

First-order logic

Raymond M. Smullyan

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.73 Mb

#11

First-order logic

Raymond M. Smullyan

1.45 Mb

#12

First-order Logic and Automated Theorem Proving

Категория: Cs_Computer science, CsAi_AI, knowledge

1.80 Mb

#13

Metamathematics of first-order arithmetic

Petr Hajek, Pavel Pudlak

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

4.06 Mb

#14

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories

Michael Makkai, Gonzalo E. Reyes

12.72 Mb

#15

First order categorical logic. Model-theoretical methods in the theory of topoi and related categories

M. Makkai, G.E. Reyes

Категория: Lecture notes

1.82 Mb

#16

Elements of Logical Reasoning

Категория: logic, proof theory, first order logic

1.41 Mb

#17

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow

2.66 Mb

#18

Elements of Intuitionism

Michael Dummett

Категория: logic, proof theory, first order logic, intuitionistic, intuitionism, constructive reasoning, constructive demostration

3.77 Mb