Ãëàâíàÿ    Ex Libris    Êíèãè    Æóðíàëû    Ñòàòüè    Ñåðèè    Êàòàëîã    Wanted    Çàãðóçêà    ÕóäËèò    Ñïðàâêà    Ïîèñê ïî èíäåêñàì    Ïîèñê    Ôîðóì   
Ìåõìàòÿíàì
square Ïåðâûé êóðñ

square Âòîðîé êóðñ

square Òðåòèé êóðñ

square ×åòâåðòûé êóðñ

square Ïÿòûé êóðñ
blank
Àâòîðèçàöèÿ

       
blank
Ïîèñê ïî óêàçàòåëÿì

blank
Êðàñîòà
blank
blank
Ðåçóëüòàò ïîèñêà

Ïîèñê êíèã, ñîäåðæàùèõ: Tautology



ÊíèãàÑòðàíèöû äëÿ ïîèñêà
Êîðìåí Ò., Ëåéçåðñîí ×., Ðèâåñò Ð. — Àëãîðèòìû: ïîñòðîåíèå è àíàëèç849
Ìàíçîí Á.Ì. — Maple V power edition214
Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2411.E
Grimaldi R.P. — Discrete and combinatorial mathematics. An introduction58, 64
Dodge C.W. — Sets, logic & numbers10
Bilaniuk S. — A Problem Course in Mathematical Logic (vol. 1)13, 38
Cameron P.J. — Combinatorics : Topics, Techniques, Algorithms194
Kneebone G.T. — Mathematical Logic and the Foundation of Mathematics33, 37, 44, 47
Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers55, 64, 66, 101, 102, 104, 105, 106, 521
Manin Yu.I. — A Course in Mathematical Logic31, 54
Dodge C.W. — Foundations of algebra and analysis10
Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra23, 24—25
Halmos P.R., Givant S. — Logic as Algebra45, 85
Velleman D.J. — How to Prove It: A Structured Approach23
Simpson S.G. — Mathematical Logic7, 39
Lau D. — Function Algebras on Finite Sets106
Barwise J., Etchemendy J., Allwein G. — Language, Proof and Logic94, 97, 100, 101, 103, 137, 218, 219, 266, 469
Goldblatt R. — Topoi129
Garey M.R., Johnson D.S. — Computers and intractability. A guide to the theory of NP-completeness261.
Kowalski R. — Logic for problem solving174, 187
Humphreys J.F., Prest M.Y. — Numbers, Groups and Codes133
Sipser M. — Introduction to the theory of computation382
Hein J.L. — Discrete Mathematics317
Lad F. — Operational Subjective Statistical Methods. A Mathematical, Philosophical, and Historical Introduction51
Rowe N.C. — Artifical intelligence through Prolog359
Kingston J.H. (ed.) — An Introduction to Computer Programming with Java129
Ito K. — Encyclopedic Dictionary of Mathematics411.E
Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures54
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP110
Monk J.D. — Mathematical Logic121, 169
Newman J.R. (ed.) — The World of Mathematics, Volume 41683—1684, 1733—1736, 1744, 1927
Knuth D.E. — The art of computer programming (Vol. 1. Fundamental algorithms)346
Hein J.L. — Discrete Structures, Logic, and Computability313
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing23
D'Angelo J.P., West D.B. — Mathematical Thinking: Problem-Solving and Proofs33
Hein J.L. — Theory of Computation: An Introduction120
Laird P.D. — Learning from good and bad data97
Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods244
Fried M.D., Jarden M. — Field Arithmetic149
Bell E.T. — The Development of Mathematics568
Reichenbach H. — Philosophic Foundations of Quantum Mechanics149, 153
Seymour L. — Schaum's Outline of Theory and Problems of Discrete Math82
Gallavotti G. — Statistical Mechanics148
Conway J.H. — Regular algebra and finite machines34
Beth E.W. — The foundations of mathematics: A study in the philosophy of science128, 362, cf. "Identity"
Chang C.C., Keisler H.J., Troelstra A.S. — Model Theory8, 24
Copi I.M., Cohen C. — Introduction to logic287, 305
Hilbert D., Ackermann W. — Principles of mathematical logic167
Mario Bunge — Foundations of Physics16
Giarratano J.C., Riley G.D. — Expert Systems: Principles and Programming84
Gries D. — A Logical Approach to Discrete Math31
Loomis L.H., Sternberg S. — Advanced calculus5
Lane S.M. — Mathematics, form and function370, 373
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 Mathematicians38
Mott J., Kandel A., Baker T. — Discrete mathematics for computer scientists and mathematicians38
Hinman P.G. — Fundamentals of Mathematical Logic32, 57, 97, 112, 360
Lipschutz S., Lipson M.L. — Schaum's outline of theory and problems of discrete mathematics82
Curry H.B. — Foundations of Mathematical Logic26, 59, see also "Classical valuation"
Kneebone G.T. — Mathematical Logic and the Foundations of Mathematics: An Introductory Survey24
Ben-Ari M — Mathematical Logic for Computer Science24
Daepp U., Gorkin P. — Reading, writing and proving. Close look at mathematics22, 31—34
Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics107, 107, 110, 111, 113, 115, 116, 123, 132, 143, 144, 162, 220, 223, 229, 236, 242, 301, 388, 405, 420—422, 584
Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137.4, 505
Zeidler E. — Oxford User's Guide to Mathematics876, 897
Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics: An Applied Introduction53, 58—61, 67, 69, 71, 76, 113
Andrews P.B. — A transfinite type theory with type variables43
Gossett E. — Discrete Math with Proof41, 45
Jablan S., Sazdanovic R. — LinKnot: knot theory by computer448
Bunge M. — Foundations of Physics16
Elliott Mendelson — Introduction to mathematical logic16
Steen S. — Mathematical Logic with Special Reference to the Natural Numbers55, 64, 66, 101, 102, 104, 105, 106, 521
Bell E.T. — Mathematics: Queen and Servant of Science63, 65
Goldblatt R. — Axiomatising the Logic of Computer Programming60
Andrews P.B. — An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof17, 19, 20, 34, 175
Sipser M. — Introduction to the Theory of Computation350
Gill A. — Applied Algebra for the Computer Sciences122
Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures54
Rautenberg W. — A Concise Introduction to Mathematical Logic (Universitext)14, 50
Hill F.J., Peterson G.R. — Computer Aided Logical Design with Emphasis on VLSI4, 145
Curry H.B. — Foundations of mathematical logic26, 59, see also "Classical valuation"
Gries D. — The science of programming14
Mac Lane S. — Mathematics: Form and Function370, 373
Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming12, 31, 45, 77
Kunen K. — The Foundations of Mathematics118-119
Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics53, 58—61, 67, 69, 71, 76, 113
D'Angelo J.P., West D.B. — Mathematical thinking: problem-solving and proofs33
Shoenfield J.R. — Mathematical Logic26
Steen S. — Mathematical Logic55, 64, 66, 101, 102, 104, 105, 106, 521
Barnes D., Mack J. — An Algebraic Introduction to Mathematical Logic14, 30
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå