Автор: Dan Olteanu; Georg Gottlob; Christian Schallhart Название: Big Data ISBN: 3642394663 ISBN-13(EAN): 9783642394669 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Query and update processing.- Relational storage.- Benchmarking.- XML query processing.- Big data.- Spatial data and indexing.- Data extraction and social networks.
Автор: E.H.W Kluge Название: The Metaphysics of Gottlob Frege ISBN: 9024724228 ISBN-13(EAN): 9789024724222 Издательство: Springer Рейтинг: Цена: 27944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Die Sprachen sind nicht nach dem logischen Lineal gemacht. (Briefwechsel, p. 102) If success in solving problems is the hallmark of philosophical great- ness, then Frege was not a great philosopher. But by that same token, very few if any other figure in the history of philosophy will qualify. On the other hand, if the hallmark of philosophical great- ness is the opening up of new conceptual territory and the raising of hitherto unsuspected crucial questions, the shifting of philosophical perspectiv and the determination of subsequent lines of enquiry, then Frege must rank among the greatest philosophers of all times. He was the first to develop a completely formalized language and a logical system sufficiently powerful to generate arithmetic; he opened up the fields of philosophy of logic and arithmetic; his theses on sense reference and definition were seminal to almost all subse- quent work done in the philosophy oflanguage; and his ontological speculations constituted the foundation of one of the most profound metaphysics ever developed: that of Ludwig Wittgenstein in the Tractatus.
Автор: I. Angelelli Название: Studies on Gottlob Frege and Traditional Philosophy ISBN: 9027700672 ISBN-13(EAN): 9789027700674 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: I wish to express, first of all, my profound gratitude to Professor J. M. Bochenski, without whose assistance the present work would have not been possible. To be concise, I would like to state that his contribution to this book may be viewed at three levels: (1) that of the general spirit, (2) that of the specific ideas, theses or approaches which are expressed in its pages, (3) that of this work qua doctoral dissertation. The general spirit which has guided my research coincides with that underlying Professor: Oochenski's own works, in particular his Formale Logik (Munchen 1956). Moreover, the particular occasion which suggested my investigation was a statement included in that book according to which the literature in the field still lacked a detailed work on Frege (p. 317). I wish, likewise, to express my gratitude to other professors of the University of Fribourg for their generous help. I mention especially Professors P. Wyser, M. D. Philippe, N. Luyten, and V. Kuiper. I have also benefited from Professor E. Specker's lectures at the Eidge- nossische Technische Hochschule (ZUrich) and from Professor Olof Gigon's lectures at the University of Bern. From an earlier period I wish to express my gratitude to the professors of the philosophy department of the Universidad Nacional de Buenos Aires, especially the late Professor Francisco Romero. The Swiss National Library (Bern) has greatly facilitated access to bibliographical sources, and the library of the University of Munster (Westphalien) has kindly provided microfilms of Frege's Nachlap.
Автор: I. Angelelli Название: Studies on Gottlob Frege and Traditional Philosophy ISBN: 904818326X ISBN-13(EAN): 9789048183265 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: I wish to express, first of all, my profound gratitude to Professor J. M. Bochenski, without whose assistance the present work would have not been possible. To be concise, I would like to state that his contribution to this book may be viewed at three levels: (1) that of the general spirit, (2) that of the specific ideas, theses or approaches which are expressed in its pages, (3) that of this work qua doctoral dissertation. The general spirit which has guided my research coincides with that underlying Professor: Oochenski's own works, in particular his Formale Logik (Munchen 1956). Moreover, the particular occasion which suggested my investigation was a statement included in that book according to which the literature in the field still lacked a detailed work on Frege (p. 317). I wish, likewise, to express my gratitude to other professors of the University of Fribourg for their generous help. I mention especially Professors P. Wyser, M. D. Philippe, N. Luyten, and V. Kuiper. I have also benefited from Professor E. Specker's lectures at the Eidge- nossische Technische Hochschule (ZUrich) and from Professor Olof Gigon's lectures at the University of Bern. From an earlier period I wish to express my gratitude to the professors of the philosophy department of the Universidad Nacional de Buenos Aires, especially the late Professor Francisco Romero. The Swiss National Library (Bern) has greatly facilitated access to bibliographical sources, and the library of the University of Munster (Westphalien) has kindly provided microfilms of Frege's Nachlap.
Автор: Mendelsohn Название: The Philosophy of Gottlob Frege ISBN: 0521181194 ISBN-13(EAN): 9780521181198 Издательство: Cambridge Academ Рейтинг: Цена: 6018.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book analyses Frege`s views on language metaphysics raised in On Sense and Reference, arguably one of the most important philosophical essays of the past hundred years. It provides an introduction to the function/argument analysis and applies Frege`s technique to the notions of predication, identity, existence and truth.
Название: Gottlob Frege: Basic Laws of Arithmetic ISBN: 0198777302 ISBN-13(EAN): 9780198777304 Издательство: Oxford Academ Рейтинг: Цена: 7126.00 р. Наличие на складе: Поставка под заказ.
Описание: This is the first complete English translation of Gottlob Frege`s Grundgesetze der Arithmetik (1893 and 1903), with introduction and annotation. As the culmination of his ground-breaking work in the philosophy of logic and mathematics, Frege here tried to show how the fundamental laws of arithmetic could be derived from purely logical principles.
Автор: Georg Gottlob; Alexander Leitsch; Daniele Mundici Название: Computational Logic and Proof Theory ISBN: 3540633855 ISBN-13(EAN): 9783540633853 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of the Fifth Kurt Godel Colloquium on Computational Logic and Proof Theory, KGC `97. This volume documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.
Автор: Georg Gottlob; Alexander Leitsch; Daniele Mundici Название: Computational Logic and Proof Theory ISBN: 3540571841 ISBN-13(EAN): 9783540571841 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Third Kurt G|del Symposium, KGC`93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science.
Автор: Alain Pirotte; Claude Delobel; Georg Gottlob Название: Advances in Database Technology - EDBT `92 ISBN: 3540552707 ISBN-13(EAN): 9783540552703 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These are the proceedings of the 3rd International Conference on Extending Database Technology. EDBT is a major biannual conference that has attracted a lot of interest. The volume includes 33 papers selected from 220 submissions.
Автор: Stefano Ceri; Georg Gottlob; Letizia Tanca Название: Logic Programming and Databases ISBN: 3642839541 ISBN-13(EAN): 9783642839542 Издательство: Springer Рейтинг: Цена: 11173.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The topic of logic programming and databases. thus we present a careful introduction to the new language Datalog, but we also focus on the efficient interfacing of logic programming formalisms (such as Prolog and Datalog) with large databases.
Автор: Gottlob, R. May, R. Название: Venous valves ISBN: 3709188296 ISBN-13(EAN): 9783709188293 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Venous valves rank among the smallest and most delicate organs of the human and animal bodies - so why devote an entire book to them? In the pathogenesis of a number of widespread diseases, such as varicose veins or the post-thrombotic syndrome, venous valves are involved as the underlying cause or at least a factor contributory to the symptoms.
Автор: Georg Gottlob; Moshe Y. Vardi Название: Database Theory - ICDT `95 ISBN: 3540589074 ISBN-13(EAN): 9783540589075 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents the proceedings of the 1995 International Conference on Database Theory, held in Prague in January 1995. The papers are organized into sections on optimization, non-monotonic semantics, query languages, concurrency, probabilistic models, constraint and Datalog analysis.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
