0 POZYCJI
KOSZYK PUSTY

Książki obcojęzyczne - nauki ścisłe i przyrodnicze

Znaleziono: 35 pozycji
Przeglądaj:
Sortuj według:
  • Popularność rosnąco
  • Popularność malejąco
  • Od najstarszych
  • Od najnowszych
  • Cena rosnąco
  • Cena malejąco
  • Tytuł od A do Z
  • Tytuł od Z do A
  • Autor od A do Z
  • Autor od Z do A
  • Wydawca od A do Z
  • Wydawca od Z do A
Popularność malejąco
Wyświetl:
  • 20
  • 40
  • 80
20
All about Proofs, Proofs for All

All about Proofs, Proofs for All

The development of new and improved proof systems, proof formats and proof search methods is one of the most essential goals of Logic. But what is a proof? What makes a proof better than another? H...
Abstract Algebraic Logic. An Introductory Textbook - Josep Maria Font

Abstract Algebraic Logic. An Introductory Textbook

Abstract algebraic logic is the more general and abstract side of algebraic logic, the branch of mathematics that studies the connections between logics and their algebra-based semantics. This emer...
Artificial Intelligence.  What is it, exactly?

Artificial Intelligence. What is it, exactly?

What exactly is artificial intelligence? This book is for all those who are curious to learn what artificial intelligence (AI) is. It is a purposely brief introduction to t...
Handbook of Mathematical Fuzzy Logic, Volume 3

Handbook of Mathematical Fuzzy Logic, Volume 3

Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy ...
A Beekeeper's Life. Tales from the Bottom Board - Ed Colby

A Beekeeper's Life. Tales from the Bottom Board

Autor: Ed Colby
Wydawca: Peacock Press
"A Beekeeper's Life" is a collection of 60 essays written by Ed Colby taken from Bee Culture magazine written over the years.
The Axiom of Choice - John L. Bell

The Axiom of Choice

Autor: John L. Bell
This book presents an overview of the development of the Axiom of Choice since its introduction by Zermelo at the beginning of the last century. The book surveys the Axiom of Choice from three pers...
A Question is More Illuminating than an Answer. A Festschrift for Paolo A. S. Veloso

A Question is More Illuminating than an Answer. A Festschrift for Paolo A. S. Veloso

This volume is dedicated to the memory of Paulo A. S. Veloso (1944-2020), a distinguished Brazilian logician. Veloso's scientific contributions are disseminated in the most important areas ...
Essays on Set Theory - Akihiro Kanamori

Essays on Set Theory

Set theory, initially built on the Cantorian extension of number into the infinite and the Zermelian axiomatization affirming a foundation for mathematics, is today a rich and soph...
Model Theory for Beginners.  15 Lectures - Roman Kossak

Model Theory for Beginners. 15 Lectures

Autor: Roman Kossak
This book presents an introduction to model theory in 15 lectures. It concentrates on several key concepts: first-order definability, classification of complete types, elementary extensions, cat...
Proof-theoretic Semantics - Nissim Francez

Proof-theoretic Semantics

This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theoretic Semantics. The latter regards meaning as ...
Adventures in Formalism - Craig Smorynski

Adventures in Formalism

Mathematics originates with intuition. But intuition alone can only go so far and formalism develops to handle the more difficult problems. Formalism, however, has its inherent dangers. There are ...
Feeding Bees - Wally Shaw

Feeding Bees

Autor: Wally Shaw
Wydawca: Peacock Press
Honey bees collect two types of food material; nectar and pollen. With the collection of nectar there is no evidence that there is any selection based on its nutrient value, other than as a sour...
Handbook of Epistemic Logic

Handbook of Epistemic Logic

Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers such as Jaakko Hintikka and David Lewis in the early 1960s. Since then, such logics have played a s...
Znaleziono: 35 pozycji
Przeglądaj:
Sortuj według:
  • Popularność rosnąco
  • Popularność malejąco
  • Od najstarszych
  • Od najnowszych
  • Cena rosnąco
  • Cena malejąco
  • Tytuł od A do Z
  • Tytuł od Z do A
  • Autor od A do Z
  • Autor od Z do A
  • Wydawca od A do Z
  • Wydawca od Z do A
Popularność malejąco
Wyświetl:
  • 20
  • 40
  • 80
20