Mathematical Logic In Computer Science Pdf
Booksee .org
Самая большая электронная библиотека рунета. Поиск книг и журналов
#1
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science & Applied Mathematics)
Peter B. Andrews
9.82 Mb
#2
Mathematical Logic for Computer Science
Mordechai Ben-Ari
Категория: Математика, Математическая логика
1.85 Mb
#3
Mathematical logic for computer science
Mordechai Ben-Ari
Категория: Mathematics, Algebra, Mathematical logic
2.35 Mb
#4
Handbook of logic in computer science
S. Abramsky, Dov. M. Gabbay, T. S. E. Maibaum
Категория: Mathematical logic
2.64 Mb
#5
Mathematical logic for computer science
Mordechai Ben-Ari
Категория: Mathematical logic
2.40 Mb
#6
Fork Algebras in Algebra, Logic and Computer Science
Marcelo Fabian Frias
Категория: Mathematical logic
1.01 Mb
#7
Logic in Computer Science
M. Huth, M. Ryan
Категория: Computer Science, Discrete Mathematics
2.13 Mb
#8
Mathematical Logic for Computer Science
Mordechai Ben-Ari
Категория: Electronical-Computer-Mechanical
21.94 Mb
#9
Prolog experiments in discrete mathematics, logic, and computability
Hein J.L.
Категория: Cs_Computer science, CsAl_Algorithms
695 Kb
#10
Mathematical Logic For Computer Science
Mordechai Ben-Ari
20.38 Mb
#11
Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic (PCS))
Wei Li
1.73 Mb
#12
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)
Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott
3.84 Mb
#13
Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy. Brno, Czech Republic, August 1996, Proceedings (Lecture Notes in Logic)
Petr Hajek
31.81 Mb
#14
Luck, Logic and White Lies. Mathematics of Games
Jörg Bewersdorff
Категория: Computer Science, Discrete Mathematics
30.22 Mb
#15
Computational Logic. Logic Programming and Beyond I
A.C. Kakas, F. Sadri
Категория: Computer Science, Discrete Mathematics
6.77 Mb
#16
Computational Logic. Logic Programming and Beyond II
Antonis C. Kakas, Fariba Sadri
Категория: Computer Science, Discrete Mathematics
5.50 Mb
#17
A Concise Introduction to Logic
Patrick J. Hurley
Категория: Computer Science, Discrete Mathematics
3.29 Mb
#18
Mathematics and Logic
Mark Kac, Stanislaw M. Ulam
Категория: Computer Science, Discrete Mathematics
6.83 Mb
#19
Being Logical. A Guide To Good Thinking
D.Q. McInerny
Категория: Computer Science, Discrete Mathematics
2.38 Mb
#20
Logic For Dummies
Mark Zegarelli
Категория: Computer Science, Discrete Mathematics
5.09 Mb
#21
The Logic Book
Bergmann
Категория: Computer Science, Discrete Mathematics
225.97 Mb
#22
Logic Made Easy
Deborah J. Bennett
Категория: Computer Science, Discrete Mathematics
3.84 Mb
#23
Logic and Integer Programming
H. Paul Williams
Категория: Computer Science, Discrete Mathematics
2.67 Mb
#24
Logic and Structure
Dirk van Dalen, Dirk van Dalen
Категория: Computer Science, Discrete Mathematics
2.35 Mb
#25
Logic in Games
Johan Van Benthem, 2014
Категория: Computer Science, Mathematics
3.81 Mb
#26
Computability: computable functions, logic, foundations of mathematics
Richard L. Epstein, Walter A Carnielli
Категория: Cs_Computer science, CsNp_Computability
2.64 Mb
#27
Математическая логика и теория алгоритмов
Гуц А.К.
Категория: Mathematics, Algebra, Mathematical logic, Computer science, Algorithms
556 Kb
#28
Языки и автоматы. Сборник переводов
Под редакцией А.Н.Маслова и Э.Д.Стоцкого
Категория: Mathematics, Mathematical logic; Computer science
6.17 Mb
#29
Alan Turing: His Work and Impact
S. Barry Cooper, Jan van Leeuwen
Категория: History of Computer Science, Biography, Mathematical Logic
11.68 Mb
Mathematical Logic In Computer Science Pdf
Source: https://booksee.org/g/mathematical+logic%3B+computer+science
Posted by: nolangoormes.blogspot.com
0 Response to "Mathematical Logic In Computer Science Pdf"
Post a Comment