Mathematical Logic: Textbook for Bachelor's Degree
A

Mathematical Logic: Textbook for Bachelor's Degree

General
mathematical logic Java propositional logic predicate logic computer science education algorithmic approach
Author
V.L. Matrosov, M.S. Mirzoev
Publisher
Prometheus
Year
2020
Language
Russian
233
Rate this book

To read the book, log in / register

Preview fragment

Similar books

Mathematical Logic and Algorithm Theory: A Study Guide

Mathematical Logic and Algorithm Theory: A Study Guide

Yu. V. Vainshtein, T. G. Penkova, V. I. Vainshtein

Algorithm Theory

Algorithm Theory

V.I. Igoshin

Mathematics for University Applicants. Everything About University Entrance Exams

Mathematics for University Applicants. Everything About University Entrance Exams

V. V. Tkachuk

Probability Theory and Mathematical Statistics: A Study Guide

Probability Theory and Mathematical Statistics: A Study Guide

V. Ya. Derr

The Art of Proof in Mathematics. A Lecture Course with Exercises

The Art of Proof in Mathematics. A Lecture Course with Exercises

Daniel Welleman

Automatic Control Theory (using MATLAB — SIMULINK)

Automatic Control Theory (using MATLAB — SIMULINK)

Yu. I. Kudinov, F. F. Pashchenko

Fortran for Professionals. IMSL Mathematical Library. Issue 1

Fortran for Professionals. IMSL Mathematical Library. Issue 1

O.V. Bartenyev

Dolganov A. Yu., Ronkin M. V., Sozykin A. V. - Basic Machine Learning Algorithms in Python - 2023

Dolganov A. Yu., Ronkin M. V., Sozykin A. V. - Basic Machine Learning Algorithms in Python - 2023

A. Yu. Dolganov, M. V. Ronkin, A. V. Sozykin

Discrete Mathematics: Graphs, Matroids, Algorithms

Discrete Mathematics: Graphs, Matroids, Algorithms

M. O. Asanov, V. A. Baransky, V. V. Rasin

Programming of Logic Controllers. Textbook

Programming of Logic Controllers. Textbook

Ivanov V.N.