Pages : | 204 |
Size : | 1.7 MB |
File type : | |
Downloads: | 82 |
Created: | 2022-02-01 |
License: | CC BY-SA |
Author(s): | by Stack Overflow Community |
This book explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Church, Kleene, Rosser, and Turing....
Open Source SystemsDownload free course Open Source Systems, pdf file on 217 pages by Vladimir Ivanov, Artem Kruglov, Sergey Masyagin, Alberto Sillitti, Giancarlo Succi....
Programming for Computations - MATLAB/Octave: A Gentle Introduction to Numerical Simulations with MATLAB/OctaveThis book presents computer programming as a key method for solving mathematical problems using MATLAB and Octave. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python (by Langtangen...
Engineering Reliable Mobile ApplicationsDownload free course Engineering Reliable Mobile Applications, pdf file on 36 pages by Kristine Chen, Venkat Patnala, Devin Carraway, Pranjal Deo....
Fundamentals of CryptologyDownload fundamentals cryptography pdf tutorial, a complete and free training document under 603 pages by Henk C.A. van Tilborg....
An Introduction to Combinatorics and Graph TheoryCombinatorics is a branch of mathematics concerning the study of finite or countable discrete structures. Aspects of combinatorics include counting the structures of a given kind and size (enumerative combinatorics), deciding when certain criteria can be met, and constructing and analyzing objects...
Learning acumatica PDF courseDownload free Acumatica tutorial course in PDF, training file in 25 chapters and 116 pages. Free unaffiliated ebook created from Stack OverFlow contributor....
Introduction to GNU OctaveA brief introduction to scientific computing with GNU Octave. Designed as a textbook supplement for freshman and sophomore level linear algebra and calculus students....
Cloud Native ApplicationsCloud computing is a game changer. Being able to automate and constantly adjust infrastruc..., download free Cloud tutorial in PDF (123 pages) created by ....
GNU GREP and RIPGREPThe book heavily leans on examples to present features of grep as well as regular expressi..., download free GNU GREP tutorial in PDF (111 pages) created by ....