База данных: IPR База
Страница 3, Результатов: 26
Отмеченные записи: 0
21.
Подробнее
91255
Sudoplatov, S. V.
Classification of countable models of complete theories. Р.1 : monograph in two parts / Sudoplatov S. V. - Новосибирск : Новосибирский государственный технический университет, 2018. - 326 с. - ISBN 978-5-7782-3527-4 (p. 1), 978-5-7782-3526-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгебра -- математическая логика -- полная теория -- семантическая модель -- счетная модель
Аннотация: The book is the first part of the monograph «Classification of countable models of complete theories» consisting of two parts. In the monograph, a classification of countable models of complete theories with respect to two basic characteristics (Rudin-Keisler preorders and distribution functions for numbers of limit models) is presented and applied to the most important classes of countable theories such as the class of Ehrenfeucht theories (i. e., complete first-order theories with finitely many but more than one pairwise non-isomorphic countable models), the class of small theories (i. e., complete first-order theories with countably many types), and the class of countable first-order theories with continuum many types. For realizations of basic characteristics of countable complete theories, syntactic generic constructions, generalizing the Jonsson-Fraïssé construction and the Hrushovski construction, are presented. Using these constructions a solution of the Goncharov-Millar problem (on the existence of Ehrenfeucht theories with countable models which are not almost homogeneous) is described. Modifying the Hrushovski-Herwig generic construction, a solution of the Lachlan problem on the existence of stable Ehrenfeucht theories is shown. In the first part, a characterization of Ehrenfeuchtness, properties of Ehrenfeucht theories, generic constructions, and algebras for distributions of binary semi-isolating formulas of a complete theory are considered. The book is intended for specialists interested in Mathematical Logic.
Sudoplatov, S. V.
Classification of countable models of complete theories. Р.1 : monograph in two parts / Sudoplatov S. V. - Новосибирск : Новосибирский государственный технический университет, 2018. - 326 с. - ISBN 978-5-7782-3527-4 (p. 1), 978-5-7782-3526-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра -- математическая логика -- полная теория -- семантическая модель -- счетная модель
Аннотация: The book is the first part of the monograph «Classification of countable models of complete theories» consisting of two parts. In the monograph, a classification of countable models of complete theories with respect to two basic characteristics (Rudin-Keisler preorders and distribution functions for numbers of limit models) is presented and applied to the most important classes of countable theories such as the class of Ehrenfeucht theories (i. e., complete first-order theories with finitely many but more than one pairwise non-isomorphic countable models), the class of small theories (i. e., complete first-order theories with countably many types), and the class of countable first-order theories with continuum many types. For realizations of basic characteristics of countable complete theories, syntactic generic constructions, generalizing the Jonsson-Fraïssé construction and the Hrushovski construction, are presented. Using these constructions a solution of the Goncharov-Millar problem (on the existence of Ehrenfeucht theories with countable models which are not almost homogeneous) is described. Modifying the Hrushovski-Herwig generic construction, a solution of the Lachlan problem on the existence of stable Ehrenfeucht theories is shown. In the first part, a characterization of Ehrenfeuchtness, properties of Ehrenfeucht theories, generic constructions, and algebras for distributions of binary semi-isolating formulas of a complete theory are considered. The book is intended for specialists interested in Mathematical Logic.
22.
Подробнее
91256
Sudoplatov, S. V.
Classification of countable models of complete theories. Р.2 : monograph in two parts / Sudoplatov S. V. - Новосибирск : Новосибирский государственный технический университет, 2018. - 394 с. - ISBN 978-5-7782-3528-1 (p. 2), 978-5-7782-3526-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
гиперграф -- задача -- математическая логика -- полная теория -- предельная модель -- счетная модель
Аннотация: The book is the second part of the monograph «Classification of countable models of complete theories» consisting of two parts. In the book, generic Ehrenfeucht theories and realizations of Rudin–Keisler preorders are considered as well as a solution of the Goncharov–Millar problem on the existence of Ehrenfeucht theories with countable models which are not almost homogeneous, stable Ehrenfeucht theories solving the Lachlan problem, hypergraphs of prime models, distributions of countable models of small theories, and distributions of countable models of theories with continuum many types. The book is intended for specialists interested in Mathematical Logic.
Sudoplatov, S. V.
Classification of countable models of complete theories. Р.2 : monograph in two parts / Sudoplatov S. V. - Новосибирск : Новосибирский государственный технический университет, 2018. - 394 с. - ISBN 978-5-7782-3528-1 (p. 2), 978-5-7782-3526-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
гиперграф -- задача -- математическая логика -- полная теория -- предельная модель -- счетная модель
Аннотация: The book is the second part of the monograph «Classification of countable models of complete theories» consisting of two parts. In the book, generic Ehrenfeucht theories and realizations of Rudin–Keisler preorders are considered as well as a solution of the Goncharov–Millar problem on the existence of Ehrenfeucht theories with countable models which are not almost homogeneous, stable Ehrenfeucht theories solving the Lachlan problem, hypergraphs of prime models, distributions of countable models of small theories, and distributions of countable models of theories with continuum many types. The book is intended for specialists interested in Mathematical Logic.
23.
Подробнее
78148
Mustafaev, A. S.
A General Course of Physics. Mechanics : textbook / Mustafaev A. S. - Санкт-Петербург : Санкт-Петербургский горный университет, 2017. - 135 с. - ISBN 978-5-94211-777-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.2
Кл.слова (ненормированные):
консервативный -- механика -- свободное падение
Аннотация: The textbook is written in accordance with the syllabus in physics for higher educational institutions and is intended for self-study of the course «A General Course of Physics. MECHANICS». The book contains explanations of fundamental concepts and descriptions of laws of dynamics, universal gravitation, hydrostatics and hydrodynamics, the theory of relativity, among others. The material represented presumes knowledge of modern mathematical tools; an emphasis is put on the physical nature of phenomena. There are test questions and special tasks at the end of each section for self-control and the monitoring of academic progress in theoretical and practical aspects of the course. The present textbook is the first edition in the English language and is written in conformity with the St. Petersburg Mining University Development Program for the period until the year 2018. The authors’ attention is focused on achieving priority goals in the university international activities such as the monitoring of global educational trends, best foreign practices analysis, learning resources development and internationalization in accordance with the global trends in teaching foreign students and postgraduates, and creation of a multilingual academic environment for productive international collaboration. The textbook meets the requirements specified for bachelor’s and master’s degree students of technical universities.
Доп.точки доступа:
Filyasova, Yu. A.
Mustafaev, A. S.
A General Course of Physics. Mechanics : textbook / Mustafaev A. S. - Санкт-Петербург : Санкт-Петербургский горный университет, 2017. - 135 с. - ISBN 978-5-94211-777-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
консервативный -- механика -- свободное падение
Аннотация: The textbook is written in accordance with the syllabus in physics for higher educational institutions and is intended for self-study of the course «A General Course of Physics. MECHANICS». The book contains explanations of fundamental concepts and descriptions of laws of dynamics, universal gravitation, hydrostatics and hydrodynamics, the theory of relativity, among others. The material represented presumes knowledge of modern mathematical tools; an emphasis is put on the physical nature of phenomena. There are test questions and special tasks at the end of each section for self-control and the monitoring of academic progress in theoretical and practical aspects of the course. The present textbook is the first edition in the English language and is written in conformity with the St. Petersburg Mining University Development Program for the period until the year 2018. The authors’ attention is focused on achieving priority goals in the university international activities such as the monitoring of global educational trends, best foreign practices analysis, learning resources development and internationalization in accordance with the global trends in teaching foreign students and postgraduates, and creation of a multilingual academic environment for productive international collaboration. The textbook meets the requirements specified for bachelor’s and master’s degree students of technical universities.
Доп.точки доступа:
Filyasova, Yu. A.
24.
Подробнее
142170
Сак, А. Н.
English for statistics, machine learning and mathematical modeling / Английский язык для статистики, машинного обучения и математического моделирования : учебно-методическое пособие / Сак А. Н. - Москва : МИСИ-МГСУ, ЭБС АСВ, 2023. - 48 с. - ISBN 978-5-7264-3323-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 81.432
Кл.слова (ненормированные):
английский язык -- грамматика -- иностранный язык -- лексика -- лингвистика -- математическое моделирование -- машинное обучение -- статистика
Аннотация: Учебно-методическое пособие содержит тексты и упражнения по лексике и грамматике для основных разделов математической статистики и машинного обучения, таких как теория вероятности, распределения, оценки, гипотезы, линейная регрессия и др. Работа с аутентичными текстами, а также выполнение упражнений позволят обучающимся познакомиться не только с английской терминологией и грамматическими конструкциями, использующимися для выражения математических методов, но и глубже узнать сами математические понятия данной области. Упражнения способствуют как запоминанию грамматических конструкций, так и владению терминологией соответствующих математических областей. Для обучающихся бакалавриата по всем техническим/математическим УГСН, реализуемым НИУ МГСУ.
Сак, А. Н.
English for statistics, machine learning and mathematical modeling / Английский язык для статистики, машинного обучения и математического моделирования : учебно-методическое пособие / Сак А. Н. - Москва : МИСИ-МГСУ, ЭБС АСВ, 2023. - 48 с. - ISBN 978-5-7264-3323-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
английский язык -- грамматика -- иностранный язык -- лексика -- лингвистика -- математическое моделирование -- машинное обучение -- статистика
Аннотация: Учебно-методическое пособие содержит тексты и упражнения по лексике и грамматике для основных разделов математической статистики и машинного обучения, таких как теория вероятности, распределения, оценки, гипотезы, линейная регрессия и др. Работа с аутентичными текстами, а также выполнение упражнений позволят обучающимся познакомиться не только с английской терминологией и грамматическими конструкциями, использующимися для выражения математических методов, но и глубже узнать сами математические понятия данной области. Упражнения способствуют как запоминанию грамматических конструкций, так и владению терминологией соответствующих математических областей. Для обучающихся бакалавриата по всем техническим/математическим УГСН, реализуемым НИУ МГСУ.
25.
Подробнее
122331
Aladjev, Victor
Cellular Automata, Mainframes, Maple, Mathematica and Computer Science in Tallinn Research Group / Aladjev Victor. - Seattle : Kindle Press, 2022. - 150 с. - ISBN 9798447660208 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
cellular automata -- computer science -- mainframes -- maple -- mathematica -- tallinn
Аннотация: The book presents an expanded excursion into the creative activities of the Tallinn Research Group during 1970–2022 with a focus on researches and development in such main fields as mainframes, personal computers, general statistics theory, issues of parallel information processing and computing, computer mathematics systems (Maple, Mathematica), programming, automated control systems, mathematical developmental biology, some mathematical problems in the cellular automata theory with a focus on our standpoint on the main stages of formation of the cellular automata theory. The book may be of certain interest as a retrospective standpoint on development of the above areas in the USSR (primarily in the ESSR) and the republics of the former USSR. The book is equipped with a fairly extensive bibliography on the issues under consideration.
Aladjev, Victor
Cellular Automata, Mainframes, Maple, Mathematica and Computer Science in Tallinn Research Group / Aladjev Victor. - Seattle : Kindle Press, 2022. - 150 с. - ISBN 9798447660208 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
cellular automata -- computer science -- mainframes -- maple -- mathematica -- tallinn
Аннотация: The book presents an expanded excursion into the creative activities of the Tallinn Research Group during 1970–2022 with a focus on researches and development in such main fields as mainframes, personal computers, general statistics theory, issues of parallel information processing and computing, computer mathematics systems (Maple, Mathematica), programming, automated control systems, mathematical developmental biology, some mathematical problems in the cellular automata theory with a focus on our standpoint on the main stages of formation of the cellular automata theory. The book may be of certain interest as a retrospective standpoint on development of the above areas in the USSR (primarily in the ESSR) and the republics of the former USSR. The book is equipped with a fairly extensive bibliography on the issues under consideration.
26.
Подробнее
69993
Tassilo, Kuepper
Integration of Natural Science and Maths in Scientific Thought and Education : the materials of Russian - German Seminar in Moscow - Cologne, 2014 / Tassilo Kuepper. - Москва : Московский педагогический государственный университет, 2015. - 64 с. - ISBN 978-5-4263-0290-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 74.5
Аннотация: The collection includes materials of the Russian - German seminar which took place from September, 15, to September, 23, 2014 in Moscow (Russia) at the Faculty of Physics and Information Technologies of Moscow State Pedagogical University and from November, 27, to December, 5, 2014 in Cologne (Germany) at the Mathematical Institute of University of Cologne.
Доп.точки доступа:
Natalia, Purysheva
Dmitry, Isaev
Tassilo, Kuepper
Integration of Natural Science and Maths in Scientific Thought and Education : the materials of Russian - German Seminar in Moscow - Cologne, 2014 / Tassilo Kuepper. - Москва : Московский педагогический государственный университет, 2015. - 64 с. - ISBN 978-5-4263-0290-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Аннотация: The collection includes materials of the Russian - German seminar which took place from September, 15, to September, 23, 2014 in Moscow (Russia) at the Faculty of Physics and Information Technologies of Moscow State Pedagogical University and from November, 27, to December, 5, 2014 in Cologne (Germany) at the Mathematical Institute of University of Cologne.
Доп.точки доступа:
Natalia, Purysheva
Dmitry, Isaev
Страница 3, Результатов: 26