D.O - Logic 1

Ogni curioso dei numeri Primi, “i mattoni con cui si costruiscono tutti gli altri numeri”, sa che la ricerca di una semplice formula per “distinguere nell'ambito degli interi positivi tutti i numeri……続きを見る

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in th……続きを見る

This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning graduate students to help them prepare for advance……続きを見る

Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital ci……続きを見る

Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength. It is as a field of mat……続きを見る

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 n……続きを見る

This book is one of the clearest, most comprehensive and rigorous introductions to modern symbolic logic available in any language. Professor Carnap, a world authority on symbolic logic, develops th……続きを見る

The present work is a continuation of the authors' acclaimed multi-volume APractical Logic of Cognitive Systems. After having investigated the notion ofrelevance in their previous volume, Gabbay and……続きを見る

This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters……続きを見る

This book provides the first comprehensive treatment of Benford's law, the surprising logarithmic distribution of significant digits discovered in the late nineteenth century. Establishing the mathe……続きを見る

This text covers topics in algebraic geometry and commutative algebra with a strong perspective toward practical and computational aspects. The first four chapters form the core of the book. A compr……続きを見る

This book provides an argumentation model for means end-reasoning, a distinctive type of reasoning used for problem-solving and decision-making. Means end-reasoning is modelled as goal-directed argu……続きを見る

This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntac……続きを見る

The book is a collection of original papers, research and surveys, dedicated to the memory of the Romanian mathematician Solomon Marcus (1925-2016). Marcus published many papers and books in mathema……続きを見る

Neste livro, os autores buscam ligar as experiências vividas em nosso cotidiano a noções fundamentais tanto para a lógica como para a matemática. Através de uma linguagem acessível, o livro possui u……続きを見る

Este livro foi intitulado por “Teoria Mecânica do Dinamismo” e foi dividido em catorze capítulos que apresentam progressivamente a interpretação teórica e matemática do Dinamismo, descoberto por Lea……続きを見る

If you think meditation is something only Buddhist monks (or people with lives a lot less crazed than yours) can do, think again. Not only can anyone meditate, but there are myriad health and well-b……続きを見る

If you think meditation is something only Buddhist monks (or people with lives a lot less crazed than yours) can do, think again. Not only can anyone meditate, but there are myriad health and well-b……続きを見る

Si parla sempre più spesso dell’importanza di imparare a pensare, cioè a ragionare in modo corretto per risolvere problemi anche semplici ma non intuitivi. È questa la condizione che rende davvero “……続きを見る

This textbook covers key topics of Elementary Calculus through selected exercises, in a sequence that facilitates development of problem-solving abilities and techniques. It opens with an introducti……続きを見る

Essai de compréhension et d’analyse de la Logique, ce livre aborde succinctement les grandes doctrines logiques de l’Antiquité à nos jours, puis traite la logique des propositions (classique et mode……続きを見る

The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation, investigating the interaction of mathematics with computat……続きを見る

This textbook is aimed at transitioning high-school students who have already developed proficiency in mathematical problem solving from numerical-answer problems to proof-based mathematics. It serv……続きを見る

Prepare-se para conquistar o sucesso na prova de matemática do Exame Nacional do Ensino Médio (ENEM) com o guia essencial Dicas Práticas para Acertar Mais de 80% na Prova de Matemática do ENEM . Est……続きを見る

Envie de voyager dans le temps, bienvenue à bord. Chapitre I - Existence Questions existentielles (existence, vérité, repos, mouvement, etc.) Chapitre II - Individus et propriété Questions logico-ma……続きを見る

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a rema……続きを見る

In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-dut……続きを見る

Argumentation, which can be abstractly defined as the interaction of different arguments for and against some conclusion, is an important skill to learn for everyday life, law, science, politics and……続きを見る

Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the field, encouraged by its application to problems in computer science. Inf……続きを見る

The present study is an extension of the topic introduced in Dr. Hailperin's Sentential Probability Logic, where the usual true-false semantics for logic is replaced with one based more on probabili……続きを見る