Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика = 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
Доступно
1 из 1
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Рубрика
- Название:
- математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Связанные описания:
![](http://opac.hse.ru/absopac/app/webroot/img//progress.gif)
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](?url=/Content/cover/348288.jpg)
Доступно
1 из 1
Книга
Algebraic perspectives on substructural logics
ISBN 9783030521653
Algebraic perspectives on substructural logics
Серия: Trends in logic
Springer, 2021 г.ISBN 9783030521653
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](?url=/Content/cover/356701.jpg)
Нет экз.
Электронные книги
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](?url=/Content/cover/344440.jpg)
Доступно
1 из 1
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](?url=/Content/cover/359089.jpg)
Нет экз.
Электронные книги
Boolos, G. S.
Computability and logic
Cambridge University Press, 2007 г.
ISBN 9780511366055
Boolos, G. S.
Computability and logic
Cambridge University Press, 2007 г.
ISBN 9780511366055
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](?url=/Content/cover/354641.jpg)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/24.gif)
Доступно
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 отсутствует
![](/absopac/app/webroot/img/doctypes/24.gif)
Доступно
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 отсутствует
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](?url=/Content/cover/350648.jpg)
Доступно
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
![](/absopac/app/webroot/img/doctypes/24.gif)
Доступно
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 отсутствует
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
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
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/absopac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1