0 POZYCJI
KOSZYK PUSTY

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

Znaleziono: 29 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
Elementary Logic with Applications - D M Gabbay

Elementary Logic with Applications

A Procedural Perspective for Computer Scientists

Autor: D M Gabbay
Elementary Logic with Applications is written for undergraduate logic and logic  programming courses. Logic has been applied to a wide variety of subjects such 
The Haskell Road to Logic, Maths and Programming. Second Edition - Kees Doets

The Haskell Road to Logic, Maths and Programming. Second Edition

Autor: Kees Doets
Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.’’ Where there was no shortcut ...
Proof Theory of N4-Paraconsistent Logics - Norihiro Kamide

Proof Theory of N4-Paraconsistent Logics

The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nels...
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications

Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications

Volume 8, Issue 4, May 2021

The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and a...
Excel 2019 Beginner - M.L. Humphrey

Excel 2019 Beginner

Autor: M.L. Humphrey
Wydawca: M.L. Humphrey
In Excel for Beginners, M.L. Humphrey introduced readers to the power of Microsoft Excel. Now in Excel 2019: Beginner comes a guide that is tailored specifically for users of E...
Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications.  Volume 8, Issue 1, February 2021.  Special issue

Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications. Volume 8, Issue 1, February 2021. Special issue

Douglas Walton Remembered

The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and a...
Many-Valued Logics - Luis M Augusto

Many-Valued Logics

A Mathematical and Computational Introduction. Second Edition

Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, ...
Logical Consequences - Luis M Augusto

Logical Consequences

Theory and Applications: An Introduction. 2nd Edition

The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with...
Access 2019 Beginner - M.L. Humphrey

Access 2019 Beginner

Autor: M.L. Humphrey
Wydawca: M.L. Humphrey
In Access for Beginners, M.L. Humphrey introduced readers to the power of Microsoft Access. Now in Access 2019 Beginner comes a guide that is tailored specifically for users of...
Excel 2019 PivotTables - M.L. Humphrey

Excel 2019 PivotTables

Autor: M.L. Humphrey
Wydawca: M.L. Humphrey
PivotTables are one of the most powerful analysis tools available in Microsoft Excel. They let a user easily take a large table of data and summarize that data using any combination of fields in...
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...
Excel 2019 Formulas & Functions - M.L. Humphrey

Excel 2019 Formulas & Functions

Autor: M.L. Humphrey
Wydawca: M.L. Humphrey
In this final book of the Excel Essentials 2019 series, Excel 2019: Formulas and Functions, M.L. Humphrey takes a deeper dive into how formulas and functions work in Microsoft Excel.
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 ...
Word 2019 Intermediate - M.L. Humphrey

Word 2019 Intermediate

Autor: M.L. Humphrey
Wydawca: M.L. Humphrey
Word 2019 Intermediate expands upon the basics taught in Word 2019 Beginner.?Written specifically for users of Word 2019, this book covers more advanced topic...
Access 2019 Intermediate - M.L. Humphrey

Access 2019 Intermediate

Autor: M.L. Humphrey
Wydawca: M.L. Humphrey
Access 2019 Intermediate starts where Access 2019 Beginner left off.?Geared towards users of Access 2019, this book covers more complicated table and query is...
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...
Znaleziono: 29 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