A Precis of Mathematical Logic, Otto Bird; J.M. Bochenski
Автор: Herbert Enderton Название: A Mathematical Introduction to Logic, ISBN: 0122384520 ISBN-13(EAN): 9780122384523 Издательство: Elsevier Science Рейтинг: Цена: 13994.00 р. Наличие на складе: Поставка под заказ.
Описание: Presents material on computer science issues such as computational complexity and database queries, with coverage of introductory material such as sets. This book helps instructors with choices in how they use the textbook in courses, and reduced mathematical rigour to fit the needs of undergraduate students.
Автор: Walicki Michal Название: Introduction to Mathematical Logic ISBN: 9814343862 ISBN-13(EAN): 9789814343862 Издательство: World Scientific Publishing Цена: 9504.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.Starting with the basics of set theory, induction and computability, it covers propositional and first-order logic -- their syntax, reasoning systems and semantics. Soundness and completeness results for Hilbert's and Gentzen's systems are presented, along with simple decidability arguments. The general applicability of various concepts and techniques is demonstrated by highlighting their consistent reuse in different contexts.Unlike in most comparable texts, presentation of syntactic reasoning systems precedes the semantic explanations. The simplicity of syntactic constructions and rules -- of a high, though often neglected, pedagogical value -- aids students in approaching more complex semantic issues. This order of presentation also brings forth the relative independence of syntax from the semantics, helping to appreciate the importance of the purely symbolic systems, like those underlying computers.An overview of the history of logic precedes the main text, while informal analogies precede introduction of most central concepts. These informal aspects are kept clearly apart from the technical ones. Together, they form a unique text which may be appreciated equally by lecturers and students occupied with mathematical precision, as well as those interested in the relations of logical formalisms to the problems of computability and the philosophy of logic.
Автор: Dimiter G. Skordev Название: Mathematical Logic and Its Applications ISBN: 1461282349 ISBN-13(EAN): 9781461282341 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Elliot Mendelsohn Название: Introduction to Mathematical Logic ISBN: 1461572908 ISBN-13(EAN): 9781461572909 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Recursion theory is gone into a little more deeply, including the s-m-n theorem, the recursion theorem, and Rice`s Theorem. (3) In Chapter 2, Quantification Theory, Henkin`s proof of the completeness theorem has been postponed until the reader has gained more experience in proof techniques.
Автор: Otto Bird; J.M. Bochenski Название: A Precis of Mathematical Logic ISBN: 9027700737 ISBN-13(EAN): 9789027700735 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The work of which this is an English translation appeared originally in French as Precis de logique mathematique.
Автор: Jaakko Hintikka; I. Niiniluoto; Esa. Saarinen Название: Essays on Mathematical and Philosophical Logic ISBN: 9400998279 ISBN-13(EAN): 9789400998278 Издательство: Springer Рейтинг: Цена: 35218.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyvaskyla, Finland, June 29-July 6, 1976.
Автор: Petio P. Petkov Название: Mathematical Logic ISBN: 1461278902 ISBN-13(EAN): 9781461278900 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory.
Автор: A. Lightstone Название: Mathematical Logic ISBN: 1461587522 ISBN-13(EAN): 9781461587521 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Classically, the predicates and variables of the predicate calculus are kept distinct, inasmuch as no variable is also a predicate; moreover, each predicate is assigned an order, a unique natural number that indicates the length of each tuple to which the predicate can be prefixed.
Автор: David Louvish; R. Fra?ss? Название: Course of Mathematical Logic ISBN: 9027705100 ISBN-13(EAN): 9789027705105 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is addressed primarily to researchers specializing in mathemat- ical logic. It may also be of interest to students completing a Masters Degree in mathematics and desiring to embark on research in logic, as well as to teachers at universities and high schools, mathematicians in general, or philosophers wishing to gain a more rigorous conception of deductive reasoning. The material stems from lectures read from 1962 to 1968 at the Faculte des Sciences de Paris and since 1969 at the Universities of Provence and Paris-VI. The only prerequisites demanded of the reader are elementary combinatorial theory and set theory. We lay emphasis on the semantic aspect of logic rather than on syntax; in other words, we are concerned with the connection between formulas and the multirelations, or models, which satisfy them. In this context considerable importance attaches to the theory of relations, which yields a novel approach and algebraization of many concepts of logic. The present two-volume edition considerably widens the scope of the original French] one-volume edition (1967: Relation, Formule logique, Compacite, Completude). The new Volume 1 (1971: Relation et Formule logique) reproduces the old Chapters 1, 2, 3, 4, 5 and 8, redivided as follows: Word, formula (Chapter 1), Connection (Chapter 2), Relation, operator (Chapter 3), Free formula (Chapter 4), Logicalformula, denumer- able-model theorem (L6wenheim-Skolem) (Chapter 5), Completeness theorem (G6del-Herbrand) and Interpolation theorem (Craig-Lyndon) (Chapter 6), Interpretability of relations (Chapter 7).
Автор: Wolfgang Lenski; Gert H. M?ller; Peter G. Hinman Название: ?-Bibliography of Mathematical Logic ISBN: 3662090635 ISBN-13(EAN): 9783662090633 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Gert H. M ller The growth of the number of publications in almost all scientific areas, - as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica- tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview ofthe existing literature, partic- ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for More specifically, if someone vaguely knows that something vaguely connected with his interests exists some- where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg II. Non-c1assical Logics W. Rautenberg IH. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. ProofTheory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra.
Автор: Heinz-Dieter Ebbinghaus; Gert H. M?ller; Wolfgang Название: ?-Bibliography of Mathematical Logic ISBN: 3662090600 ISBN-13(EAN): 9783662090602 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Gert H. M ller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica- tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic- ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for More specifically, if someone vaguely knows that something vaguely connected with his interests exists some- where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. ProofTheory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
