Каталог печатных изданий библиотеки НИУ ВШЭ

eng|rus
Пожалуйста, бронируйте контрольные экземпляры только тех книг, которых нет
в наличии ни в читальных залах, ни в открытом доступе, ни на научном абонементе.

По вопросам доступа к электронному каталогу обращайтесь в
отдел информационных систем и электронных ресурсов Библиотеки

Поиск :

  • Новые поступления
  • Простой поиск
  • Расширенный поиск

  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)

  • Электронный каталог Мандельштамовского центра
  • Помощь

Личный кабинет :


Электронный каталог: Книги в рубрике:

Рубрики
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory

Рубрика

Название:
 
математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory  

Печать списка

Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | вперед >>
A course in mathematical logic for mathematicians
Экз. чит. зала
Книга
Manin, Y. I.
A course in mathematical logic for mathematicians
Серия: Graduate texts in mathematics
Springer, 2010 г.
ISBN 978-1-441-90614-4


На полку На полку

A course in model theory
Экз. чит. зала
Книга
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
Экз. чит. зала
Книга

Algebraic perspectives on substructural logics
Серия: Trends in logic
Springer, 2021 г.
ISBN 9783030521653


На полку На полку

Algorithmic number theory: lattices, number fields, curves and cryptography
Экз. чит. зала
Книга

Algorithmic number theory: lattices, number fields, curves and cryptography
Серия: Mathematical Sciences Research Institute publications
Cambridge University Press, 2011 г.
ISBN 978-0-521-20833-8


На полку На полку

Algorithms and complexity
Экз. чит. зала
Книга
Wilf, H. S.
Algorithms and complexity
A K Peters, Ltd., 2002 г.
ISBN 978-1-568-81178-9


На полку На полку

Algorithms in real algebraic geometry
Экз. чит. зала
Книга
Basu, S.
Algorithms in real algebraic geometry
Серия: Algorithms and computation in mathematics
Springer-Verlag, 2006 г.
ISBN 978-3-540-33098-1


На полку На полку

An introduction to Godel's theorems
Экз. чит. зала
Книга
Smith, P.
An introduction to Godel's theorems
Серия: Cambridge introductions to philosophy
Cambridge University Press, 2013 г.
ISBN 978-1-10-760675-3


На полку На полку

An introduction to Kolmogorov complexity and its applications
Экз. чит. зала
Книга
Li, M.
An introduction to Kolmogorov complexity and its applications
Серия: Texts in computer science
Springer, 2008 г.
ISBN 978-0-387-33998-6


На полку На полку

Applying fuzzy mathematics to formal models in comparative politics
Экз. чит. зала
Книга
Clark, T. D.
Applying fuzzy mathematics to formal models in comparative politics
Серия: Studies in fuzziness and soft computing
Springer, 2008 г.
ISBN 978-3-642-09612-9


На полку На полку

Beyond geometry
Экз. чит. зала
Книга
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


На полку На полку

Causal inference
Экз. чит. зала
Книга
Cunningham, S.
Causal inference: the mixtape
Yale University Press, 2021 г.
ISBN 9780300251685


На полку На полку

Causality, probability, and time
Экз. чит. зала
Книга
Kleinberg, S.
Causality, probability, and time
Cambridge University Press, 2013 г.
ISBN 978-1-10-702648-3


На полку На полку

Communication complexity
Экз. чит. зала
Книга
Kushilevitz, E.
Communication complexity
Cambridge University Press, 2006 г.
ISBN 978-0-521-02983-4


На полку На полку

Computability in context
Экз. чит. зала
Книга

Computability in context: computation and logic in the real world
Imperial College Press, 2011 г.
ISBN 978-1-84816-245-7


На полку На полку

Computers and intractability
Экз. чит. зала
Книга
Garey, M. R.
Computers and intractability: a guide to the theory of NP-completeness
Серия: A series of books in the mathematical sciences
W. H. Freeman and Company, 1979 г.
ISBN 9780716710455


На полку На полку

Computing patterns in strings
Экз. чит. зала
Книга
Smyth, B.
Computing patterns in strings
Pearson, Addison-Wesley, 2003 г.
ISBN 0-201-39839-7


На полку На полку

Deduction, computation, experiment
Экз. чит. зала
Книга

Deduction, computation, experiment: exploring the effectiveness of proof
Springer, 2008 г.
ISBN 978-88-470-0783-3


На полку На полку

Descriptive complexity
Экз. чит. зала
Книга
Immerman, N.
Descriptive complexity
Серия: Graduate texts in computer science
Springer, 1999 г.
ISBN 978-0-387-98600-5


На полку На полку

Developments in language theory
Экз. чит. зала
Книга

Developments in language theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012: proceedings
Серия: Lecture notes in computer science
Springer, 2012 г.
ISBN 978-3-642-31652-4


На полку На полку

Digital logic design
Экз. чит. зала
Книга
Even, G.
Digital logic design: a rigorous approach
Cambridge University Press, 2012 г.
ISBN 978-1-10-702753-4


На полку На полку

Discrete mathematical structures: theory and applications
Экз. чит. зала
Книга
Malik, D. S.
Discrete mathematical structures: theory and applications
Thomson Course Technology, 2004 г.
ISBN 978-0-619-21558-3


На полку На полку

Discrete mathematics with applications
Экз. чит. зала
Книга
Epp, S. S.
Discrete mathematics with applications
Brooks/Cole, Cengage Learning, 2011 г.
ISBN 978-0-495-82616-3


На полку На полку

Divisive-agglomerative algorithm and complexity of automatic classification problems. Препринт WP...
Доступно
 1 из 1
Препринты
Rubchinsky, A.
Divisive-agglomerative algorithm and complexity of automatic classification problems. Препринт WP...
Серия: Сер. "WP7 : математические методы анализа решений в экономике, бизнесе и политике"
НИУ ВШЭ, 2015 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Dominant, weakly stable, uncovered sets: properties and extensions. Препринт WP7/2008/03
Доступно
 1 из 1
Препринты
Subochev, A.
Dominant, weakly stable, uncovered sets: properties and extensions. Препринт WP7/2008/03
Серия: Сер. "WP7 : теория и практика общественного выбора"
ГУ-ВШЭ, 2008 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Dualisability
Экз. чит. зала
Книга
Pitkethly, J.
Dualisability: unary algebras and beyond
Серия: Advances in mathematics
Springer-Verlag, 2005 г.
ISBN 0-387-27569-X


На полку На полку

Dynamic random walks
Экз. чит. зала
Книга
Guillotin-Plantard, N.
Dynamic random walks: theory and applications
Elsevier, 2006 г.
ISBN 0-444-52735-4


На полку На полку

Epistemic logic
Экз. чит. зала
Книга

Epistemic logic: 5 questions
Automatic press/VIP, 2010 г.
ISBN 9788792130242


На полку На полку

Epistemic logic for AI and computer science
Экз. чит. зала
Книга
Meyer, J.-J. C.
Epistemic logic for AI and computer science
Серия: Cambridge tracts in theoretical computer science
Cambridge University Press, 2004 г.
ISBN 9780521602808


На полку На полку

Epistemic logic planning
Экз. чит. зала
Книга
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


На полку На полку

Evolutionary computation for modeling and optimization
Экз. чит. зала
Книга
Ashlock, D.
Evolutionary computation for modeling and optimization
Springer-Verlag, 2006 г.
ISBN 0-387-22196-4


На полку На полку

Exploring logical dynamics
Экз. чит. зала
Книга
Benthem, J. F. A. K. van
Exploring logical dynamics
Серия: CSLI studies in logic
CSLI Publications, 1996 г.
ISBN 9781575860589


На полку На полку

Fair division with divisible and indivisible items. Препринт WP7/2009/05
Доступно
 1 из 1
Препринты
Rubchinsky, A.
Fair division with divisible and indivisible items. Препринт WP7/2009/05
Серия: Сер. "WP7 : теория и практика общественного выбора"
ГУ-ВШЭ, 2009 г.
ISBN отсутствует


Заказать Заказать

На полку На полку

Finite and algorithmic model theory
Экз. чит. зала
Книга

Finite and algorithmic model theory
Серия: London Mathematical Society lecture note series
Cambridge University Press, 2011 г.
ISBN 978-0-521-71820-2


На полку На полку

Formal concept analysis
Экз. чит. зала
Книга
Ganter, B.
Formal concept analysis: mathematical foundations
Springer, 1999 г.
ISBN 978-3-540-62771-5


На полку На полку

Formal languages in logic
Экз. чит. зала
Книга
Dutilh Novaes, C.
Formal languages in logic: a philosophical and cognitive analysis
Cambridge University Press, 2012 г.
ISBN 978-1-10-702091-7


На полку На полку

Foundations of inference in natural science
Экз. чит. зала
Книга
Wisdom, J. O.
Foundations of inference in natural science
Серия: Routledge library editions
Routledge, 2013 г.
ISBN 978-0-415-84777-3


На полку На полку

Foundations of machine learning
Экз. чит. зала
Книга
Mohri, M.
Foundations of machine learning
Серия: Adaptive computation and machine learning
The MIT Press, 2012 г.
ISBN 978-0-262-01825-8


На полку На полку

Fuzzy cluster analysis
Экз. чит. зала
Книга
Hoppner, F.
Fuzzy cluster analysis: methods for classification, data analysis and image recognition
John Wiley & Sons, 2000 г.
ISBN 978-0-471-98864-9


На полку На полку

Fuzzy model identification for control
Экз. чит. зала
Книга
Abonyi, J.
Fuzzy model identification for control
Springer, 2003 г.
ISBN 9781461265795


На полку На полку

Fuzzy modeling for control
Экз. чит. зала
Книга
Babuska, R.
Fuzzy modeling for control
Серия: International series in intelligent technologies
Springer, 1998 г.
ISBN 9789401060400


На полку На полку

Games, norms and reasons
Экз. чит. зала
Книга

Games, norms and reasons: logic at the crossroads
Серия: Synthese library
Springer, 2011 г.
ISBN 978-94-00-70713-9


На полку На полку

Gentzen calculi for modal propositional logic
Экз. чит. зала
Книга
Poggiolesi, F.
Gentzen calculi for modal propositional logic
Серия: Trends in logic
Springer, 2011 г.
ISBN 978-90-481-9667-8


На полку На полку

Graphs, networks and algorithms
Экз. чит. зала
Книга
Jungnickel, D.
Graphs, networks and algorithms
Серия: Algorithms and computation in mathematics
Springer-Verlag, 2005 г.
ISBN 3-540-21905-6


На полку На полку

Information, interaction and agency
Экз. чит. зала
Книга

Information, interaction and agency
Springer, 2005 г.
ISBN 1-402-03600-0


На полку На полку

Introduction to mathematical logic
Экз. чит. зала
Книга
Walicki, M.
Introduction to mathematical logic
World Scientific, 2012 г.
ISBN 978-981-434-387-9


На полку На полку

Introduction to mathematical logic
Экз. чит. зала
Книга
Mendelson, E.
Introduction to mathematical logic
CHAPMAN & HALL, 2001 г.
ISBN 0-412-80830-7


На полку На полку

Introduction to mathematical logic
Экз. чит. зала
Книга
Malitz, J.
Introduction to mathematical logic: set theory, computable functions, model theory
Серия: Undergraduate texts in mathematics
Springer-Verlag, 1979 г.
ISBN 0-387-90346-1


На полку На полку

Introduction to the theory of computation
Экз. чит. зала
Книга
Sipser, M.
Introduction to the theory of computation
Cengage Learning, 2013 г.
ISBN 978-1-13-318781-3


На полку На полку

Introduction to the theory of computation
Экз. чит. зала
Книга
Sipser, M.
Introduction to the theory of computation
Cengage Learning, 2016 г.
ISBN 978-81-315-2529-6


На полку На полку

Introduction to the theory of computation
Экз. чит. зала
Книга
Sipser, M.
Introduction to the theory of computation
Thomson Course Technology, 2006 г.
ISBN 0-619-21764-2


На полку На полку

© Все права защищены ООО "Компания Либэр" , 2009 - 2022  v.20.105