topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 11
 |
Uma Vers O Mais Curta de Teoria DOS Modelos
ISBN: 9781848900950 / Portugalski / Miękka / 2012 / 338 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) Eis um livro-texto atualizado de teoria de modelos levando o leitor das primeiras defi nicoes ate o teorema de Morley e as partes elementares da teoria da estabilidade. Alem dos resultados padrao tais como os teoremas da compacidade e da omissao de tipos, o livro tambem descreve varias conexoes com a algebra, incluindo o metodo de eliminacao de quantifi cadores de Skolem-Tarski, modelocompletude, grupos de automorfi smos e omegacategoricidade, ultraprodutos, O-minimalidade e estruturas de posto de Morley finito. O material sobre equivalencias vai-e-vem, interpretacoes e leis zero-um pode...
Eis um livro-texto atualizado de teoria de modelos levando o leitor das primeiras defi nicoes ate o teorema de Morley e as partes elementares da teori...
|
cena:
122,30 zł |
 |
Logic
ISBN: 9780141003146 / Angielski / Miękka / 2001 / 292 str. Termin realizacji zamówienia: ok. 8-10 dni roboczych (Dostawa przed świętami) If a man supports Arsenal one day and Spurs the next, then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material.
If a man supports Arsenal one day and Spurs the next, then he is fickle but not necessarily illogical. From this starting point, and assuming no previ...
|
cena:
56,87 zł |
 |
A Shorter Model Theory
ISBN: 9780521587136 / Angielski / Miękka / 1997 / 324 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups and omega-categoricity, ultraproducts, O-minimality and structures of finite Morley rank. The material on back-and-forth equivalences, interpretations and zero-one laws can serve as an introduction to applications of...
This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theo...
|
cena:
319,40 zł |
 |
Model Theory
ISBN: 9780521066365 / Angielski / Miękka / 2008 / 788 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) Professor Hodges emphasizes definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference.
Professor Hodges emphasizes definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides...
|
cena:
467,76 zł |
 |
Mathematical Logic
ISBN: 9780198571001 / Angielski / Twarda / 2007 / 296 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the correctness of a derivation proving a given sequent can be tested mechanically, but there is...
Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logi...
|
cena:
826,47 zł |
 |
Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
ISBN: 9783540699361 / Angielski / Miękka / 2008 / 313 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in... Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subl... |
cena:
273,60 zł |
 |
Mathematical Logic
ISBN: 9780199215621 / Angielski / Miękka / 2007 / 296 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the correctness of a derivation proving a given sequent can be tested mechanically, but there is...
Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logi...
|
cena:
369,16 zł |
 |
Al-Farabi, Syllogism: An Abridgement of Aristotle's Prior Analytics
ISBN: 9781350194892 / Angielski / Miękka / 2022 / 224 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
157,35 zł |
 |
Logic: From Foundations to Applications: European Logic Colloquium
ISBN: 9780198538622 / Angielski / Twarda / 1996 / 552 str. Termin realizacji zamówienia: ok. 30 dni roboczych. |
cena:
187,68 zł |
 |
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
ISBN: 9781848901698 / Angielski / Miękka / 2015 / 562 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) The 14th International Congress of Logic, Methodology and Philosophy of Science was held on July 19 - 26, 2011 in Nancy, the historic capital of Lorraine and the birthplace of Henri Poincare. For the first time in LMPS history, the Nancy congress had a special topic: Logic and Science Facing the New Technologies. These Proceedings include state of the art discussions by leading scholars. Besides plenary talks, they contain many of the invited papers from the four sections: Logic, General Philosophy of Science, Methodological and Philosophical Issues of Particular Sciences, and Methodological...
The 14th International Congress of Logic, Methodology and Philosophy of Science was held on July 19 - 26, 2011 in Nancy, the historic capital of Lorra...
|
cena:
141,88 zł |
 |
Model Theory
ISBN: 9780521304429 / Angielski / Twarda / 1993 / 788 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Professor Hodges emphasizes definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference.
Professor Hodges emphasizes definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides...
|
cena:
1114,76 zł |
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
