Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Рубрика
- Название:
- математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Связанные описания:
Книга
Manin, Y. I.
A course in mathematical logic for mathematicians
Springer, 2010 г.
ISBN 978-1-441-90614-4
Manin, Y. I.
A course in mathematical logic for mathematicians
Springer, 2010 г.
ISBN 978-1-441-90614-4
На полку
Книга
Tent, K.
A course in model theory
ISBN 978-0-521-76324-0
Tent, K.
A course in model theory
Серия: Lecture notes in logic
Cambridge University Press, Association for Symbolic Logic (ASL), 2012 г.ISBN 978-0-521-76324-0
Книга
Algebraic perspectives on substructural logics
ISBN 9783030521653
Algebraic perspectives on substructural logics
Серия: Trends in logic
Springer, 2021 г.ISBN 9783030521653
Книга
Algorithmic number theory: lattices, number fields, curves and cryptography
Cambridge University Press, 2011 г.
ISBN 978-0-521-20833-8
Algorithmic number theory: lattices, number fields, curves and cryptography
Cambridge University Press, 2011 г.
ISBN 978-0-521-20833-8
Книга
Smith, P.
An introduction to Godel's theorems
Cambridge University Press, 2013 г.
ISBN 978-1-10-760675-3
Smith, P.
An introduction to Godel's theorems
Cambridge University Press, 2013 г.
ISBN 978-1-10-760675-3
Книга
Li, M.
An introduction to Kolmogorov complexity and its applications
ISBN 978-0-387-33998-6
Li, M.
An introduction to Kolmogorov complexity and its applications
Серия: Texts in computer science
Springer, 2008 г.ISBN 978-0-387-33998-6
Книга
Clark, T. D.
Applying fuzzy mathematics to formal models in comparative politics
Springer, 2008 г.
ISBN 978-3-642-09612-9
Clark, T. D.
Applying fuzzy mathematics to formal models in comparative politics
Springer, 2008 г.
ISBN 978-3-642-09612-9
Книга
Tabak, J.
Beyond geometry: a new mathematics of space and form
ISBN 978-0-8160-7945-2
Tabak, J.
Beyond geometry: a new mathematics of space and form
Серия: The history of mathematics
Facts On File, 2011 г.ISBN 978-0-8160-7945-2
Книга
Kleinberg, S.
Causality, probability, and time
Cambridge University Press, 2013 г.
ISBN 978-1-10-702648-3
Kleinberg, S.
Causality, probability, and time
Cambridge University Press, 2013 г.
ISBN 978-1-10-702648-3
Книга
Kushilevitz, E.
Communication complexity
Cambridge University Press, 2006 г.
ISBN 978-0-521-02983-4
Kushilevitz, E.
Communication complexity
Cambridge University Press, 2006 г.
ISBN 978-0-521-02983-4
Книга
Computability in context: computation and logic in the real world
Imperial College Press, 2011 г.
ISBN 978-1-84816-245-7
Computability in context: computation and logic in the real world
Imperial College Press, 2011 г.
ISBN 978-1-84816-245-7
Книга
Garey, M. R.
Computers and intractability: a guide to the theory of NP-completeness
W. H. Freeman and Company, 1979 г.
ISBN 9780716710455
Garey, M. R.
Computers and intractability: a guide to the theory of NP-completeness
W. H. Freeman and Company, 1979 г.
ISBN 9780716710455
Книга
Deduction, computation, experiment: exploring the effectiveness of proof
Springer, 2008 г.
ISBN 978-88-470-0783-3
Deduction, computation, experiment: exploring the effectiveness of proof
Springer, 2008 г.
ISBN 978-88-470-0783-3
Книга
Developments in language theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012: proceedings
Springer, 2012 г.
ISBN 978-3-642-31652-4
Developments in language theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012: proceedings
Springer, 2012 г.
ISBN 978-3-642-31652-4
Книга
Even, G.
Digital logic design: a rigorous approach
Cambridge University Press, 2012 г.
ISBN 978-1-10-702753-4
Even, G.
Digital logic design: a rigorous approach
Cambridge University Press, 2012 г.
ISBN 978-1-10-702753-4
Книга
Malik, D. S.
Discrete mathematical structures: theory and applications
Thomson Course Technology, 2004 г.
ISBN 978-0-619-21558-3
Malik, D. S.
Discrete mathematical structures: theory and applications
Thomson Course Technology, 2004 г.
ISBN 978-0-619-21558-3
Книга
Epp, S. S.
Discrete mathematics with applications
Brooks/Cole, Cengage Learning, 2011 г.
ISBN 978-0-495-82616-3
Epp, S. S.
Discrete mathematics with applications
Brooks/Cole, Cengage Learning, 2011 г.
ISBN 978-0-495-82616-3
Препринты
Rubchinsky, A.
Divisive-agglomerative algorithm and complexity of automatic classification problems. Препринт WP...
НИУ ВШЭ, 2015 г.
ISBN отсутствует
Rubchinsky, A.
Divisive-agglomerative algorithm and complexity of automatic classification problems. Препринт WP...
НИУ ВШЭ, 2015 г.
ISBN отсутствует
Заказать
Препринты
Subochev, A.
Dominant, weakly stable, uncovered sets: properties and extensions. Препринт WP7/2008/03
ГУ-ВШЭ, 2008 г.
ISBN отсутствует
Subochev, A.
Dominant, weakly stable, uncovered sets: properties and extensions. Препринт WP7/2008/03
ГУ-ВШЭ, 2008 г.
ISBN отсутствует
Книга
Pitkethly, J.
Dualisability: unary algebras and beyond
ISBN 0-387-27569-X
Pitkethly, J.
Dualisability: unary algebras and beyond
Серия: Advances in mathematics
Springer-Verlag, 2005 г.ISBN 0-387-27569-X
Книга
Guillotin-Plantard, N.
Dynamic random walks: theory and applications
Elsevier, 2006 г.
ISBN 0-444-52735-4
Guillotin-Plantard, N.
Dynamic random walks: theory and applications
Elsevier, 2006 г.
ISBN 0-444-52735-4
Книга
Meyer, J.-J. C.
Epistemic logic for AI and computer science
Cambridge University Press, 2004 г.
ISBN 9780521602808
Meyer, J.-J. C.
Epistemic logic for AI and computer science
Cambridge University Press, 2004 г.
ISBN 9780521602808
Книга
Maghsoudi, S.
Epistemic logic planning: case-based planning adaptation, using epistemic logic revision for robot's decision making
VDM Verlag Dr. Muller, 2008 г.
ISBN 9783639050639
Maghsoudi, S.
Epistemic logic planning: case-based planning adaptation, using epistemic logic revision for robot's decision making
VDM Verlag Dr. Muller, 2008 г.
ISBN 9783639050639
Книга
Ashlock, D.
Evolutionary computation for modeling and optimization
Springer-Verlag, 2006 г.
ISBN 0-387-22196-4
Ashlock, D.
Evolutionary computation for modeling and optimization
Springer-Verlag, 2006 г.
ISBN 0-387-22196-4
Книга
Benthem, J. F. A. K. van
Exploring logical dynamics
ISBN 9781575860589
Benthem, J. F. A. K. van
Exploring logical dynamics
Серия: CSLI studies in logic
CSLI Publications, 1996 г.ISBN 9781575860589
Препринты
Rubchinsky, A.
Fair division with divisible and indivisible items. Препринт WP7/2009/05
ГУ-ВШЭ, 2009 г.
ISBN отсутствует
Rubchinsky, A.
Fair division with divisible and indivisible items. Препринт WP7/2009/05
ГУ-ВШЭ, 2009 г.
ISBN отсутствует
Книга
Ganter, B.
Formal concept analysis: mathematical foundations
Springer, 1999 г.
ISBN 978-3-540-62771-5
Ganter, B.
Formal concept analysis: mathematical foundations
Springer, 1999 г.
ISBN 978-3-540-62771-5
Книга
Dutilh Novaes, C.
Formal languages in logic: a philosophical and cognitive analysis
Cambridge University Press, 2012 г.
ISBN 978-1-10-702091-7
Dutilh Novaes, C.
Formal languages in logic: a philosophical and cognitive analysis
Cambridge University Press, 2012 г.
ISBN 978-1-10-702091-7
Книга
Wisdom, J. O.
Foundations of inference in natural science
ISBN 978-0-415-84777-3
Wisdom, J. O.
Foundations of inference in natural science
Серия: Routledge library editions
Routledge, 2013 г.ISBN 978-0-415-84777-3
Книга
Hoppner, F.
Fuzzy cluster analysis: methods for classification, data analysis and image recognition
John Wiley & Sons, 2000 г.
ISBN 978-0-471-98864-9
Hoppner, F.
Fuzzy cluster analysis: methods for classification, data analysis and image recognition
John Wiley & Sons, 2000 г.
ISBN 978-0-471-98864-9
Книга
Games, norms and reasons: logic at the crossroads
ISBN 978-94-00-70713-9
Games, norms and reasons: logic at the crossroads
Серия: Synthese library
Springer, 2011 г.ISBN 978-94-00-70713-9
Книга
Poggiolesi, F.
Gentzen calculi for modal propositional logic
ISBN 978-90-481-9667-8
Poggiolesi, F.
Gentzen calculi for modal propositional logic
Серия: Trends in logic
Springer, 2011 г.ISBN 978-90-481-9667-8
Книга
Malitz, J.
Introduction to mathematical logic: set theory, computable functions, model theory
Springer-Verlag, 1979 г.
ISBN 0-387-90346-1
Malitz, J.
Introduction to mathematical logic: set theory, computable functions, model theory
Springer-Verlag, 1979 г.
ISBN 0-387-90346-1
Книга
Sipser, M.
Introduction to the theory of computation
Cengage Learning, 2013 г.
ISBN 978-1-13-318781-3
Sipser, M.
Introduction to the theory of computation
Cengage Learning, 2013 г.
ISBN 978-1-13-318781-3
Книга
Sipser, M.
Introduction to the theory of computation
Cengage Learning, 2016 г.
ISBN 978-81-315-2529-6
Sipser, M.
Introduction to the theory of computation
Cengage Learning, 2016 г.
ISBN 978-81-315-2529-6
Книга
Sipser, M.
Introduction to the theory of computation
Thomson Course Technology, 2006 г.
ISBN 0-619-21764-2
Sipser, M.
Introduction to the theory of computation
Thomson Course Technology, 2006 г.
ISBN 0-619-21764-2