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

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
Доступно
 1 из 4
Книга
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
Доступно
 1 из 1
Книга
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
Доступно
 1 из 1
Книга

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


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

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

Algorithmic number theory: lattices, number fields, curves and cryptography
Доступно
 1 из 1
Книга

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
Доступно
 1 из 1
Книга
Wilf, H. S.
Algorithms and complexity
A K Peters, Ltd., 2002 г.
ISBN 978-1-568-81178-9


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

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

Algorithms in real algebraic geometry
Доступно
 1 из 1
Книга
Basu, S.
Algorithms in real algebraic geometry
Серия: Algorithms and computation in mathematics
Springer-Verlag, 2006 г.
ISBN 978-3-540-33098-1


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

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

Algorithms on strings, trees, and sequences
Нет экз.
Электронные книги
Gusfield, D.
Algorithms on strings, trees, and sequences: computer science and computational biology
Cambridge University Press, 2008 г.
ISBN 9780511969652

полный текст


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

An introduction to Godel's theorems
Доступно
 1 из 1
Книга
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
Доступно
 1 из 2
Книга
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
Доступно
 1 из 2
Книга
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
Доступно
 1 из 1
Книга
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
Доступно
 1 из 1
Книга
Cunningham, S.
Causal inference: the mixtape
Yale University Press, 2021 г.
ISBN 9780300251685


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

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

Causality, probability, and time
Доступно
 1 из 1
Книга
Kleinberg, S.
Causality, probability, and time
Cambridge University Press, 2013 г.
ISBN 978-1-10-702648-3


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

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

Communication complexity
Доступно
 1 из 2
Книга
Kushilevitz, E.
Communication complexity
Cambridge University Press, 2006 г.
ISBN 978-0-521-02983-4


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

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

Computability and logic
Нет экз.
Электронные книги
Boolos, G. S.
Computability and logic
Cambridge University Press, 2007 г.
ISBN 9780511366055

полный текст


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

Computability in context
Доступно
 1 из 1
Книга

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


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

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

Computers and intractability
Доступно
 1 из 2
Книга
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
Доступно
 1 из 1
Книга
Smyth, B.
Computing patterns in strings
Pearson, Addison-Wesley, 2003 г.
ISBN 0-201-39839-7


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

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

Constraint handling in cohort intelligence algorithm
Доступно
 1 из 1
Книга
Kale, I. R.
Constraint handling in cohort intelligence algorithm
Серия: Advances in metaheuristics
CRC Press, 2022 г.
ISBN 9781032150758


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

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

Deduction, computation, experiment
Доступно
 1 из 1
Книга

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


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

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

Descriptive complexity
Доступно
 1 из 2
Книга
Immerman, N.
Descriptive complexity
Серия: Graduate texts in computer science
Springer, 1999 г.
ISBN 978-0-387-98600-5


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

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

Developments in language theory
Доступно
 1 из 1
Книга

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
Доступно
 1 из 1
Книга
Even, G.
Digital logic design: a rigorous approach
Cambridge University Press, 2012 г.
ISBN 978-1-10-702753-4


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

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

Discrete mathematical structures: theory and applications
Доступно
 1 из 1
Книга
Malik, D. S.
Discrete mathematical structures: theory and applications
Thomson Course Technology, 2004 г.
ISBN 978-0-619-21558-3


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

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

Discrete mathematics with applications
Доступно
 1 из 1
Книга
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
Доступно
 1 из 1
Книга
Pitkethly, J.
Dualisability: unary algebras and beyond
Серия: Advances in mathematics
Springer-Verlag, 2005 г.
ISBN 0-387-27569-X


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

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

Dynamic random walks
Доступно
 1 из 1
Книга
Guillotin-Plantard, N.
Dynamic random walks: theory and applications
Elsevier, 2006 г.
ISBN 0-444-52735-4


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

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

Epistemic logic
Доступно
 1 из 1
Книга

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


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

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

Epistemic logic for AI and computer science
Доступно
 1 из 1
Книга
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
Доступно
 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


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

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

Evolutionary computation for modeling and optimization
Доступно
 1 из 1
Книга
Ashlock, D.
Evolutionary computation for modeling and optimization
Springer-Verlag, 2006 г.
ISBN 0-387-22196-4


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

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

Exploring logical dynamics
Доступно
 1 из 1
Книга
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
Доступно
 1 из 1
Книга

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


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

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

Formal concept analysis
Доступно
 1 из 2
Книга
Ganter, B.
Formal concept analysis: mathematical foundations
Springer, 1999 г.
ISBN 978-3-540-62771-5


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

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

Formal languages in logic
Доступно
 1 из 1
Книга
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
Доступно
 1 из 1
Книга
Wisdom, J. O.
Foundations of inference in natural science
Серия: Routledge library editions
Routledge, 2013 г.
ISBN 978-0-415-84777-3


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

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

Foundations of machine learning
Доступно
 1 из 2
Книга
Mohri, M.
Foundations of machine learning
Серия: Adaptive computation and machine learning
The MIT Press, 2012 г.
ISBN 978-0-262-01825-8


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

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

Fuzzy cluster analysis
Доступно
 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


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

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

Fuzzy model identification for control
Доступно
 1 из 1
Книга
Abonyi, J.
Fuzzy model identification for control
Springer, 2003 г.
ISBN 9781461265795


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

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

Fuzzy modeling for control
Доступно
 1 из 1
Книга
Babuska, R.
Fuzzy modeling for control
Серия: International series in intelligent technologies
Springer, 1998 г.
ISBN 9789401060400


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

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

Games, norms and reasons
Доступно
 1 из 1
Книга

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


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

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

Gentzen calculi for modal propositional logic
Доступно
 1 из 1
Книга
Poggiolesi, F.
Gentzen calculi for modal propositional logic
Серия: Trends in logic
Springer, 2011 г.
ISBN 978-90-481-9667-8


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

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

Graphs, networks and algorithms
Доступно
 1 из 1
Книга
Jungnickel, D.
Graphs, networks and algorithms
Серия: Algorithms and computation in mathematics
Springer-Verlag, 2005 г.
ISBN 3-540-21905-6


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

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

Information, interaction and agency
Доступно
 1 из 1
Книга

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


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

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

Introduction to algorithms
Доступно
 1 из 2
Книга
Cormen, T. H.
Introduction to algorithms
The MIT Press, 2009 г.
ISBN 978-0-262-03384-8


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

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

Introduction to mathematical logic
Доступно
 1 из 1
Книга
Walicki, M.
Introduction to mathematical logic
World Scientific, 2012 г.
ISBN 978-981-434-387-9


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

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

Introduction to mathematical logic
Доступно
 1 из 1
Книга
Mendelson, E.
Introduction to mathematical logic
CHAPMAN & HALL, 2001 г.
ISBN 0-412-80830-7


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

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

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