База данных: IPR База
Страница 1, Результатов: 25
Отмеченные записи: 0
1.
Подробнее
140936
Васюков, В. Л.
Квантовая логика / Васюков В. Л. - Москва : ПЕР СЭ, Ай Пи Ар Медиа, 2024. - 192 с. - ISBN 5-9292-0142-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
бесконечнозначная логика -- квантовая динамика -- квантовая импликация -- квантовая логика -- логика лукасевича -- логическое исчисление -- ортологика времени -- ортомодулярность -- стрелка сасаки -- топос
Аннотация: Книга посвящена квантовой логике — интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассматривается автором монографии, прежде всего, с точки зрения логических исчислений и логической техники. Главное внимание уделяется синтаксической реконструкции систем квантовой логики и построению различного рода абстрактных семантик для полученных систем. Философские вопросы, возникающие в процессе построения систем квантовой логики, например, природы времени в квантовом мире, рассматриваются и решаются сквозь призму неклассических методов современной логики. Вместе с тем в книге кратко описывается история квантовой логики и дается обзор современных направлений исследований в этой области. Особый интерес представляют последние три главы книги, посвященные построенной автором так называемой квантовой логике наблюдаемых, призванной преодолеть разрыв между используемыми в большинстве квантовологических исследований формализмами и математическим аппаратом современной квантовой теории.
Васюков, В. Л.
Квантовая логика / Васюков В. Л. - Москва : ПЕР СЭ, Ай Пи Ар Медиа, 2024. - 192 с. - ISBN 5-9292-0142-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
бесконечнозначная логика -- квантовая динамика -- квантовая импликация -- квантовая логика -- логика лукасевича -- логическое исчисление -- ортологика времени -- ортомодулярность -- стрелка сасаки -- топос
Аннотация: Книга посвящена квантовой логике — интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассматривается автором монографии, прежде всего, с точки зрения логических исчислений и логической техники. Главное внимание уделяется синтаксической реконструкции систем квантовой логики и построению различного рода абстрактных семантик для полученных систем. Философские вопросы, возникающие в процессе построения систем квантовой логики, например, природы времени в квантовом мире, рассматриваются и решаются сквозь призму неклассических методов современной логики. Вместе с тем в книге кратко описывается история квантовой логики и дается обзор современных направлений исследований в этой области. Особый интерес представляют последние три главы книги, посвященные построенной автором так называемой квантовой логике наблюдаемых, призванной преодолеть разрыв между используемыми в большинстве квантовологических исследований формализмами и математическим аппаратом современной квантовой теории.
2.
Подробнее
142561
Афанасьев, С. Г.
Математическая логика : учебное пособие / Афанасьев С. Г. - Москва : Ай Пи Ар Медиа, 2024. - 82 с. - ISBN 978-5-4497-3544-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие написано с учетом современных требований к подготовке специалистов высших учебных заведений, на базе лекций, прочитанных автором для студентов Северо-Кавказского социального института. В нем приводятся необходимые теоретические сведения по основным разделам математической логики: алгебре высказываний, исчислении высказываний, алгебре предикатов и рассуждениях, а также примеры, поясняющие их. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначено для студентов вузов, образовательная программа которых содержит дисциплины, включающие в себя математическую логику, элементы математической логики, элементы высшей математики. Издание может быть использовано как в аудиторной учебной работе, так и для самостоятельной подготовки студентов.
Афанасьев, С. Г.
Математическая логика : учебное пособие / Афанасьев С. Г. - Москва : Ай Пи Ар Медиа, 2024. - 82 с. - ISBN 978-5-4497-3544-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие написано с учетом современных требований к подготовке специалистов высших учебных заведений, на базе лекций, прочитанных автором для студентов Северо-Кавказского социального института. В нем приводятся необходимые теоретические сведения по основным разделам математической логики: алгебре высказываний, исчислении высказываний, алгебре предикатов и рассуждениях, а также примеры, поясняющие их. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначено для студентов вузов, образовательная программа которых содержит дисциплины, включающие в себя математическую логику, элементы математической логики, элементы высшей математики. Издание может быть использовано как в аудиторной учебной работе, так и для самостоятельной подготовки студентов.
3.
Подробнее
142277
Яхъяева, Г. Э.
Нечеткие множества и нейронные сети : учебное пособие / Яхъяева Г. Э. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2024. - 315 с. - ISBN 978-5-4497-3309-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
когнитрон -- машина больцмана -- метод уидроу-хоффа -- метод хэбба -- нейронная сеть -- неокогнитрон -- нечеткое множество -- обучение коши -- обучение персептрона -- сеть хопфилда
Аннотация: Двумя популярными направлениями Artificial Intelligence являются теория нечетких множеств (fuzzy sets) и теория нейронных сетей (neuron nets). Данное учебное пособие является систематизированным вводным курсом в эти два направления. Издание ориентировано на студентов высших учебных заведений, обучающихся по направлениям подготовки и специальностям в области информационных технологий.
Яхъяева, Г. Э.
Нечеткие множества и нейронные сети : учебное пособие / Яхъяева Г. Э. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2024. - 315 с. - ISBN 978-5-4497-3309-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
когнитрон -- машина больцмана -- метод уидроу-хоффа -- метод хэбба -- нейронная сеть -- неокогнитрон -- нечеткое множество -- обучение коши -- обучение персептрона -- сеть хопфилда
Аннотация: Двумя популярными направлениями Artificial Intelligence являются теория нечетких множеств (fuzzy sets) и теория нейронных сетей (neuron nets). Данное учебное пособие является систематизированным вводным курсом в эти два направления. Издание ориентировано на студентов высших учебных заведений, обучающихся по направлениям подготовки и специальностям в области информационных технологий.
4.
Подробнее
140616
Седова, Н. А.
Нечеткие отношения : учебное пособие / Седова Н. А. - Москва : Ай Пи Ар Медиа, 2024. - 60 с. - ISBN 978-5-4497-3156-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
бинарное нечеткое отношение -- математическая логика -- нечеткие отношения -- нечеткое отношение
Аннотация: Учебное пособие содержит материалы для изучения раздела «Нечеткие отношения» дисциплины «Математическая логика» и состоит из теоретической части, примеров, вопросов для самоподготовки, а также из 5 индивидуальных практических заданий, в каждом из которых 30 индивидуальных вариантов. Такая структура позволит студенту, изучившему теоретическую часть, получить индивидуальный вариант заданий для самостоятельного решения, а преподавателю — сформировать различные индивидуальные задания для контроля усвоения настоящего раздела. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Учебное пособие предназначено для студентов направления подготовки «Информатика и вычислительная техника», изучающих дисциплину «Математическая логика».
Седова, Н. А.
Нечеткие отношения : учебное пособие / Седова Н. А. - Москва : Ай Пи Ар Медиа, 2024. - 60 с. - ISBN 978-5-4497-3156-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
бинарное нечеткое отношение -- математическая логика -- нечеткие отношения -- нечеткое отношение
Аннотация: Учебное пособие содержит материалы для изучения раздела «Нечеткие отношения» дисциплины «Математическая логика» и состоит из теоретической части, примеров, вопросов для самоподготовки, а также из 5 индивидуальных практических заданий, в каждом из которых 30 индивидуальных вариантов. Такая структура позволит студенту, изучившему теоретическую часть, получить индивидуальный вариант заданий для самостоятельного решения, а преподавателю — сформировать различные индивидуальные задания для контроля усвоения настоящего раздела. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Учебное пособие предназначено для студентов направления подготовки «Информатика и вычислительная техника», изучающих дисциплину «Математическая логика».
5.
Подробнее
140838
Червенчук, И. В.
Математические основания информатики : учебное пособие / Червенчук И. В. - Омск : Омский государственный технический университет, 2023. - 104 с. - ISBN 978-5-8149-3645-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
дискретная математика -- информатика -- логическая функция -- предикат -- теория множеств -- язык логики
Аннотация: Рассмотрены основы дискретной математики и языка логики предикатов на базе теоретико-множественной концепции с учетом современных требований, предъявляемых к изучению математических дисциплин в высшей школе. Предназначено для обучающихся по направлению 09.04.01 «Информатика и вычислительная техника».
Доп.точки доступа:
Червенчук, В. Д.
Грицай, А. С.
Червенчук, И. В.
Математические основания информатики : учебное пособие / Червенчук И. В. - Омск : Омский государственный технический университет, 2023. - 104 с. - ISBN 978-5-8149-3645-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
дискретная математика -- информатика -- логическая функция -- предикат -- теория множеств -- язык логики
Аннотация: Рассмотрены основы дискретной математики и языка логики предикатов на базе теоретико-множественной концепции с учетом современных требований, предъявляемых к изучению математических дисциплин в высшей школе. Предназначено для обучающихся по направлению 09.04.01 «Информатика и вычислительная техника».
Доп.точки доступа:
Червенчук, В. Д.
Грицай, А. С.
6.
Подробнее
151314
Богатиков, В. Н.
Элементы теории алгоритмов и формальных языков : учебное пособие / Богатиков В. Н. - Тверь : Тверской государственный технический университет, 2023. - 124 с. - ISBN 978-5-7995-1286-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
граф-схемы алгоритмов -- итерация алгоритмов -- машина тьюринга -- теории алгоритмов
Аннотация: Представлен материал курса «Теория алгоритмов», читаемого на кафедре информационных систем факультета информационных технологий Тверского государственного технического университета, в частности алфавитные операторы, теоретические алгоритмические системы, элементы теории формальных языков и грамматик, порядок оценки сложности вычислений. Предназначено для студентов высших учебных заведений, обучающихся по направлению подготовки бакалавров 09.03.02 Информационные системы и технологии. Может быть полезно для бакалавров, магистрантов и аспирантов, обучающихся по другим направлениям и специальностям в сфере информационных систем и технологий.
Доп.точки доступа:
Павлов, В. А.
Богатиков, В. Н.
Элементы теории алгоритмов и формальных языков : учебное пособие / Богатиков В. Н. - Тверь : Тверской государственный технический университет, 2023. - 124 с. - ISBN 978-5-7995-1286-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
граф-схемы алгоритмов -- итерация алгоритмов -- машина тьюринга -- теории алгоритмов
Аннотация: Представлен материал курса «Теория алгоритмов», читаемого на кафедре информационных систем факультета информационных технологий Тверского государственного технического университета, в частности алфавитные операторы, теоретические алгоритмические системы, элементы теории формальных языков и грамматик, порядок оценки сложности вычислений. Предназначено для студентов высших учебных заведений, обучающихся по направлению подготовки бакалавров 09.03.02 Информационные системы и технологии. Может быть полезно для бакалавров, магистрантов и аспирантов, обучающихся по другим направлениям и специальностям в сфере информационных систем и технологий.
Доп.точки доступа:
Павлов, В. А.
7.
Подробнее
117296
Горюшкин, А. П.
Математическая логика и теория алгоритмов : учебник / Горюшкин А. П. - Саратов : Вузовское образование, 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 «Педагогическое образование (с двумя профилями подготовки)» (профили «Начальное образование» и «Математика»). Учебник будет полезен преподавателям, ведущим курс математической логики и теории алгоритмов.
8.
Подробнее
130363
Дехтярь, М. И.
Задачник по дискретной математике : учебное пособие / Дехтярь М. И. - Тверь : Тверской государственный университет, 2021. - 368 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
графы -- дискретная математика -- задачи -- комбинаторика -- множества -- формула -- функция
Аннотация: Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника». Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и контрольным работам. В книгу вошло более шестисот задач и упражнений, многие из которых состоят из нескольких независимых подзадач. Почти все задачи снабжены ответами, а многие более сложные задачи – указаниями или решениями.
Доп.точки доступа:
Дудаков, С. М.
Карлов, Б. Н.
Дехтярь, М. И.
Задачник по дискретной математике : учебное пособие / Дехтярь М. И. - Тверь : Тверской государственный университет, 2021. - 368 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
графы -- дискретная математика -- задачи -- комбинаторика -- множества -- формула -- функция
Аннотация: Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника». Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и контрольным работам. В книгу вошло более шестисот задач и упражнений, многие из которых состоят из нескольких независимых подзадач. Почти все задачи снабжены ответами, а многие более сложные задачи – указаниями или решениями.
Доп.точки доступа:
Дудаков, С. М.
Карлов, Б. Н.
9.
Подробнее
130365
Дехтярь, М. И.
Лекции по дискретной математике : учебник / Дехтярь М. И. - Тверь : Тверской государственный университет, 2021. - 528 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
алгоритм -- графы -- дискретная математика -- задачи -- комбинаторика -- математическая индукция -- множество -- решение
Аннотация: Учебник содержит лекционный материал по дисциплине «Дискретная математика», а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы. Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника».
Доп.точки доступа:
Дудаков, С. М.
Карлов, Б. Н.
Дехтярь, М. И.
Лекции по дискретной математике : учебник / Дехтярь М. И. - Тверь : Тверской государственный университет, 2021. - 528 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритм -- графы -- дискретная математика -- задачи -- комбинаторика -- математическая индукция -- множество -- решение
Аннотация: Учебник содержит лекционный материал по дисциплине «Дискретная математика», а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы. Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 «Математика и механика», 02.03.00 «Компьютерные и информационные науки», 09.03.00 «Информатика и вычислительная техника».
Доп.точки доступа:
Дудаков, С. М.
Карлов, Б. Н.
10.
Подробнее
106266
Гамова, А. Н.
Математическая логика и теория алгоритмов : учебное пособие для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий / Гамова А. Н. - Саратов : Издательство Саратовского университета, 2020. - 91 с. - ISBN 978-5-292-04649-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12я73
Кл.слова (ненормированные):
исчисление -- математическая логика -- теория алгоритма
Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий, а также магистров и аспирантов.
Гамова, А. Н.
Математическая логика и теория алгоритмов : учебное пособие для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий / Гамова А. Н. - Саратов : Издательство Саратовского университета, 2020. - 91 с. - ISBN 978-5-292-04649-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
исчисление -- математическая логика -- теория алгоритма
Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий, а также магистров и аспирантов.
Страница 1, Результатов: 25