Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Deduction



КнигаСтраницы для поиска
Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь72
Jurafsky D., Martin J.H. — Speech and Language Processing691
Dodge C.W. — Sets, logic & numbers27
Good P.I., Hardin J.W. — Common Errors in Statistics : (and How to Avoid Them)19, 73
Bilaniuk S. — A Problem Course in Mathematical Logic (vol. 1)16, 43
Rips J.L. — The psychology of proof: deductive reasoning in human thinkingSee also Inference rule; Logic; PSYCOP/PSYCOP+; Reasoning; Syllogism
Levitz K., Levitz H. — Logic and Boolean Algebra52
Lippman S.B., Lajoie J., Moo B.E. — C++ Primer
Dodge C.W. — Foundations of algebra and analysis27
Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra41
Wolkenhauser O. — Data Engineering: Fuzzy Mathematics in Systems Theory and Data Analysis74, 225
Marchisotto E.A., Smith J.T. — Legacy of Mario Pieri in Geometry and ArithmeticSee consequence
Kline M. — Mathematics in Western Culture26—30, 44—45
Buzaglo M. — Logic of Concept Expansion3, 23, 54—57, 59, 60—63, 95
Brown J.R. — Philosophy of Mathematics: An Introduction to a World of Proofs and Pictures67, 182
Curien P.-L. — Categorical Combinators, Sequential Algorithms, and Functional Programming2.1.1
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP207
Bergmann R., Althoff K.-D., Breen S. — Developing Industrial Case-Based Reasoning Applications14
Norman G.R., Streiner D. — Biostatistics: the bare essentials205
Schank R.C. — Computer models of thought and language16f.
Troelstra A.S. — Basic proof theory20
Kempthorne O. — Design and Analysis of Experiments, Introduction to Experimental Design, Vol. 16 — 7
Beth E.W. — The foundations of mathematics: A study in the philosophy of sciencev. "Derivation", "Inference", "Natural deduction", "Proof"
Chang C.C., Keisler H.J., Troelstra A.S. — Model Theory9
Copi I.M., Cohen C. — Introduction to logic46, 295—323
Mario Bunge — Foundations of Physics72
Van Orman Quine W. — Methods of Logic154
Conen W., Neumann G. — Coordination Technology for Collaborative Applications: Organizations, Processes, and Agents223
Jeffreys H. — Theory of probability1, 3, 17
Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming236
Curry H.B. — Foundations of Mathematical Logic198
Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах54
Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics246
Rapoport A. — N-person game theory: Concepts and Applications12
Bunge M. — Foundations of Physics72
Kline M. — Mathematics for the Nonmathematician30, 41 ff., 128
Elliott Mendelson — Introduction to mathematical logic30
Davis P., Hersh R. — The Mathematical Experience47
Bell E.T. — Mathematics: Queen and Servant of Science266, 268, 288
Birkhoff G.D., Beatley R. — Basic Geometry273—277
Muir J. — Of Men and Numbers: The Story of the Great Mathematicians9—10, see also "Axiomatic method and logic"
Curry H.B. — Foundations of mathematical logic198
Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming76, 77, 128, 283
Russel B. — Principles of Mathematics522
Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Sciencevi
Barnes D., Mack J. — An Algebraic Introduction to Mathematical Logic15, 31
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте