Logic and Scientific Methods, Maria Luisa Dalla Chiara; Kees Doets; Daniele Mund
Автор: Barker-Plummer Dave Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition ISBN: 1575866323 ISBN-13(EAN): 9781575866321 Издательство: Wiley Рейтинг: Цена: 16051.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.
Описание: Constitutes the refereed proceedings of the Third International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2009, held in Santiago de Compostela, Spain, in June 2009. This title presents 108 revised papers.
Автор: Tsai Jeffrey J P & Ng Ka-Lok Название: Computational Methods With Applications In Bioinformatics Analysis ISBN: 9813207973 ISBN-13(EAN): 9789813207974 Издательство: World Scientific Publishing Рейтинг: Цена: 13622.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This compendium contains 10 chapters written by world renowned researchers with expertise in semantic computing, genome sequence analysis, biomolecular interaction, time-series microarray analysis, and machine learning algorithms.
The salient feature of this book is that it highlights eight types of computational techniques to tackle different biomedical applications. These techniques include unsupervised learning algorithms, principal component analysis, fuzzy integral, graph-based ensemble clustering method, semantic analysis, interolog approach, molecular simulations and enzyme kinetics.
The unique volume will be a useful reference material and an inspirational read for advanced undergraduate and graduate students, computer scientists, computational biologists, bioinformatics and biomedical professionals.
Автор: Popper, Karl Название: The Logic of Scientific Discovery ISBN: 0415278449 ISBN-13(EAN): 9780415278447 Издательство: Taylor&Francis Рейтинг: Цена: 3367.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: First published in English in 1959, Karl Popper`s "The Logic of Scientific Discovery" revolutionized contemporary thinking about science and knowledge and is one of the most widely read books about science written in the 20th century.
Автор: 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.
Автор: Smullyan Raymond M. Название: The Magic Garden of George B and Other Logic Puzzles ISBN: 9814675059 ISBN-13(EAN): 9789814675055 Издательство: World Scientific Publishing Рейтинг: Цена: 7603.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The author presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all!
Автор: Jaime Gil-Aluja; Antonio Terce?o-G?mez; Joan Carle Название: Scientific Methods for the Treatment of Uncertainty in Social Sciences ISBN: 3319197037 ISBN-13(EAN): 9783319197036 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is a collection of selected papers presented at the SIGEF conference, held at the Faculty of Economics and Business of the University of Girona (Spain), 06-08 July, 2015.This edition of the conference has been presented with the slogan "Scientific methods for the treatment of uncertainty in social sciences".
Автор: Downey Rod Et Al Название: Proceedings Of The 12Th Asian Logic Conference ISBN: 9814449261 ISBN-13(EAN): 9789814449267 Издательство: World Scientific Publishing Рейтинг: Цена: 18216.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic.
Автор: Maria Luisa Dalla Chiara; Kees Doets; Daniele Mund Название: Logic and Scientific Methods ISBN: 0792343832 ISBN-13(EAN): 9780792343837 Издательство: Springer Рейтинг: Цена: 46399.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the papers submitted by the participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. This work covers the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
