Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Доступно
1 из 4
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Нет экз.
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Нет экз.
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Рубрика
- Название:
- математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Связанные описания:
Доступно
1 из 4
Книга
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
Заказать 
На полку Доступно
1 из 1
Книга
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
Статья
Шамканов, Д. С.
A realization theorem for the modal logic of transitive closure K+
б.г.
ISBN отсутствует
Шамканов, Д. С.
A realization theorem for the modal logic of transitive closure K+
б.г.
ISBN отсутствует
Доступно
1 из 1
Книга
Algebraic perspectives on substructural logics
ISBN 9783030521653
Algebraic perspectives on substructural logics
Серия: Trends in logic
Springer, 2021 г.ISBN 9783030521653
Доступно
1 из 1
Книга
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
Доступно
1 из 1
Доступно
1 из 1
Нет экз.
Электронные книги
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
Доступно
1 из 1
Книга
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
Доступно
1 из 2
Книга
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
Доступно
1 из 2
Книга
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
Доступно
1 из 1
Книга
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
Доступно
1 из 1
Доступно
1 из 1
Книга
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
Доступно
1 из 2
Книга
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
Доступно
1 из 1
Книга
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
Доступно
1 из 2
Книга
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
Доступно
1 из 1
Доступно
1 из 1
Книга
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
Доступно
1 из 1
Книга
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
Доступно
1 из 2
Доступно
1 из 1
Книга
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
Доступно
1 из 1
Книга
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
Доступно
1 из 1
Книга
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
Доступно
1 из 1
Книга
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
Доступно
1 из 1
Препринты
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 отсутствует
Доступно
1 из 1
Препринты
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 отсутствует
Доступно
1 из 1
Книга
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
Доступно
1 из 1
Книга
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
Доступно
1 из 1
Доступно
1 из 1
Книга
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
Доступно
1 из 1
Книга
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
Доступно
1 из 1
Книга
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
Доступно
1 из 1
Книга
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
Доступно
1 из 1
Препринты
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 отсутствует
Доступно
1 из 1
Доступно
1 из 2
Книга
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
Доступно
1 из 1
Книга
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
Доступно
1 из 1
Книга
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
Доступно
1 из 2
Доступно
1 из 2
Книга
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
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
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
Доступно
1 из 1
Книга
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
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1