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

square Второй курс

square Третий курс

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

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

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

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

Поиск книг, содержащих: 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. 2411.I
Гладкий А.В. — Введение в современную логику88
Grimaldi R.P. — Discrete and combinatorial mathematics. An introduction80, 84, 88, 126, 127, 323
Jurafsky D., Martin J.H. — Speech and Language Processing691
Chagrov A., Zakharyaschev M. — Modal logic11
Siler W., Buckley J.J. — Fuzzy Expert Systems and Fuzzy Reasoning35—36
Столл Р.Р. — Множества. Логика. Аксиоматические теории100
Bilaniuk S. — A Problem Course in Mathematical Logic (vol. 1)15, 43
Messer R. — Linear Algebra: Gateway to Mathematics266
Rips J.L. — The psychology of proof: deductive reasoning in human thinkingvii-viii, 34—36,41—45,68, 125, 178, 300, 401n1. See also Inference rules
Kneebone G.T. — Mathematical Logic and the Foundation of Mathematics43, 177, 179, 255, 281
Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic63
Клини С.К. — Введение в метаматематику91
Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers39, 65, 66, 67, 84, 114, 164, 230, 396, 427, 470, 484, 487, 512, 517, 520, 534
Lavendhomme R. — Basic Concepts of Synthetic Differential Geometry272
Konar A. — Computational Intelligence9. 74
Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra41
Marchisotto E.A., Smith J.T. — Legacy of Mario Pieri in Geometry and Arithmetic316
Halmos P.R., Givant S. — Logic as Algebra23, 89, 90
Kyburg H.E., Teng Ch.M. — Uncertain Inference22, 27, 30—32, 36
Velleman D.J. — How to Prove It: A Structured Approach103
Dudley R.M., Fulton W. (Ed) — Real Analysis and Probability504
Devlin K.J. — Language of Mathematics: Making the Invisible Visible66
Simpson S.G. — Mathematical Logic39
Lau D. — Function Algebras on Finite Sets108
Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7460
Barwise J., Etchemendy J., Allwein G. — Language, Proof and Logic198, 199, 206
Goldblatt R. — Topoi132
Kowalski R. — Logic for problem solving54
Hein J.L. — Discrete Mathematics310, 333
Rowe N.C. — Artifical intelligence through Prolog102
Hopcroft J.E., Motwani R., Ullman J.D. — Introduction to Automata Theory, Languages, and Computation7
Ito K. — Encyclopedic Dictionary of Mathematics411.I
Бенерджи Р. — Теория решения задач26, 47
Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures59
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP109
Слэйгл Дж. — Искусственный интелект117
Monk J.D. — Mathematical Logic117, 171
Hofstadter D.R. — Godel, Escher, Bach: An Eternal Golden Braidsee “Detachment”
Borceux F. — Handbook of Categorical Algebra 32, 395
Tourlakis G.J. — Lectures in Logic and Set Theory: Mathematical Logic36
Luger G.F., Stubblefield W.A. — Artificial Intelligence: Structures and Strategies for Complex Problem Solving5, 65—68, 77—78, 81, 164—165, 561, 567, 593, 596
Hein J.L. — Discrete Structures, Logic, and Computability306, 330
Troelstra A.S. — Basic proof theory43
Rasiowa H. — An algebraic approach to non-classical logics (Studies in logic and the foundations of mathematics volume 78)202
Hazewinkel M. — Handbook of Algebra (part 2)86
Hein J.L. — Theory of Computation: An Introduction125
Smullyan R.M., Fitting M. — Set theory and the continuum problem201
Ramsay A. — Formal Methods in Artificial Intelligence13
Fried M.D., Jarden M. — Field Arithmetic150
Ковальски Р. — Логика в решении проблем68
Kraetzschmar G.K. — Distributed Reason Maintenance for Multiagent Systems35, 71
Enderton H.B. — A Mathematical Introduction to Logic66, 110—111, 116
David O.Tall — Advanced Mathematical Thinking113
Gleason A. — Fundamentals of Abstract Analysis19
Beth E.W. — The foundations of mathematics: A study in the philosophy of science71, 191, 205ff., 208, 228, 414
Chang C.C., Keisler H.J., Troelstra A.S. — Model Theory9, 25
Copi I.M., Cohen C. — Introduction to logic240—241, 297
Borovik A.V. — Mathematics under the microscope157
Mario Bunge — Foundations of Physics17
Giarratano J.C., Riley G.D. — Expert Systems: Principles and Programming115
Gries D. — A Logical Approach to Discrete Math58, 114, 119, 120
Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programmingsee "Cut elimination", "Resolution inference rule"
Lane S.M. — Mathematics, form and function374
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compiling23
Mott J.L., Kandel A., Baker T.P. — Discrete Mathematics For Computer Scientists And Mathematicians47—48, 49, 724
Mott J., Kandel A., Baker T. — Discrete mathematics for computer scientists and mathematicians47—48, 724
Hinman P.G. — Fundamentals of Mathematical Logic34, 206
Kneebone G.T. — Mathematical Logic and the Foundations of Mathematics: An Introductory Surveysee "Rule of inference, modus ponens"
Ben-Ari M — Mathematical Logic for Computer Sciencesee "Rule of inference, modus ponens"
Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics116—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 Mathematics877, 898
Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory37, 120
Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics70, 73—75, 78, 108, 109
Gossett E. — Discrete Math with Proof47
Heinz-Dieter E., Jorg F., Wolfgang T. — Mathematical Logic63
Ebbinghaus H., Flum J., Thomas W. — Mathematical Logic: Undergraduate Texts in Mathematics (Undergraduate texts in mathematics)63
Bunge M. — Foundations of Physics17
Elliott Mendelson — Introduction to mathematical logic31
Steen S. — Mathematical Logic with Special Reference to the Natural Numbers39, 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 algebra7
Andrews P.B. — An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof11, 25, 51, 57, 156, 173
Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures60
Rautenberg W. — A Concise Introduction to Mathematical Logic (Universitext)15, 29
Gries D. — The science of programming34
Расёва Е., Сикорский Р. — Математика метаматематики193, 205, 209
Mac Lane S. — Mathematics: Form and Function374
Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming57
Kunen K. — The Foundations of Mathematics5, 119
Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics70, 73—75, 78, 108, 109
Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга100, 192
Мендельсон Э. — Введение в математическую логику38
Steen S. — Mathematical Logic39, 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 Logic15
Абельсон Х., Сассман Д. — Структура и интерпретация компьютерных программ425
Столл Р.Р. — Множества. Логика. Аксиоматические теории100
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте