Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Доступно
1 из 1
Доступно
1 из 5
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
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 из 2
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 12
Нет экз.
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 3
Доступно
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 из 1
Книга
Malitz, J.
Introduction to mathematical logic: set theory, computable functions, model theory
Springer-Verlag, 1979 г.
ISBN 0-387-90346-1
Malitz, J.
Introduction to mathematical logic: set theory, computable functions, model theory
Springer-Verlag, 1979 г.
ISBN 0-387-90346-1
Заказать 
На полку Доступно
1 из 5
Книга
Sipser, M.
Introduction to the theory of computation
Cengage Learning, 2013 г.
ISBN 978-1-13-318781-3
Sipser, M.
Introduction to the theory of computation
Cengage Learning, 2013 г.
ISBN 978-1-13-318781-3
Доступно
1 из 1
Книга
Sipser, M.
Introduction to the theory of computation
Cengage Learning, 2016 г.
ISBN 978-81-315-2529-6
Sipser, M.
Introduction to the theory of computation
Cengage Learning, 2016 г.
ISBN 978-81-315-2529-6
Доступно
1 из 2
Книга
Sipser, M.
Introduction to the theory of computation
Thomson Course Technology, 2006 г.
ISBN 0-619-21764-2
Sipser, M.
Introduction to the theory of computation
Thomson Course Technology, 2006 г.
ISBN 0-619-21764-2
Доступно
1 из 1
Книга
Joachim Lambek: the interplay of mathematics, logic, and linguistics
Springer, 2021 г.
ISBN 9783030665449
Joachim Lambek: the interplay of mathematics, logic, and linguistics
Springer, 2021 г.
ISBN 9783030665449
Доступно
1 из 1
Книга
Slobogin, C.
Just algorithms: using science to reduce incarceration and inform a jurisprudence of risk
Cambridge University Press, 2021 г.
ISBN 9781108984348
Slobogin, C.
Just algorithms: using science to reduce incarceration and inform a jurisprudence of risk
Cambridge University Press, 2021 г.
ISBN 9781108984348
Доступно
1 из 1
Книга
Leung, Y.
Knowledge discovery in spatial data
ISBN 978-3-642-02663-8
Leung, Y.
Knowledge discovery in spatial data
Серия: Advances in spatial science
Springer, 2010 г.ISBN 978-3-642-02663-8
Доступно
1 из 1
Многотомник
Tourlakis, G.
Lectures in logic and set theory
Cambridge University Press, б.г.
ISBN 0-521-75373-2
Tourlakis, G.
Lectures in logic and set theory
Cambridge University Press, б.г.
ISBN 0-521-75373-2
Доступно
1 из 2
Книга
Arfi, B.
Linguistic fuzzy logic methods in social sciences
Springer, 2010 г.
ISBN 978-3-642-13342-8
Arfi, B.
Linguistic fuzzy logic methods in social sciences
Springer, 2010 г.
ISBN 978-3-642-13342-8
Доступно
1 из 1
Книга
Dalen van, D.
Logic and structure
ISBN 3-540-20879-8
Dalen van, D.
Logic and structure
Серия: Universitext
Springer-Verlag, 2004 г.ISBN 3-540-20879-8
Доступно
1 из 1
Книга
Logic, language amd meaning: 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011: revised selected papers
Springer, 2012 г.
ISBN 978-3-642-31481-0
Logic, language amd meaning: 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011: revised selected papers
Springer, 2012 г.
ISBN 978-3-642-31481-0
Доступно
1 из 1
Книга
Logic, language, information and computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012: proceedings
Springer, 2012 г.
ISBN 978-3-642-32620-2
Logic, language, information and computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012: proceedings
Springer, 2012 г.
ISBN 978-3-642-32620-2
Доступно
1 из 1
Книга
Logic, mathematics, philosophy: vintage enthusiasms: essays in honour of John L. Bell
Springer, 2011 г.
ISBN 978-94-00-70213-4
Logic, mathematics, philosophy: vintage enthusiasms: essays in honour of John L. Bell
Springer, 2011 г.
ISBN 978-94-00-70213-4
Многотомник
Cori, R.
Mathematical logic: a course with exercises
Oxford University Press, б.г.
ISBN 0-19-850051-3
Cori, R.
Mathematical logic: a course with exercises
Oxford University Press, б.г.
ISBN 0-19-850051-3
Доступно
1 из 1
Доступно
1 из 1
Книга
Parsons, C.
Mathematical thought and its objects
Cambridge University Press, 2009 г.
ISBN 978-0-521-11911-5
Parsons, C.
Mathematical thought and its objects
Cambridge University Press, 2009 г.
ISBN 978-0-521-11911-5
Доступно
1 из 1
Книга
Simovici, D. A.
Mathematical tools for data mining: set theory, partial orders, combinatorics
Springer, 2008 г.
ISBN 978-1-84800-200-5
Simovici, D. A.
Mathematical tools for data mining: set theory, partial orders, combinatorics
Springer, 2008 г.
ISBN 978-1-84800-200-5
Доступно
1 из 1
Книга
Putnam, H.
Mathematics, matter and method
ISBN 0-521-29550-5
Putnam, H.
Mathematics, matter and method
Серия: Philosophical papers
Cambridge University Press, 2003 г.ISBN 0-521-29550-5
Доступно
1 из 1
Книга
Burgess, J. P.
Mathematics, models, and modelity: selected philosophical essays
Cambridge University Press, 2011 г.
ISBN 978-0-521-18967-5
Burgess, J. P.
Mathematics, models, and modelity: selected philosophical essays
Cambridge University Press, 2011 г.
ISBN 978-0-521-18967-5
Доступно
1 из 1
Доступно
1 из 1
Книга
Cocchiarella, N. B.
Modal logic: an introduction to its syntax and semantics
Oxford University Press, 2008 г.
ISBN 978-0-19-536657-0
Cocchiarella, N. B.
Modal logic: an introduction to its syntax and semantics
Oxford University Press, 2008 г.
ISBN 978-0-19-536657-0
Доступно
1 из 1
Доступно
1 из 1
Книга
Gertsbakh, I. B.
Models of network reliability: analysis, combinatorics and Monte Carlo
CRC Press, 2010 г.
ISBN 978-1-439-81741-4
Gertsbakh, I. B.
Models of network reliability: analysis, combinatorics and Monte Carlo
CRC Press, 2010 г.
ISBN 978-1-439-81741-4
Доступно
1 из 2
Книга
Steinhart, E.
More precisely: the math you need to do philosophy
Broadview Press, 2009 г.
ISBN 978-1-551-11909-0
Steinhart, E.
More precisely: the math you need to do philosophy
Broadview Press, 2009 г.
ISBN 978-1-551-11909-0
Доступно
1 из 1
Книга
Shoham, Y.
Multiagent systems: algorithmic, game-theoretic, and logical foundations
Cambridge University Press, 2009 г.
ISBN 978-0-521-89943-7
Shoham, Y.
Multiagent systems: algorithmic, game-theoretic, and logical foundations
Cambridge University Press, 2009 г.
ISBN 978-0-521-89943-7
Доступно
1 из 2
Книга
T'kindt, V.
Multicriteria scheduling: theory, models and algorithms
Springer-Verlag, 2006 г.
ISBN отсутствует
T'kindt, V.
Multicriteria scheduling: theory, models and algorithms
Springer-Verlag, 2006 г.
ISBN отсутствует
Доступно
1 из 1
Препринты
Aleskerov, F. T.
Multiple criteria threshold decision making algorithms. Препринт WP7/2010/02
ГУ-ВШЭ, 2010 г.
ISBN отсутствует
Aleskerov, F. T.
Multiple criteria threshold decision making algorithms. Препринт WP7/2010/02
ГУ-ВШЭ, 2010 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 3
Книга
Newman, M. E. J.
Networks: an introduction
Oxford University Press, 2013 г.
ISBN 978-0-19-920665-0
Newman, M. E. J.
Networks: an introduction
Oxford University Press, 2013 г.
ISBN 978-0-19-920665-0
Доступно
1 из 1
Книга
New directions in logic, language and computation: ESSLLI 2010 and ESSLLI 2011. Student sessions. Selected papers
Springer, 2012 г.
ISBN 978-3-642-31466-7
New directions in logic, language and computation: ESSLLI 2010 and ESSLLI 2011. Student sessions. Selected papers
Springer, 2012 г.
ISBN 978-3-642-31466-7
Доступно
1 из 1
Книга
Antoniou, G.
Nonmonotonic reasoning
ISBN 978-0-262-01157-0
Antoniou, G.
Nonmonotonic reasoning
Серия: Artificial Intelligence
The MIT Press, 1997 г.ISBN 978-0-262-01157-0
Доступно
1 из 1
Препринты
Ushakov, М. А.
On evaluation of the power indices with allowance of agents'preferences in the anonimons games. П...
НИУ ВШЭ, 2015 г.
ISBN отсутствует
Ushakov, М. А.
On evaluation of the power indices with allowance of agents'preferences in the anonimons games. П...
НИУ ВШЭ, 2015 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Harzheim, E.
Ordered sets
ISBN 0-387-24219-8
Harzheim, E.
Ordered sets
Серия: Advances in mathematics
Springer-Verlag, 2005 г.ISBN 0-387-24219-8
Доступно
1 из 12
Книга
Mitzenmacher, M.
Probability and computing: randomization and probabilistic techniques in algorithms and data analysis
Cambridge University Press, 2017 г.
ISBN 9781107154889
Mitzenmacher, M.
Probability and computing: randomization and probabilistic techniques in algorithms and data analysis
Cambridge University Press, 2017 г.
ISBN 9781107154889
Нет экз.
Электронные книги
Baeten, J. C. M.
Process algebra: equational theories of communicating processes
Cambridge University Press, 2010 г.
ISBN 9780511714429
Baeten, J. C. M.
Process algebra: equational theories of communicating processes
Cambridge University Press, 2010 г.
ISBN 9780511714429
Доступно
1 из 1
Книга
Goldrei, D.
Propositional and predicate calculus: a model of argument
Springer-Verlag, 2005 г.
ISBN 1-85233-921-7
Goldrei, D.
Propositional and predicate calculus: a model of argument
Springer-Verlag, 2005 г.
ISBN 1-85233-921-7
Доступно
1 из 1
Книга
Kantorovich, L. V.
Pt.1. : Descriptive theory of sets and functions. Functional analysis in semi-ordered spaces
1996 г.
ISBN 978-2-88449-012-2
Kantorovich, L. V.
Pt.1. : Descriptive theory of sets and functions. Functional analysis in semi-ordered spaces
1996 г.
ISBN 978-2-88449-012-2
Доступно
1 из 1
Книга
Cori, R.
Pt.1. : Propositional calculus, Boolean algebras, predicate calculus
2004 г.
ISBN 0-19-850048-3
Cori, R.
Pt.1. : Propositional calculus, Boolean algebras, predicate calculus
2004 г.
ISBN 0-19-850048-3
Доступно
1 из 2
Книга
Cori, R.
Pt.2. : Recursion theory, Godel's theorems, set theory, model theory
2004 г.
ISBN 0-19-850050-5
Cori, R.
Pt.2. : Recursion theory, Godel's theorems, set theory, model theory
2004 г.
ISBN 0-19-850050-5
Многотомник
Gabbay, D. M.
Quantification in nonclassical logic
Elsevier, 2009 г.
ISBN 978-0-444-52012-8
Gabbay, D. M.
Quantification in nonclassical logic
Elsevier, 2009 г.
ISBN 978-0-444-52012-8
Доступно
1 из 3
Доступно
1 из 1
Книга
Reflections on the foundations of mathematics: univalent foundations, set theory and general thoughts
ISBN 9783030156541
Reflections on the foundations of mathematics: univalent foundations, set theory and general thoughts
Серия: Synthese library
Springer, 2019 г.ISBN 9783030156541
Доступно
1 из 1
Книга
Lipschutz, S.
Schaum's outline of theory and problems of set theory and related topics
ISBN 0-07-038159-3
Lipschutz, S.
Schaum's outline of theory and problems of set theory and related topics
Серия: Schaum's outline series
McGraw-Hill, 1998 г.ISBN 0-07-038159-3
Доступно
1 из 1
Многотомник
Kantorovich, L. V.
Selected works: in 2 pt.
Gordon and Breach Publishers, б.г.
ISBN 978-2-88449-012-2
Kantorovich, L. V.
Selected works: in 2 pt.
Gordon and Breach Publishers, б.г.
ISBN 978-2-88449-012-2
Нет экз.
Электронные книги
Fomichov, V. A.
Semantics-oriented natural language processing: mathematical models and algorithms
Springer, 2010 г.
ISBN 9780387729268
Fomichov, V. A.
Semantics-oriented natural language processing: mathematical models and algorithms
Springer, 2010 г.
ISBN 9780387729268
Доступно
1 из 1
Книга
Devlin, K. J.
Sets, functions and logic: basic concepts of university mathematics
CHAPMAN & HALL, 1981 г.
ISBN 0-412-22660-X
Devlin, K. J.
Sets, functions and logic: basic concepts of university mathematics
CHAPMAN & HALL, 1981 г.
ISBN 0-412-22660-X
Доступно
1 из 2
Доступно
1 из 1