Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика = 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
Электронные книги
Gusfield, D.
Algorithms on strings, trees, and sequences: computer science and computational biology
Cambridge University Press, 2008 г.
ISBN 9780511969652
Gusfield, D.
Algorithms on strings, trees, and sequences: computer science and computational biology
Cambridge University Press, 2008 г.
ISBN 9780511969652
Книга
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
Электронные книги
Boolos, G. S.
Computability and logic
Cambridge University Press, 2007 г.
ISBN 9780511366055
Boolos, G. S.
Computability and logic
Cambridge University Press, 2007 г.
ISBN 9780511366055
Книга
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
Книга
Kale, I. R.
Constraint handling in cohort intelligence algorithm
ISBN 9781032150758
Kale, I. R.
Constraint handling in cohort intelligence algorithm
Серия: Advances in metaheuristics
CRC Press, 2022 г.ISBN 9781032150758
Книга
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