Choice of metadata IPR SMART
Page 1, Results: 19
Report on unfulfilled requests: 0
1.
Подробнее
Математика в начальной школе (теоретические основы начального курса математики). В 2 ч. Часть 2 : учебник. - [Б. м.] : Вузовское образование, 2020 - .Математика в начальной школе (теоретические основы начального курса математики). В 2 ч. Часть 2 / Горюшкин А. П. - 2020. - 362 с. - ISBN 978-5-4487-0592-2 (ч. 2), 978-5-4487-0590-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
математика -- начальная школа -- начальный курс -- теоретическая основа -- множество -- математическое утверждение -- бинарное отношение
Аннотация: Учебник включает теоретический материал по всем разделам действующих программ по дисциплине «Математика в начальной школе» направления подготовки 44.03.01 «Педагогическое образование» (профиль подготовки «Начальное образование») и по дисциплине «Математика» направления подготовки 44.03.05 «Педагогическое образование (с двумя профилями подготовки)». Для удобства студентов издание состоит из двух частей. Вторая часть учебника посвящена системе действительных чисел, величинам и их измерениям и свойствам простейших геометрических фигур. Построение системы действительных чисел тесно связано с понятием непрерывности. Система действительных чисел вводится (как и все остальные числовые системы) аксиоматически, а затем рассмотрены две арифметические модели системы действительных чисел. Геометрическая интерпретация является, конечно, более наглядной, поэтому в пособии детально исследуются особенности геометрической интерпретации системы положительных действительных чисел. Подготовлен с учетом требований Федерального государственного образовательного стандарта высшего образования. Учебник представляет интерес для студентов физико-математических факультетов университетов, а также для учителей и учащихся средних школ, гимназий и лицеев.
Доп.точки доступа:
Ильина, И. А. \ред.\
Математика в начальной школе (теоретические основы начального курса математики). В 2 ч. Часть 2 : учебник. - [Б. м.] : Вузовское образование, 2020 - .Математика в начальной школе (теоретические основы начального курса математики). В 2 ч. Часть 2 / Горюшкин А. П. - 2020. - 362 с. - ISBN 978-5-4487-0592-2 (ч. 2), 978-5-4487-0590-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
математика -- начальная школа -- начальный курс -- теоретическая основа -- множество -- математическое утверждение -- бинарное отношение
Аннотация: Учебник включает теоретический материал по всем разделам действующих программ по дисциплине «Математика в начальной школе» направления подготовки 44.03.01 «Педагогическое образование» (профиль подготовки «Начальное образование») и по дисциплине «Математика» направления подготовки 44.03.05 «Педагогическое образование (с двумя профилями подготовки)». Для удобства студентов издание состоит из двух частей. Вторая часть учебника посвящена системе действительных чисел, величинам и их измерениям и свойствам простейших геометрических фигур. Построение системы действительных чисел тесно связано с понятием непрерывности. Система действительных чисел вводится (как и все остальные числовые системы) аксиоматически, а затем рассмотрены две арифметические модели системы действительных чисел. Геометрическая интерпретация является, конечно, более наглядной, поэтому в пособии детально исследуются особенности геометрической интерпретации системы положительных действительных чисел. Подготовлен с учетом требований Федерального государственного образовательного стандарта высшего образования. Учебник представляет интерес для студентов физико-математических факультетов университетов, а также для учителей и учащихся средних школ, гимназий и лицеев.
Доп.точки доступа:
Ильина, И. А. \ред.\
2.
Подробнее
Горюшкин, А. П.
Математическая логика и теория алгоритмов : учебник / Горюшкин А. П. - Саратов : Вузовское образование, 2022. - 499 с. - ISBN 978-5-4487-0808-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
аксиоматическое построение -- алгебра высказываний -- алгебра предикатов -- алгоритм -- логика -- математическая логика -- теория алгоритмов -- теория множеств
Аннотация: В основу учебника положен курс лекций по дисциплине, читавшийся автором в течение более десяти лет для студентов различных специальностей Камчатского государственного технического университета и Камчатского государственного университета им. В. Беринга. В нем рассматриваются элементы теории множеств, алгебра высказываний и алгебра предикатов, аксиоматическое построение логики, изучены основные уточнения понятия алгоритма. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для изучения дисциплины «Математическая логика и теория алгоритмов» студентами, обучающимися по направлению подготовки бакалавриата 01.03.02 «Прикладная математика и информатика», укрупненной группе направлений подготовки 09.00.00 «Информатика и вычислительная техника», а также может использоваться студентами направления подготовки 44.03.05 «Педагогическое образование (с двумя профилями подготовки)» (профили «Начальное образование» и «Математика»). Учебник будет полезен преподавателям, ведущим курс математической логики и теории алгоритмов.
Горюшкин, А. П.
Математическая логика и теория алгоритмов : учебник / Горюшкин А. П. - Саратов : Вузовское образование, 2022. - 499 с. - ISBN 978-5-4487-0808-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
аксиоматическое построение -- алгебра высказываний -- алгебра предикатов -- алгоритм -- логика -- математическая логика -- теория алгоритмов -- теория множеств
Аннотация: В основу учебника положен курс лекций по дисциплине, читавшийся автором в течение более десяти лет для студентов различных специальностей Камчатского государственного технического университета и Камчатского государственного университета им. В. Беринга. В нем рассматриваются элементы теории множеств, алгебра высказываний и алгебра предикатов, аксиоматическое построение логики, изучены основные уточнения понятия алгоритма. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для изучения дисциплины «Математическая логика и теория алгоритмов» студентами, обучающимися по направлению подготовки бакалавриата 01.03.02 «Прикладная математика и информатика», укрупненной группе направлений подготовки 09.00.00 «Информатика и вычислительная техника», а также может использоваться студентами направления подготовки 44.03.05 «Педагогическое образование (с двумя профилями подготовки)» (профили «Начальное образование» и «Математика»). Учебник будет полезен преподавателям, ведущим курс математической логики и теории алгоритмов.
3.
Подробнее
Стронгин, Р. Г.
Исследование операций и модели экономического поведения : учебное пособие / Стронгин Р. Г. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 244 с. - ISBN 978-5-4497-0660-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
аксиома нэша -- антагонистическая игра -- выбор решения -- динамика спроса -- конфликт интересов -- математическая модель -- рынок сбыта -- теория игр -- условие неопределенности -- экономическое поведение
Аннотация: Учебное пособие посвящено теории исследования операций и теории игр, которые читаются студентам математических специальностей. Рассматриваются модели выбора решений в условиях неопределенности и несовпадения интересов сторон, участвующих в экономических взаимодействиях. Основное внимание уделено вопросам анализа реализуемости (устойчивости) принимаемых решений в задачах с двумя участниками, определяемой стремлением сторон к увеличению выгодности решений. Показаны также модели прогноза договоренностей, которые достигнут участники в условиях существования механизмов, обеспечивающих выполнение принятых сторонами обязательств.
Стронгин, Р. Г.
Исследование операций и модели экономического поведения : учебное пособие / Стронгин Р. Г. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 244 с. - ISBN 978-5-4497-0660-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
аксиома нэша -- антагонистическая игра -- выбор решения -- динамика спроса -- конфликт интересов -- математическая модель -- рынок сбыта -- теория игр -- условие неопределенности -- экономическое поведение
Аннотация: Учебное пособие посвящено теории исследования операций и теории игр, которые читаются студентам математических специальностей. Рассматриваются модели выбора решений в условиях неопределенности и несовпадения интересов сторон, участвующих в экономических взаимодействиях. Основное внимание уделено вопросам анализа реализуемости (устойчивости) принимаемых решений в задачах с двумя участниками, определяемой стремлением сторон к увеличению выгодности решений. Показаны также модели прогноза договоренностей, которые достигнут участники в условиях существования механизмов, обеспечивающих выполнение принятых сторонами обязательств.
4.
Подробнее
Мартынов, А. П.
Аксиоматические основы функций подстановки в системе счисления ряда факториальных множеств и их характеристики : монография / Мартынов А. П. - Саров : Российский федеральный ядерный центр – ВНИИЭФ, 2019. - 210 с. - ISBN 978-5-9515-0447-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.81
Кл.слова (ненормированные):
подстановка -- система счисления -- счисление ряда -- факториальное множество
Аннотация: В учебном пособии рассмотрены аксиоматические основы функций подстановки в системе счисления ряда факториальных множеств. Основное внимание уделено позиционным системам счисления и основным понятиям теории множеств. Введены понятия ряда факториальных множеств, рассмотрены его аксиоматические основы. Приведена новая позиционная система счисления – система счисления ряда факториальных множеств. Рассмотрены характеристики функций подстановки в системе счисления ряда факториальных множеств и их статистические данные. Представленные материалы могут быть использованы студентами и аспирантами технических специальностей, а также предназначены для широкого круга инженерно-технических работников, занимающихся разработкой информационных технологий и защитой информации.
Доп.точки доступа:
Мартынова, И. А.
Фомченко, В. Н.
Мартынов, А. П.
Аксиоматические основы функций подстановки в системе счисления ряда факториальных множеств и их характеристики : монография / Мартынов А. П. - Саров : Российский федеральный ядерный центр – ВНИИЭФ, 2019. - 210 с. - ISBN 978-5-9515-0447-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
подстановка -- система счисления -- счисление ряда -- факториальное множество
Аннотация: В учебном пособии рассмотрены аксиоматические основы функций подстановки в системе счисления ряда факториальных множеств. Основное внимание уделено позиционным системам счисления и основным понятиям теории множеств. Введены понятия ряда факториальных множеств, рассмотрены его аксиоматические основы. Приведена новая позиционная система счисления – система счисления ряда факториальных множеств. Рассмотрены характеристики функций подстановки в системе счисления ряда факториальных множеств и их статистические данные. Представленные материалы могут быть использованы студентами и аспирантами технических специальностей, а также предназначены для широкого круга инженерно-технических работников, занимающихся разработкой информационных технологий и защитой информации.
Доп.точки доступа:
Мартынова, И. А.
Фомченко, В. Н.
5.
Подробнее
Джеймс, Леповски
Введение в вершинные операторные алгебры и их представления : учебное пособие / Джеймс Леповски. - Москва, Ижевск : Регулярная и хаотическая динамика, Институт компьютерных исследований, 2019. - 424 с. - ISBN 978-5-4344-0680-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
вершинный оператор -- задача -- математика -- модуль -- операторная алгебра -- теория
Аннотация: Предлагаемая книга является введением в относительно новую и малоизученную область науки — теорию вершинных операторных алгебр, которая тесно связана с такими областями физики и математики, как теория «monstrous moonshine» (понятие, введенное в 1979 году Конвеем и Нортоном для характеристики удивительной связи между группой Монстр и модулярными функциями), теория бесконечномерных алгебр Ли и их представлений, теория струн, теория групп и т. д. С появлением этой теории стало возможным сформулировать и попытаться решить новые задачи, имеющие большое значение во многих областях, которые до этого считались не связанными друг с другом. Данная книга систематически излагает теорию вершинных (операторных) алгебр с самого начала, используя «формальное исчисление» и проводя читателя через фундаментальную теорию к детальному построению примеров. Подробно рассмотрены аксиоматические основы вершинных операторных алгебр, описаны наиболее важные примеры таких алгебр, а также построены и классифицированы их неприводимые модули. Книга будет полезна аспирантам и исследователям в области математики и физики.
Доп.точки доступа:
Хайшен, Ли
Фрай, Л. А. \пер.\
Болсинова, А. В. \ред.\
Джеймс, Леповски
Введение в вершинные операторные алгебры и их представления : учебное пособие / Джеймс Леповски. - Москва, Ижевск : Регулярная и хаотическая динамика, Институт компьютерных исследований, 2019. - 424 с. - ISBN 978-5-4344-0680-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
вершинный оператор -- задача -- математика -- модуль -- операторная алгебра -- теория
Аннотация: Предлагаемая книга является введением в относительно новую и малоизученную область науки — теорию вершинных операторных алгебр, которая тесно связана с такими областями физики и математики, как теория «monstrous moonshine» (понятие, введенное в 1979 году Конвеем и Нортоном для характеристики удивительной связи между группой Монстр и модулярными функциями), теория бесконечномерных алгебр Ли и их представлений, теория струн, теория групп и т. д. С появлением этой теории стало возможным сформулировать и попытаться решить новые задачи, имеющие большое значение во многих областях, которые до этого считались не связанными друг с другом. Данная книга систематически излагает теорию вершинных (операторных) алгебр с самого начала, используя «формальное исчисление» и проводя читателя через фундаментальную теорию к детальному построению примеров. Подробно рассмотрены аксиоматические основы вершинных операторных алгебр, описаны наиболее важные примеры таких алгебр, а также построены и классифицированы их неприводимые модули. Книга будет полезна аспирантам и исследователям в области математики и физики.
Доп.точки доступа:
Хайшен, Ли
Фрай, Л. А. \пер.\
Болсинова, А. В. \ред.\
6.
Подробнее
Горюшкин, А. П.
Математика : учебное пособие / Горюшкин А. П. - Саратов : Ай Пи Эр Медиа, 2019. - 824 с. - ISBN 978-5-4486-0735-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгебра -- бинарное отношение -- геометрия -- математика -- множество -- уравнение -- числовая функция
Аннотация: В учебном пособии «Математика» впервые в учебной литературе в полной мере реализована концепция изучения системы целых неотрицательных чисел — основного понятия начального курса математики — как мощности конечного множества. Такой подход наиболее близок историческому развитию и изложению понятия числа в школьном курсе математики. В пособии систематизировано излагаются теоретические основы начального курса математики с учетом содержательной специфики преподавания ее в начальной школе и как базы для развития профессиональных и специальных компетенций. Первые главы пособия посвящены логическому обоснованию математики. Во второй части строится (сначала как теоретико-множественная модель, и лишь затем с помощью аксиоматики) важнейший объект начального курса математики — система целых неотрицательных чисел. Действительные числа для начального курса математики представляют интерес, в первую очередь, как величины, в том числе и геометрические. Свойства системы действительных чисел и понятие величины обсуждаются вместе с элементами геометрии в третьей части учебной книги. Подготовлено в полном соответствии с требованиями Федерального государственного образовательного стандарта высшего образования по направлению подготовки бакалавров 44.03.01 «Педагогическое образование», профиль «Начальное образование». Материал учебного пособия имеет ярко выраженную профессионально-педагогическую направленность, и поэтому пособие представляет интерес для учителей и учащихся средних школ, гимназий и лицеев.
Доп.точки доступа:
Водинчара, М. И. \ред.\
Горюшкин, А. П.
Математика : учебное пособие / Горюшкин А. П. - Саратов : Ай Пи Эр Медиа, 2019. - 824 с. - ISBN 978-5-4486-0735-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра -- бинарное отношение -- геометрия -- математика -- множество -- уравнение -- числовая функция
Аннотация: В учебном пособии «Математика» впервые в учебной литературе в полной мере реализована концепция изучения системы целых неотрицательных чисел — основного понятия начального курса математики — как мощности конечного множества. Такой подход наиболее близок историческому развитию и изложению понятия числа в школьном курсе математики. В пособии систематизировано излагаются теоретические основы начального курса математики с учетом содержательной специфики преподавания ее в начальной школе и как базы для развития профессиональных и специальных компетенций. Первые главы пособия посвящены логическому обоснованию математики. Во второй части строится (сначала как теоретико-множественная модель, и лишь затем с помощью аксиоматики) важнейший объект начального курса математики — система целых неотрицательных чисел. Действительные числа для начального курса математики представляют интерес, в первую очередь, как величины, в том числе и геометрические. Свойства системы действительных чисел и понятие величины обсуждаются вместе с элементами геометрии в третьей части учебной книги. Подготовлено в полном соответствии с требованиями Федерального государственного образовательного стандарта высшего образования по направлению подготовки бакалавров 44.03.01 «Педагогическое образование», профиль «Начальное образование». Материал учебного пособия имеет ярко выраженную профессионально-педагогическую направленность, и поэтому пособие представляет интерес для учителей и учащихся средних школ, гимназий и лицеев.
Доп.точки доступа:
Водинчара, М. И. \ред.\
7.
Подробнее
Вайнштейн, Ю. В.
Математическая логика и теория алгоритмов : учебное пособие / Вайнштейн Ю. В. - Красноярск : Сибирский федеральный университет, 2019. - 110 с. - ISBN 978-5-7638-4076-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгебра -- алгоритм -- логическая функция -- математическая логика -- формальная теория
Аннотация: Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
Доп.точки доступа:
Пенькова, Т. Г.
Вайнштейн, В. И.
Вайнштейн, Ю. В.
Математическая логика и теория алгоритмов : учебное пособие / Вайнштейн Ю. В. - Красноярск : Сибирский федеральный университет, 2019. - 110 с. - ISBN 978-5-7638-4076-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра -- алгоритм -- логическая функция -- математическая логика -- формальная теория
Аннотация: Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
Доп.точки доступа:
Пенькова, Т. Г.
Вайнштейн, В. И.
8.
Подробнее
Бетяев, С. К.
Пролегомены к метагидродинамике / Бетяев С. К. - Москва, Ижевск : Регулярная и хаотическая динамика, Институт компьютерных исследований, 2019. - 304 с. - ISBN 978-5-4344-0616-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.3
Кл.слова (ненормированные):
асимптотология -- математическая модель -- метагидродинамика -- метаистория -- опыт -- эксперимент
Аннотация: Предпринята попытка создания метагидродинамики как фундаментальной науки. Рассмотрены законы эволюции науки, аксиоматика, проблематика, свершившиеся и несвершившиеся научные революции. Выделены три парадигмы в гидродинамике, в качестве которых выбраны основные математические модели: Эйлера, Навье–Стокса, Рейнольдса. Проанализированы принципы построения физических и математических моделей, теория и классификация вихрей, основные понятия вычислительной гидродинамики, прогностика и диагностика. Обсуждается назначение эксперимента и проблематика, систематизированы опыты в ванной. Систематизированы многочисленные задачи асимптотологии. В приложении приведена элементарная теория возмущений. Книга предназначена для студентов, преподавателей вузов и для всех тех, кто интересуется гидродинамикой и асимптотологией.
Бетяев, С. К.
Пролегомены к метагидродинамике / Бетяев С. К. - Москва, Ижевск : Регулярная и хаотическая динамика, Институт компьютерных исследований, 2019. - 304 с. - ISBN 978-5-4344-0616-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
асимптотология -- математическая модель -- метагидродинамика -- метаистория -- опыт -- эксперимент
Аннотация: Предпринята попытка создания метагидродинамики как фундаментальной науки. Рассмотрены законы эволюции науки, аксиоматика, проблематика, свершившиеся и несвершившиеся научные революции. Выделены три парадигмы в гидродинамике, в качестве которых выбраны основные математические модели: Эйлера, Навье–Стокса, Рейнольдса. Проанализированы принципы построения физических и математических моделей, теория и классификация вихрей, основные понятия вычислительной гидродинамики, прогностика и диагностика. Обсуждается назначение эксперимента и проблематика, систематизированы опыты в ванной. Систематизированы многочисленные задачи асимптотологии. В приложении приведена элементарная теория возмущений. Книга предназначена для студентов, преподавателей вузов и для всех тех, кто интересуется гидродинамикой и асимптотологией.
9.
Подробнее
Кравченко, А. В.
Универсальная алгебра и теория решеток : учебное пособие / Кравченко А. В. - Новосибирск : Новосибирский государственный технический университет, 2019. - 75 с. - ISBN 978-5-7782-4061-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
аксиоматизируемый класс -- дистрибутивная решетка -- математика -- модулярная решетка -- универсальная алгебра
Аннотация: В пособии изложены основы универсальной алгебры и теории решеток, разделов математики, находящихся на стыке алгебры и математической логики. От читателя требуется владение основами алгебры в рамках курса «Линейная алгебра», читаемого на I курсе всех факультетов НГТУ.
Доп.точки доступа:
Швидефски, М. В.
Кравченко, А. В.
Универсальная алгебра и теория решеток : учебное пособие / Кравченко А. В. - Новосибирск : Новосибирский государственный технический университет, 2019. - 75 с. - ISBN 978-5-7782-4061-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
аксиоматизируемый класс -- дистрибутивная решетка -- математика -- модулярная решетка -- универсальная алгебра
Аннотация: В пособии изложены основы универсальной алгебры и теории решеток, разделов математики, находящихся на стыке алгебры и математической логики. От читателя требуется владение основами алгебры в рамках курса «Линейная алгебра», читаемого на I курсе всех факультетов НГТУ.
Доп.точки доступа:
Швидефски, М. В.
10.
Подробнее
Хворостухина, Е. В.
Математическая логика : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. - 63 с. - ISBN 978-5-7433-3238-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
логика -- математика -- метод резолюций -- равносильные формулы -- теория множеств
Аннотация: В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
Хворостухина, Е. В.
Математическая логика : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. - 63 с. - ISBN 978-5-7433-3238-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
логика -- математика -- метод резолюций -- равносильные формулы -- теория множеств
Аннотация: В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
Page 1, Results: 19