|
|
 |
| Результат поиска |
Поиск книг, содержащих: modus ponens
| Книга | Страницы для поиска | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 20 | | Мендельсон Э. — Введение в математическую логику | 38 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 63 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 112, 122, 142 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 238, 250, 256, 290, 394, 443 | | Голдблатт Р. — Топосы. Категорный анализ логики. | 145 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 94 | | Карри Х.Б. — Основания математической логики | 263, 483 | | Абельсон Х., Сассман Д.Д., Сассман Д. — Структура и интерпретация компьютерных программ | 395п | | Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2 | 411.I | | Гладкий А.В. — Введение в современную логику | 88 | | Grimaldi R.P. — Discrete and combinatorial mathematics. An introduction | 80, 84, 88, 126, 127, 323 | | Jurafsky D., Martin J.H. — Speech and Language Processing | 691 | | Chagrov A., Zakharyaschev M. — Modal logic | 11 | | Siler W., Buckley J.J. — Fuzzy Expert Systems and Fuzzy Reasoning | 35—36 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 100 | | Bilaniuk S. — A Problem Course in Mathematical Logic (vol. 1) | 15, 43 | | Messer R. — Linear Algebra: Gateway to Mathematics | 266 | | Rips J.L. — The psychology of proof: deductive reasoning in human thinking | vii-viii, 34—36,41—45,68, 125, 178, 300, 401n1. See also Inference rules | | Kneebone G.T. — Mathematical Logic and the Foundation of Mathematics | 43, 177, 179, 255, 281 | | Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic | 63 | | Клини С.К. — Введение в метаматематику | 91 | | Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers | 39, 65, 66, 67, 84, 114, 164, 230, 396, 427, 470, 484, 487, 512, 517, 520, 534 | | Lavendhomme R. — Basic Concepts of Synthetic Differential Geometry | 272 | | Konar A. — Computational Intelligence | 9. 74 | | Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra | 41 | | Marchisotto E.A., Smith J.T. — Legacy of Mario Pieri in Geometry and Arithmetic | 316 | | Halmos P.R., Givant S. — Logic as Algebra | 23, 89, 90 | | Kyburg H.E., Teng Ch.M. — Uncertain Inference | 22, 27, 30—32, 36 | | Velleman D.J. — How to Prove It: A Structured Approach | 103 | | Dudley R.M., Fulton W. (Ed) — Real Analysis and Probability | 504 | | Devlin K.J. — Language of Mathematics: Making the Invisible Visible | 66 | | Simpson S.G. — Mathematical Logic | 39 | | Lau D. — Function Algebras on Finite Sets | 108 | | Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7 | 460 | | Barwise J., Etchemendy J., Allwein G. — Language, Proof and Logic | 198, 199, 206 | | Goldblatt R. — Topoi | 132 | | Kowalski R. — Logic for problem solving | 54 | | Hein J.L. — Discrete Mathematics | 310, 333 | | Rowe N.C. — Artifical intelligence through Prolog | 102 | | Hopcroft J.E., Motwani R., Ullman J.D. — Introduction to Automata Theory, Languages, and Computation | 7 | | Ito K. — Encyclopedic Dictionary of Mathematics | 411.I | | Бенерджи Р. — Теория решения задач | 26, 47 | | Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures | 59 | | Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP | 109 | | Слэйгл Дж. — Искусственный интелект | 117 | | Monk J.D. — Mathematical Logic | 117, 171 | | Hofstadter D.R. — Godel, Escher, Bach: An Eternal Golden Braid | see “Detachment” | | Borceux F. — Handbook of Categorical Algebra 3 | 2, 395 | | Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic | 36 | | Luger G.F., Stubblefield W.A. — Artificial Intelligence: Structures and Strategies for Complex Problem Solving | 5, 65—68, 77—78, 81, 164—165, 561, 567, 593, 596 | | Hein J.L. — Discrete Structures, Logic, and Computability | 306, 330 | | Troelstra A.S. — Basic proof theory | 43 | | Hazewinkel M. — Handbook of Algebra (part 2) | 86 | | Hein J.L. — Theory of Computation: An Introduction | 125 | | Smullyan R.M., Fitting M. — Set theory and the continuum problem | 201 | | Ramsay A. — Formal Methods in Artificial Intelligence | 13 | | Fried M.D., Jarden M. — Field Arithmetic | 150 | | Ковальски Р. — Логика в решении проблем | 68 | | Kraetzschmar G.K. — Distributed Reason Maintenance for Multiagent Systems | 35, 71 | | Enderton H.B. — A Mathematical Introduction to Logic | 66, 110—111, 116 | | David O.Tall — Advanced Mathematical Thinking | 113 | | Gleason A. — Fundamentals of Abstract Analysis | 19 | | Beth E.W. — The foundations of mathematics: A study in the philosophy of science | 71, 191, 205ff., 208, 228, 414 | | Chang C.C., Keisler H.J., Troelstra A.S. — Model Theory | 9, 25 | | Copi I.M., Cohen C. — Introduction to logic | 240—241, 297 | | Borovik A.V. — Mathematics under the microscope | 157 | | Mario Bunge — Foundations of Physics | 17 | | Giarratano J.C., Riley G.D. — Expert Systems: Principles and Programming | 115 | | Gries D. — A Logical Approach to Discrete Math | 58, 114, 119, 120 | | Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming | see "Cut elimination", "Resolution inference rule" | | Lane S.M. — Mathematics, form and function | 374 | | Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compiling | 23 | | Mott J.L., Kandel A., Baker T.P. — Discrete Mathematics For Computer Scientists And Mathematicians | 47—48, 49, 724 | | Mott J., Kandel A., Baker T. — Discrete mathematics for computer scientists and mathematicians | 47—48, 724 | | Hinman P.G. — Fundamentals of Mathematical Logic | 34, 206 | | Kneebone G.T. — Mathematical Logic and the Foundations of Mathematics: An Introductory Survey | see "Rule of inference, modus ponens" | | Ben-Ari M — Mathematical Logic for Computer Science | see "Rule of inference, modus ponens" | | Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | 116—118, 121, 122, 155, 161, 174, 182—184, 196, 197, 220, 221, 226—228, 586, 587, 599, 600, 602, 603 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 5, 706, 729 | | Zeidler E. — Oxford User's Guide to Mathematics | 877, 898 | | Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory | 37, 120 | | Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics: An Applied Introduction | 70, 73—75, 78, 108, 109 | | Gossett E. — Discrete Math with Proof | 47 | | Heinz-Dieter E., Jorg F., Wolfgang T. — Mathematical Logic | 63 | | Ebbinghaus H., Flum J., Thomas W. — Mathematical Logic: Undergraduate Texts in Mathematics (Undergraduate texts in mathematics) | 63 | | Bunge M. — Foundations of Physics | 17 | | Elliott Mendelson — Introduction to mathematical logic | 31 | | Steen S. — Mathematical Logic with Special Reference to the Natural Numbers | 39, 65, 66, 67, 84, 114, 164, 230, 396, 427, 470, 484, 487, 512, 517, 520, 534 | | Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту | 27 | | Robinson A. — Introduction to model theory and to the metamathematics of algebra | 7 | | Andrews P.B. — An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof | 11, 25, 51, 57, 156, 173 | | Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures | 60 | | Rautenberg W. — A Concise Introduction to Mathematical Logic (Universitext) | 15, 29 | | Gries D. — The science of programming | 34 | | Расёва Е., Сикорский Р. — Математика метаматематики | 193, 205, 209 | | Mac Lane S. — Mathematics: Form and Function | 374 | | Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming | 57 | | Kunen K. — The Foundations of Mathematics | 5, 119 | | Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics | 70, 73—75, 78, 108, 109 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 100, 192 | | Мендельсон Э. — Введение в математическую логику | 38 | | Steen S. — Mathematical Logic | 39, 65, 66, 67, 84, 114, 164, 230, 396, 427, 470, 484, 487, 512, 517, 520, 534 | | Barnes D., Mack J. — An Algebraic Introduction to Mathematical Logic | 15 | | Абельсон Х., Сассман Д. — Структура и интерпретация компьютерных программ | 425 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 100 |
|
|
|
|
О проекте