Wassenaer, Unico van: 6 Concerti Armonici, The Amsterdam Baroque Orchestra, Ton Koopman

Posted By: anonx
Wassenaer, Unico van: 6 Concerti Armonici, The Amsterdam Baroque Orchestra, Ton Koopman

Wassenaer, Unico van: 6 Concerti Armonici, The Amsterdam Baroque Orchestra, Ton Koopman
Classical | 1988 | OGG | ~300Kbps | 58`15 | No cover

Count Unico Wilhelm van Wassenaer (1692-1766), the composer of the beautiful music on this recording was unknown for over two centuries. This was not through bad fortune, but rather because the author took active steps to remain anonymous. Before it was established that the Dutch nobleman Count Unico Wilhelm van Wassenaer was the creator of these works, they were attributed to the Italian Carlo Ricciotti, before being included and renamed Concertini in the Collected Edition of Pergolesi. For over a hundred years these Pergolesi Concertini have been enjoyed and performed, bringing great credit to that composer. Indeed, when Igor Stravinsky wrote his Pulcinella suite and made use of the music of Pergolesi he included a Tarantella based on the last movement of Concerto No.2.

Jon Barwise, John Etchemendy, «Language, Proof and Logic», E-Book + Software CD (Repost with CD)

Posted By: anonx
Jon Barwise, John Etchemendy, «Language, Proof and Logic», E-Book + Software CD (Repost with CD)

Jon Barwise, John Etchemendy, «Language, Proof and Logic», E-Book + Software CD
Center for the Study of Language and Information | April 1, 2002 | ISBN: 157586374X | PDF (HQ Vector), ISO (Win32) | 598 pages | 64.2Mb

This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.
The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.

Stanley Sadie (Editor), John Tyrrell (Editor), «The New Grove Dictionary of Music and Musicians»

Posted By: anonx
Stanley Sadie (Editor), John Tyrrell (Editor), «The New Grove Dictionary of Music and Musicians»

Stanley Sadie (Editor), John Tyrrell (Editor), «The New Grove Dictionary of Music and Musicians»
Oxford University Press | 2001 | ISBN: 0195170679 | HTML | ~25000 pages | 56 MB (453 MB uncompressed)

Since its initial publication in 1980, the Dictionary has been widely acclaimed as an indispensable resource and a classic reference. The word "updated" doesn't begin to describe the thousands of new articles, topics, cross-references, and areas of scholarship incorporated into The New Grove II. Every one of the first edition's 22,500 articles has been reviewed and revised, with thousands of articles expanded. Previously neglected or under-represented areas have been examined, explored, and explained. Movements and topics once deemed too controversial or too far from the mainstream have been added. And throughout, 6,500 new articles cover more than 5,000 years of music history, instruments, composers, institutions, performers, genres, and more. The New Grove II takes you beyond the customary and familiar into new worlds with extensive, authoritative contributions on non-Western music. From major influences, such as Latin American music, to less-examined contributions, such as Asian, sub-Saharan African, and Pacific Islander, The New Grove II presents the music, theory, instruments, and musicians that have helped to define music around the world.

Arnold Schoenberg, «Fundamentals of Musical Composition»

Posted By: anonx
Arnold Schoenberg, «Fundamentals of Musical Composition»

Arnold Schoenberg, «Fundamentals of Musical Composition»
1967 | ISBN: 0571196586 | PDF | 224 pages | 33 MB

A classic that represents the culmination of over 40 years in Schoenberg's life devoted to the teaching of musical principles to students and composers in Europe and America. This book can be used for analysis as well as for composition.

Walter Piston, three music theory books: «Harmony»,«Counterpoint» and «Orchestration»

Posted By: anonx
Walter Piston, three music theory books: «Harmony»,«Counterpoint» and «Orchestration»

Walter Piston, three music theory books: «Harmony»,«Counterpoint» and «Orchestration»
Harmony: 1959 | ISBN: 0393954803 | PDF | 344 pages | 49 MB
Counterpoint: 1947 | ISBN: 0393097285 | PDF | 235 pages | 31 MB
Orchestration: 1955 | ISBN: 0393097404 | PDF | 477 pages | 58 MB

These are three classic texts on music theory and composition, dealing mostly with the "common practice" era of classical music (up to 19th century). A good knowledge of basic music theory is required. Highly recommended. –anonx

Jon Barwise, John Etchemendy, «Language, Proof and Logic»

Posted By: anonx
Jon Barwise, John Etchemendy, «Language, Proof and Logic»

Jon Barwise, John Etchemendy, «Language, Proof and Logic»
Center for the Study of Language and Information | April 1, 2002 | ISBN: 157586374X | PDF (HQ Vector) | 598 pages | 2,72 MB

This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.
The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.

Stewart Shapiro, «Philosophy of Mathematics: Structure and Ontology»

Posted By: anonx
Stewart Shapiro, «Philosophy of Mathematics: Structure and Ontology»

Stewart Shapiro, «Philosophy of Mathematics: Structure and Ontology»
Oxford University Press | September 28, 2000 | ISBN: 0195139305 | PDF (OCR) | 296 pages | 1,27 MB

Do numbers, sets, and so forth, exist? What do mathematical statements mean? Are they literally true or false, or do they lack truth values altogether? Addressing questions that have attracted lively debate in recent years, Stewart Shapiro contends that standard realist and antirealist accounts of mathematics are both problematic..

Alexander Chagrov, Michael Zakharyaschev, «Modal Logic (Oxford Logic Guides)»

Posted By: anonx
Alexander Chagrov, Michael Zakharyaschev, «Modal Logic (Oxford Logic Guides)»

Alexander Chagrov, Michael Zakharyaschev, «Modal Logic (Oxford Logic Guides)»
Oxford University Press | June 19, 1997 | ISBN: 0198537794 | DjVu (600DPI) | 624 pages | 4,77 MB

For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics. A specialist can use the book as a source of references. Results and methods of many directions in propositional modal logic, from completeness and duality to algorithmic problems, are collected and systematically presented in one volume.

Hao Wang, «A Logical Journey: From Gödel to Philosophy»

Posted By: anonx
Hao Wang, «A Logical Journey: From Gödel to Philosophy»

Hao Wang, «A Logical Journey: From Gödel to Philosophy»
MIT Press | January 10, 1997 | ISBN: 0262231891 | DjVu | 432 Pages | 4,64 MB

Hao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Gödel. A Logical Journey is a continuation of Wang's Reflections on Gödel and also elaborates on discussions contained in From Mathematics to Philosophy. A decade in preparation, it contains important and unfamiliar insights into Gödel's views on a wide range of issues, from Platonism and the nature of logic, to minds and machines, the existence of God, and positivism and phenomenology.

«NeoSpeech Paul (Speech Synthesis) with TextAloud 2.0»

Posted By: anonx
«NeoSpeech Paul (Speech Synthesis) with TextAloud 2.0»

«NeoSpeech Paul (Speech Synthesis) with TextAloud 2.0»
Windows XP | 233 MB

High quality speech synthesis engine with compatible reading software.
(Includes an English male voice 'Paul')

Dale Jacquette, «A Companion to Philosophical Logic»

Posted By: anonx
Dale Jacquette, «A Companion to Philosophical Logic»

Dale Jacquette, «A Companion to Philosophical Logic»
Blackwell Publishers | February 2002 | ISBN: 0631216715 | DjVu | 816 Pages | 3,53 MB

This collection of newly commissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic. Written by experts from a variety of different logical and philosophical perspectives, the volume presents controversies in philosophical implications and applications of formal symbolic logic.

Patrick Suppes, «Introduction to Logic»

Posted By: anonx
Patrick Suppes, «Introduction to Logic»

Patrick Suppes, «Introduction to Logic»
Dover Publications | 1957 (reprint 1999) | ISBN: 0486406873 | DjVu | 330 pages | 7.35 MB

Coherent, well organized text familiarizes readers with complete theory of logical inference and its applications to math and the empirical sciences. Part I deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Last section introduces numerous examples of axiomatically formulated theories.

John Derbyshire, «Prime Obsession: Berhhard Riemann and the Greatest Unsolved Problem in Mathematics»

Posted By: anonx
John Derbyshire, «Prime Obsession: Berhhard Riemann and the Greatest Unsolved Problem in Mathematics»

John Derbyshire, «Prime Obsession: Berhhard Riemann and the Greatest Unsolved Problem in Mathematics»
Joseph Henry Press | April 23, 2003 | ISBN: 0309085497 | PDF (HQ) | 422 pages | 9.68 MB

Bernhard Riemann was an underdog of sorts, a malnourished son of a parson who grew up to be the author of one of mathematics' greatest problems. In Prime Obsession, John Derbyshire deals brilliantly with both Riemann's life and that problem: proof of the conjecture, "All non-trivial zeros of the zeta function have real part one-half." Though the statement itself passes as nonsense to anyone but a mathematician, Derbyshire walks readers through the decades of reasoning that led to the Riemann Hypothesis in such a way as to clear it up perfectly. Riemann himself never proved the statement, and it remains unsolved to this day. Prime Obsession offers alternating chapters of step-by-step math and a history of 19th-century European intellectual life, letting readers take a breather between chunks of well-written information. Derbyshire's style is accessible but not dumbed-down, thorough but not heavy-handed. This is among the best popular treatments of an obscure mathematical idea, inviting readers to explore the theory without insisting on page after page of formulae…

Wolfram Research: «The Mathematical Explorer (PC)»

Posted By: anonx
Wolfram Research: «The Mathematical Explorer (PC)»

Wolfram Research: «The Mathematical Explorer (PC)» | 2001 | RAR (ISO) | 48MB

The Mathematical Explorer is recreational software for mathematics hobbyists and others intrigued by mathematics and some of its more challenging topics. Delving into some of the most important mathematical concepts, The Mathematical Explorer combines text, graphics, and formulas in an easy-to-use notebook interface that is completely interactive. Lessons cover a wide range of topics and contain a wealth of relevant information, including historical introductions and biographies where applicable, questions and answers, and related notes and references.

Kiyosi Ito (Editor), «Encyclopedic Dictionary of Mathematics: The Mathematical Society of Japan», 2nd Edition

Posted By: anonx
Kiyosi Ito (Editor), «Encyclopedic Dictionary of Mathematics: The Mathematical Society of Japan», 2nd Edition

Kiyosi Ito (Editor), «Encyclopedic Dictionary of Mathematics: The Mathematical Society of Japan», 2nd Edition
MIT Press | May 4, 1993 | ISBN: 0262590204 | DjVu | 2148 pages | 36.1 MB (2 volumes)

The Encyclopedic Dictionary of Mathematics, as put out by the Mathematical Society of Japan, is as complete and comprehensive an opus as one could wish for, concisely comprising in its two volumes all significant mathematical results, both pure and applied, elementary to advanced. This second edition is, basically, an English version of the acclaimed Japanese third edition…