» książki » Mathematics - Logic
topmenu
 |
Cabal Seminar 77 - 79: Proceedings, Caltech-UCLA Logic Seminar 1977 - 79
ISBN: 9783540102885 / Angielski / Miękka / 277 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Logic, Language, Information and Computation: 17th International Workshop, Wollic 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings
ISBN: 9783642138232 / Angielski / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at WoLLIC 2010: 17th Workshop on Logic, Language, Information and Computation held during July 6-9, 2010, on the campus of Universidade de Bras ?lia (UnB), Brazil. The Workshop on Logic, Language, Information and Computation (WoL- LIC) is an annual event, meeting every year since 1994, which aims at fostering interdisciplinary research in pure and applied logic. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow...
This volume contains the papers presented at WoLLIC 2010: 17th Workshop on Logic, Language, Information and Computation held during July 6-9, 2010, on...
|
cena:
201,24 |
 |
Inductive Logic Programming: 19th International Conference, Ilp 2009, Leuven, Belgium, July 2-4, 2010, Revised Papers
ISBN: 9783642138393 / Angielski / Miękka / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The ILP conference series has been the premier forum for work on logic-based approaches to machine learning for almost two decades. The 19th International Conference on Inductive Logic Programming, which was organized in Leuven, July2-4,2009, continuedthistraditionbutalsoreachedouttoothercommunities as it was colocated with SRL-2009 the International Workshop on Statistical RelationalLearning, andMLG-2009 the7thInternationalWorkshoponMining andLearningwithGraphs. While thesethreeseriesofeventseachhavetheirown focus, emphasis andtradition, they essentiallysharethe problemthatis studied:...
The ILP conference series has been the premier forum for work on logic-based approaches to machine learning for almost two decades. The 19th Internati...
|
cena:
201,24 |
 |
Elements of Intuitionism
ISBN: 9780198505242 / Angielski / Twarda / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics has been completely revised for this second edition. Brouwer's proof of the Bar Theorem has been reworked, the account of valuation systems simplified, and the treatment of generalized Beth Trees and the completeness of intuitionistic first-order logic rewritten. Readers are assumed to have some knowledge of...
This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionisti...
|
cena:
1119,89 |
 |
The Logica Yearbook 2009
ISBN: 9781848900097 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2009, Hejnice, the Czech Republic. the articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.
This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2009, Hejnice, the Czech Rep...
|
cena:
125,16 |
 |
Principles and Practice of Constraint Programing-CP 2013: 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings
ISBN: 9783642406263 / Angielski / Miękka / 898 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies.
This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (C...
|
cena:
201,24 |
 |
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, Gulp
ISBN: 9783642143083 / Angielski / Miękka / 329 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book celebratesthe 25th anniversaryof GULP--the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of their ?elds, it presents an up-to-date survey of a broad collection of topics in logic programming, making it a useful reference for both researchers and students. During its 25-year existence, GULP has organised a wide range of national and international activities, including both conferences and summer schools. It has been especially active in supporting and encouraging young researchers, by providing scholarships for GULP events and awarding...
This book celebratesthe 25th anniversaryof GULP--the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of the...
|
cena:
201,24 |
 |
The Mathematics of Language: 10th and 11th Biennial Conference, Mol 10, Los Angeles, Ca, Usa, July 28-30, 2007 and Mol 11, Bielefeld, Germany, Augu
ISBN: 9783642143212 / Angielski / Miękka / 297 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains a selection of papers presented at the 10th and 11th Meeting of the Association for Mathematics of Language, held in Los Angeles, CA, USA in July 2007 and in Bielefeld, Germany, in August 2009. This title reflects a range of theoretical topics relating to language and computation.
Contains a selection of papers presented at the 10th and 11th Meeting of the Association for Mathematics of Language, held in Los Angeles, CA, USA in ...
|
cena:
201,24 |
 |
Logic, Rationality, and Interaction: 4th International Workshop, Lori 2013, Hangzhou, China, October 9-12, 2013, Proceedings
ISBN: 9783642409479 / Angielski / Miękka / 363 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book collects the papers presented at the 4th International Workshop on Logic, Rationality and Interaction/ (LORI-4), held in October 2013 at the /Center for the Study of Language and Cognition, Zhejiang University, Hangzhou, China. LORI is a series that brings together researchers from a variety of logic-related fields: Game and Decision Theory, Philosophy, Linguistics, Computer Science and AI. This year had a special emphasis on Norms and Argumentation. Out of 42 submissions, 23 full papers and 11 short contributions have been selected through peer-review for inclusion in the workshop...
This book collects the papers presented at the 4th International Workshop on Logic, Rationality and Interaction/ (LORI-4), held in October 2013 at the...
|
cena:
201,24 |
 |
Modeling and Using Context: 8th International and Interdisciplinary Conference, Context 2013, Annecy, France, October 28 - 31, 2013, Proceedings
ISBN: 9783642409714 / Angielski / Miękka / 381 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 8th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2013, held in Annecy, France, in October/November 2013. The 23 full papers and 9 short papers presented were carefully reviewed and selected from numerous submissions. In addition the book contains two keynote speeches and 9 poster papers. They cover cutting-edge results from the wide range of disciplines concerned with context, including: Cognitive Sciences (Linguistics, Psychology, Computer Science, Neuroscience), and computer science (artificial...
This book constitutes the proceedings of the 8th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2013, held in A...
|
cena:
201,24 |
 |
Tbilisi Mathematical Journal Volume 2 (2009)
ISBN: 9781904987819 / Angielski / Miękka / 142 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Tbilisi Mathematical Journal (TMJ) is a fully refereed international journal, publishing original research papers in all areas of mathematics. Papers should satisfy the high standards and only works of high quality will be recommended for publication. The Management Committee may occasionally decide to invite the submission of survey and expository papers of the highest quality. Unsolicited submissions of survey and expository papers will not be considered for publication. Volume 2 (2009) contains seven research papers by outstanding mathematicians in areas ranging from sochasics to...
Tbilisi Mathematical Journal (TMJ) is a fully refereed international journal, publishing original research papers in all areas of mathematics. Papers ...
|
cena:
71,21 |
 |
Kurt Gödel: Essays for His Centennial
ISBN: 9780521115148 / Angielski / Twarda / 373 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Kurt Godel (1906 1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Godel s centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Godel s writings are among the topics covered. Several chapters discuss his intellectual development...
Kurt Godel (1906 1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his ...
|
cena:
586,30 |
 |
Logic, Volume 1
ISBN: 9781144907455 / Angielski / Miękka / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is an EXACT reproduction of a book published before 1923. This IS NOT an OCR'd book with strange characters, introduced typographical errors, and jumbled words. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as part of our continuing commitment to the preservation of printed works worldwide. We appreciate your...
This is an EXACT reproduction of a book published before 1923. This IS NOT an OCR'd book with strange characters, introduced typographical errors, and...
|
cena:
111,99 |
 |
Temporal Logic: Volume 1
ISBN: 9780198537694 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference for...
This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begi...
|
cena:
1433,08 |
 |
Proof and Disproof in Formal Logic
ISBN: 9780198530268 / Angielski / Twarda / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a formal system-a collection of rules and axioms, which define a universe of logical proofs-is what gives us programming languages and modern-day programming. This book concentrates on using logic as a tool: making and using formal proofs and disproofs of...
Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic wo...
|
cena:
354,30 |
 |
The Art of Proof: Basic Training for Deeper Mathematics
ISBN: 9781441970220 / Angielski / Twarda / 182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Art of Proof is designed for a one-semester or two-quarter course. A typical student will have studied calculus (perhaps also linear algebra) with reasonable success. With an artful mixture of chatty style and interesting examples, the student's previous intuitive knowledge is placed on solid intellectual ground. The topics covered include: integers, induction, algorithms, real numbers, rational numbers, modular arithmetic, limits, and uncountable sets. Methods, such as axiom, theorem and proof, are taught while discussing the mathematics rather than in abstract isolation. The book...
The Art of Proof is designed for a one-semester or two-quarter course. A typical student will have studied calculus (perhaps also linear algebr...
|
cena:
160,83 |
 |
Meaning, Logic and Ludics
ISBN: 9781848164567 / Angielski / Twarda / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two decades. It is based on some of the most recent theories in logic, such as linear logic and ludics, first created by Jean-Yves Girard, and it also provides some sharp analyses of computational semantical representations, explaining advanced theories in theoretical computer sciences, such as the lambda-mu and Lambek-Grishin calculi which were applied by Philippe de Groote and Michael Moortgat. The author also looks at Aarne Ranta's...
This book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two de...
|
cena:
617,12 |
 |
Transactions on Rough Sets XII
ISBN: 9783642144660 / Angielski / Miękka / 339 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Volume XII of the Transactions on Rough Sets (TRS) includes articles that are part of a special issue on Rough Set Structuring of Knowledge. These articles are extended versions of papers accepted for presentation at the Rough Set and Knowledge Technology Conference (RSKT 2008) organized in Chengdu, China, in May 2008. In fact, this conference did not take place because of the earthquake that dramatically hit the Chengdu province just before the event. The editors selected some papers accepted for RSKT 2008 and invited their authors to submit extended versions to this issue. The 11...
Volume XII of the Transactions on Rough Sets (TRS) includes articles that are part of a special issue on Rough Set Structuring of Knowledge. These art...
|
cena:
201,24 |
 |
Theories of Computability
ISBN: 9780521153430 / Angielski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Broad in coverage, mathematically sophisticated, and up to date, this book provides an introduction to theories of computability. It treats not only "the" theory of computability (the theory created by Alan Turing and others in the 1930s), but also a variety of other theories (of Boolean functions, automata and formal languages) as theories of computability. These are addressed from the classical perspective of their generation by grammars and from the more modern perspective as rational cones. The treatment of the classical theory of computable functions and relations takes the form of a...
Broad in coverage, mathematically sophisticated, and up to date, this book provides an introduction to theories of computability. It treats not only "...
|
cena:
270,55 |
 |
Karl Menger: Ergebnisse Eines Mathematischen Kolloquiums
ISBN: 9783211831045 / Niemiecki / Book / 479 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die von Karl Menger und seinen Mitarbeitern (darunter Kurt Godel) herausgegebenen Ergebnisse eines Mathematischen Kolloquiums zahlen zu den wichtigsten Quellenwerken der Wissenschafts- und Geistesgeschichte der Zwischenkriegszeit, mit bahnbrechenden Beitragen von Menger, Godel, Tarski, Wald, John von Neumann und vielen anderen. In diesem Band liegt der Inhalt erstmals gesammelt vor. Der Nobelpreistrager Gerard Debreu schrieb die Einleitung, die Kommentare wurden vom Logiker und Godel-Biographen John Dawson jr., dem Topologen Ryszard Engelking und dem Wirtschaftstheoretiker Werner Hildenbrand...
Die von Karl Menger und seinen Mitarbeitern (darunter Kurt Godel) herausgegebenen Ergebnisse eines Mathematischen Kolloquiums zahlen zu den wichtigste...
|
cena:
339,63 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
