Tags
Language
Tags
July 2025
Su Mo Tu We Th Fr Sa
29 30 1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28 29 30 31 1 2
    Attention❗ To save your time, in order to download anything on this site, you must be registered 👉 HERE. If you do not have a registration yet, it is better to do it right away. ✌

    ( • )( • ) ( ͡⚆ ͜ʖ ͡⚆ ) (‿ˠ‿)
    SpicyMags.xyz

    Infinity: A Very Short Introduction

    Posted By: roxul
    Infinity: A Very Short Introduction

    Ian Stewart, "Infinity: A Very Short Introduction "
    English | ISBN: 0198755236 | 2017 | 160 pages | MOBI | 1242 KB

    Logic Synthesis Using Synopsys®

    Posted By: AvaxGenius
    Logic Synthesis Using Synopsys®

    Logic Synthesis Using Synopsys® by Pran Kurup , Taher Abbasi
    English | PDF | 1997 | 336 Pages | ISBN : 079239786X | 19.2 MB

    Logic Synthesis Using Synopsys®, Second Edition is for anyone who hates reading manuals but would still like to learn logic synthesis as practised in the real world. Synopsys Design Compiler, the leading synthesis tool in the EDA marketplace, is the primary focus of the book. The contents of this book are specially organized to assist designers accustomed to schematic capture-based design to develop the required expertise to effectively use the Synopsys Design Compiler. Over 100 `Classic Scenarios' faced by designers when using the Design Compiler have been captured, discussed and solutions provided. These scenarios are based on both personal experiences and actual user queries. A general understanding of the problem-solving techniques provided should help the reader debug similar and more complicated problems. In addition, several examples and dc_shell scripts (Design Compiler scripts) have also been provided.

    Logic: A Very Short Introduction

    Posted By: arundhati
    Logic: A Very Short Introduction

    Graham Priest, "Logic: A Very Short Introduction "
    English | ISBN: 0198811705 | 2017 | 192 pages | MOBI | 2 MB

    Distributed Programming: Theory and Practice

    Posted By: AvaxGenius
    Distributed Programming: Theory and Practice

    Distributed Programming: Theory and Practice by A. Udaya Shankar
    English | PDF | 2013 | 388 Pages | ISBN : 1461448808 | 3.3 MB

    Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specifications. The method also covers how to write specifications and how to use them. Numerous examples such as bounded buffers, distributed locks, message-passing services, and distributed termination detection illustrate the method. Larger examples include data transfer protocols, distributed shared memory, and TCP network sockets.

    Argument Dialectics: The Place of Reasons in Logic

    Posted By: hill0
    Argument Dialectics: The Place of Reasons in Logic

    Argument Dialectics: The Place of Reasons in Logic
    English | 2025 | ISBN: 3031929896 | 252 Pages | PDF (True) | 7 MB

    Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction

    Posted By: arundhati
    Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction

    Antonio Piccolomini d'Aragona, "Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction "
    English | ISBN: 303151405X | 2024 | 430 pages | EPUB | 10 MB

    The Method of Socratic Proofs

    Posted By: hill0
    The Method of Socratic Proofs

    The Method of Socratic Proofs: From the Logic of Questions to Proof Theory
    English | 2025 | ISBN: 3031824504 | 622 Pages | PDF EPUB (True) | 27 MB

    Arbitrary Reference in Logic and Mathematics (Synthese Library, 490)

    Posted By: Free butterfly
    Arbitrary Reference in Logic and Mathematics (Synthese Library, 490)

    Arbitrary Reference in Logic and Mathematics (Synthese Library, 490) by Massimiliano Carrara, Enrico Martino
    English | August 17, 2024 | ISBN: 3031664515 | 106 pages | MOBI | 2.42 Mb

    Rules and Meaning in Quantum Mechanics

    Posted By: Free butterfly
    Rules and Meaning in Quantum Mechanics

    Rules and Meaning in Quantum Mechanics by Iulian D. Toader
    English | July 1, 2025 | ISBN: 3031893417 | 176 pages | PDF, EPUB | 4.41 Mb

    Naïve Set Theory: A Rigorous Approach

    Posted By: Free butterfly
    Naïve Set Theory: A Rigorous Approach

    Naïve Set Theory: A Rigorous Approach by Fabio Ferrari Ruffino
    English | February 21, 2025 | ISBN: 1032933046 | 214 pages | MOBI | 2.58 Mb

    Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

    Posted By: AvaxGenius
    Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

    Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics by Lorenz Halbeisen , Regula Krapf
    English | PDF (True) | 2020 | 234 Pages | ISBN : 3030522814 | 3.3 MB

    This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel’s classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel’s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is dedicated to an introduction into modern axiomatic set theory based on the Zermelo’s axioms, containing a presentation of Gödel’s constructible universe of sets. A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers.

    Induction and Deduction in the Sciences

    Posted By: AvaxGenius
    Induction and Deduction in the Sciences

    Induction and Deduction in the Sciences by Friedrich Stadler
    English | PDF | 2004 | 54 Pages | ISBN : 140201967X | 37.9 MB

    The articles in this volume deal with the main inferential methods that can be applied to different kinds of experimental evidence. These contributions - accompanied with critical comments - by renowned scholars in the field of philosophy of science aim at removing the traditional opposition between inductivists and deductivists. They explore the different methods of explanation and justification in the sciences in different contexts and with different objectives.

    Tactical Thinking: 97 Brain-Training Puzzles & Exercises to Improve the Way You Think

    Posted By: TiranaDok
    Tactical Thinking: 97 Brain-Training Puzzles & Exercises to Improve the Way You Think

    Tactical Thinking: 97 Brain-Training Puzzles & Exercises to Improve the Way You Think (Brain Training Collection) by Joseph Buckley
    English | July 22, 2024 | ISBN: N/A | ASIN: B0DB12PP5S | 166 pages | PDF | 1.94 Mb

    Samson Abramsky on Logic and Structure in Computer Science and Beyond

    Posted By: Free butterfly
    Samson Abramsky on Logic and Structure in Computer Science and Beyond

    Samson Abramsky on Logic and Structure in Computer Science and Beyond (Outstanding Contributions to Logic) by Alessandra Palmigiano, Mehrnoosh Sadrzadeh
    English | August 2, 2023 | ISBN: 3031241169 | 1127 pages | MOBI | 141 Mb

    First-Order Modal Logic (Synthese Library, 480)

    Posted By: Free butterfly
    First-Order Modal Logic (Synthese Library, 480)

    First-Order Modal Logic (Synthese Library, 480) by Melvin Fitting, Richard L. Mendelsohn
    English | October 19, 2023 | ISBN: 303140713X | 480 pages | MOBI | 42 Mb