База данных: IPR SMART кітаптар
Беті 2, Нәтижелерін: 25
Отмеченные записи: 0
11.
Подробнее
Васюков, В. Л.
Квантовая логика / Васюков В. Л. - Москва, Саратов : ПЕР СЭ, Ай Пи Эр Медиа, 2019. - 192 с. - ISBN 978-5-4486-0856-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
бесконечнозначная логика -- квантовая динамика -- квантовая импликация -- квантовая логика -- логика лукасевича -- логическое исчисление -- ортологика времени -- ортомодулярность -- стрелка сасаки -- топос
Аннотация: Книга посвящена квантовой логике — интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассматривается автором монографии, прежде всего, с точки зрения логических исчислений и логической техники. Главное внимание уделяется синтаксической реконструкции систем квантовой логики и построению различного рода абстрактных семантик для полученных систем. Философские вопросы, возникающие в процессе построения систем квантовой логики, например, природы времени в квантовом мире, рассматриваются и решаются сквозь призму неклассических методов современной логики. Вместе с тем в книге кратко описывается история квантовой логики и дается обзор современных направлений исследований в этой области. Особый интерес представляют последние три главы книги, посвященные построенной автором так называемой квантовой логике наблюдаемых, призванной преодолеть разрыв между используемыми в большинстве квантовологических исследований формализмами и математическим аппаратом современной квантовой теории.
Васюков, В. Л.
Квантовая логика / Васюков В. Л. - Москва, Саратов : ПЕР СЭ, Ай Пи Эр Медиа, 2019. - 192 с. - ISBN 978-5-4486-0856-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
бесконечнозначная логика -- квантовая динамика -- квантовая импликация -- квантовая логика -- логика лукасевича -- логическое исчисление -- ортологика времени -- ортомодулярность -- стрелка сасаки -- топос
Аннотация: Книга посвящена квантовой логике — интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассматривается автором монографии, прежде всего, с точки зрения логических исчислений и логической техники. Главное внимание уделяется синтаксической реконструкции систем квантовой логики и построению различного рода абстрактных семантик для полученных систем. Философские вопросы, возникающие в процессе построения систем квантовой логики, например, природы времени в квантовом мире, рассматриваются и решаются сквозь призму неклассических методов современной логики. Вместе с тем в книге кратко описывается история квантовой логики и дается обзор современных направлений исследований в этой области. Особый интерес представляют последние три главы книги, посвященные построенной автором так называемой квантовой логике наблюдаемых, призванной преодолеть разрыв между используемыми в большинстве квантовологических исследований формализмами и математическим аппаратом современной квантовой теории.
12.
Подробнее
Хворостухина, Е. В.
Математическая логика : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 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 «Программная инженерия».
13.
Подробнее
Задохина, Н. В.
Математика и информатика. Решение логико-познавательных задач : учебное пособие для студентов вузов / Задохина Н. В. - Москва : ЮНИТИ-ДАНА, 2017. - 127 с. - ISBN 978-5-238-02661-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
информатика -- кодирование информации -- математика -- математическая логика
Аннотация: Рассматривается решение логико-познавательных задач, охватывающих все важнейшие разделы учебной дисциплины «Математика и информатика»: кодирование и представление информации в ЭВМ, множества, элементы математической логики, введение в теорию вероятностей. Приводится необходимый минимум теоретических знаний. Примеры сопровождаются иллюстрациями, схемами и таблицами, позволяющими неформально усвоить материал, помогающий развитию мыслительных способностей студентов. Приводятся задания для самостоятельного решения. Для курсантов, студентов и слушателей, проходящих обучение в рамках дисциплин «Математика и информатика», «Информатика и информационные технологии в профессиональной деятельности», «Математика», а также для всех интересующихся решением задач, формирующих культуру логического мышления.
Задохина, Н. В.
Математика и информатика. Решение логико-познавательных задач : учебное пособие для студентов вузов / Задохина Н. В. - Москва : ЮНИТИ-ДАНА, 2017. - 127 с. - ISBN 978-5-238-02661-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
информатика -- кодирование информации -- математика -- математическая логика
Аннотация: Рассматривается решение логико-познавательных задач, охватывающих все важнейшие разделы учебной дисциплины «Математика и информатика»: кодирование и представление информации в ЭВМ, множества, элементы математической логики, введение в теорию вероятностей. Приводится необходимый минимум теоретических знаний. Примеры сопровождаются иллюстрациями, схемами и таблицами, позволяющими неформально усвоить материал, помогающий развитию мыслительных способностей студентов. Приводятся задания для самостоятельного решения. Для курсантов, студентов и слушателей, проходящих обучение в рамках дисциплин «Математика и информатика», «Информатика и информационные технологии в профессиональной деятельности», «Математика», а также для всех интересующихся решением задач, формирующих культуру логического мышления.
14.
Подробнее
Рязанов, Ю. Д.
Дискретная математика : учебное пособие / Рязанов Ю. Д. - Белгород : Белгородский государственный технологический университет им. В.Г. Шухова, ЭБС АСВ, 2016. - 298 с. - ISBN 978-5-361-00364-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
булевые функции -- комбинаторные объекты -- теории множества
Аннотация: В учебном пособии рассмотрены вопросы пяти разделов, изучаемых в курсе дискретной математики: теории множеств, комбинаторных объектов, отношений, графов и булевых функций. Уделяется внимание применению метода поиска с возвращением для решения различных задач дискретной математики. Пособие содержит теоретические сведения, задания для самостоятельной работы и перечень контрольных вопросов. Содержание учебного пособия соответствует основным разделам дисциплины «Дискретная математика» и предназначено для студентов, обучающихся по направлениям бакалавриата 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
Доп.точки доступа:
Пустовая, В. И. \ред.\
Рязанов, Ю. Д.
Дискретная математика : учебное пособие / Рязанов Ю. Д. - Белгород : Белгородский государственный технологический университет им. В.Г. Шухова, ЭБС АСВ, 2016. - 298 с. - ISBN 978-5-361-00364-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булевые функции -- комбинаторные объекты -- теории множества
Аннотация: В учебном пособии рассмотрены вопросы пяти разделов, изучаемых в курсе дискретной математики: теории множеств, комбинаторных объектов, отношений, графов и булевых функций. Уделяется внимание применению метода поиска с возвращением для решения различных задач дискретной математики. Пособие содержит теоретические сведения, задания для самостоятельной работы и перечень контрольных вопросов. Содержание учебного пособия соответствует основным разделам дисциплины «Дискретная математика» и предназначено для студентов, обучающихся по направлениям бакалавриата 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
Доп.точки доступа:
Пустовая, В. И. \ред.\
15.
Подробнее
Бесценный, И. П.
Математическая логика : учебное пособие / Бесценный И. П. - Омск : Омский государственный университет им. Ф.М. Достоевского, 2016. - 76 с. - ISBN 978-5-7779-2002-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12я73
Кл.слова (ненормированные):
вероятностная семантика -- исчисление высказывания -- исчисление предикатов -- математическая логика -- таблица истинности
Аннотация: Предназначено для выработки практических навыков решения задач по математической логике. Для студентов очной и заочной форм обучения по направлениям подготовки «Информатика и вычислительная техника» и «Прикладная информатика».
Доп.точки доступа:
Бесценная, Е. В.
Бесценный, И. П.
Математическая логика : учебное пособие / Бесценный И. П. - Омск : Омский государственный университет им. Ф.М. Достоевского, 2016. - 76 с. - ISBN 978-5-7779-2002-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
вероятностная семантика -- исчисление высказывания -- исчисление предикатов -- математическая логика -- таблица истинности
Аннотация: Предназначено для выработки практических навыков решения задач по математической логике. Для студентов очной и заочной форм обучения по направлениям подготовки «Информатика и вычислительная техника» и «Прикладная информатика».
Доп.точки доступа:
Бесценная, Е. В.
16.
Подробнее
Московский, И. Г.
Теория нечётких множеств : учебное пособие / Московский И. Г. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2014. - 198 с. - ISBN 978-5-7433-2768-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
архитектура -- классификация -- теория -- функция
Аннотация: В учебном пособии изложена теория нечётких множеств –рассмотрены чёткие множества и точная логика, нечёткие множества и операции над ними, нечёткие отношения, лингвистические переменные и нечёткие величины, нечёткая логика и системы нечёткого вывода, гибридные нейронные сети. Каждый раздел пособия содержит необходимый теоретический материал и поясняющие примеры. Предназначено для студентов технических университетов.
Московский, И. Г.
Теория нечётких множеств : учебное пособие / Московский И. Г. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2014. - 198 с. - ISBN 978-5-7433-2768-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
архитектура -- классификация -- теория -- функция
Аннотация: В учебном пособии изложена теория нечётких множеств –рассмотрены чёткие множества и точная логика, нечёткие множества и операции над ними, нечёткие отношения, лингвистические переменные и нечёткие величины, нечёткая логика и системы нечёткого вывода, гибридные нейронные сети. Каждый раздел пособия содержит необходимый теоретический материал и поясняющие примеры. Предназначено для студентов технических университетов.
17.
Подробнее
Куликов, В. Г.
Теория алгоритмов : учебно-методическое пособие / Куликов В. Г. - Москва : МИСИ-МГСУ, ЭБС АСВ, 2022. - 43 с. - ISBN 978-5-7264-2963-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
алгоритм евклида -- машина тьюринга -- рекурсивные функции -- теория алгоритмов
Аннотация: В учебно-методическом пособии по дисциплине «Теория алгоритмов» представлены разделы, традиционно изучаемые в курсе теории алгоритмов: машины Тьюринга, нормальные алгоритмы Маркова, рекурсивные функции и т.д. Рассмотрены вопросы интуитивного и формального определения алгоритмов, сложности и нумерации алгоритмов, алгоритмически неразрешимых проблем, конструирования машин Поста. Для обучающихся по направлению подготовки 09.03.02 Информационные системы и технологии.
Доп.точки доступа:
Евстратов, В. С.
Куликов, В. Г.
Теория алгоритмов : учебно-методическое пособие / Куликов В. Г. - Москва : МИСИ-МГСУ, ЭБС АСВ, 2022. - 43 с. - ISBN 978-5-7264-2963-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритм евклида -- машина тьюринга -- рекурсивные функции -- теория алгоритмов
Аннотация: В учебно-методическом пособии по дисциплине «Теория алгоритмов» представлены разделы, традиционно изучаемые в курсе теории алгоритмов: машины Тьюринга, нормальные алгоритмы Маркова, рекурсивные функции и т.д. Рассмотрены вопросы интуитивного и формального определения алгоритмов, сложности и нумерации алгоритмов, алгоритмически неразрешимых проблем, конструирования машин Поста. Для обучающихся по направлению подготовки 09.03.02 Информационные системы и технологии.
Доп.точки доступа:
Евстратов, В. С.
18.
Подробнее
Васюков, В. Л.
Квантовая логика / Васюков В. Л. - Москва : ПЕР СЭ, Ай Пи Ар Медиа, 2024. - 192 с. - ISBN 5-9292-0142-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
бесконечнозначная логика -- квантовая динамика -- квантовая импликация -- квантовая логика -- логика лукасевича -- логическое исчисление -- ортологика времени -- ортомодулярность -- стрелка сасаки -- топос
Аннотация: Книга посвящена квантовой логике — интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассматривается автором монографии, прежде всего, с точки зрения логических исчислений и логической техники. Главное внимание уделяется синтаксической реконструкции систем квантовой логики и построению различного рода абстрактных семантик для полученных систем. Философские вопросы, возникающие в процессе построения систем квантовой логики, например, природы времени в квантовом мире, рассматриваются и решаются сквозь призму неклассических методов современной логики. Вместе с тем в книге кратко описывается история квантовой логики и дается обзор современных направлений исследований в этой области. Особый интерес представляют последние три главы книги, посвященные построенной автором так называемой квантовой логике наблюдаемых, призванной преодолеть разрыв между используемыми в большинстве квантовологических исследований формализмами и математическим аппаратом современной квантовой теории.
Васюков, В. Л.
Квантовая логика / Васюков В. Л. - Москва : ПЕР СЭ, Ай Пи Ар Медиа, 2024. - 192 с. - ISBN 5-9292-0142-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
бесконечнозначная логика -- квантовая динамика -- квантовая импликация -- квантовая логика -- логика лукасевича -- логическое исчисление -- ортологика времени -- ортомодулярность -- стрелка сасаки -- топос
Аннотация: Книга посвящена квантовой логике — интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассматривается автором монографии, прежде всего, с точки зрения логических исчислений и логической техники. Главное внимание уделяется синтаксической реконструкции систем квантовой логики и построению различного рода абстрактных семантик для полученных систем. Философские вопросы, возникающие в процессе построения систем квантовой логики, например, природы времени в квантовом мире, рассматриваются и решаются сквозь призму неклассических методов современной логики. Вместе с тем в книге кратко описывается история квантовой логики и дается обзор современных направлений исследований в этой области. Особый интерес представляют последние три главы книги, посвященные построенной автором так называемой квантовой логике наблюдаемых, призванной преодолеть разрыв между используемыми в большинстве квантовологических исследований формализмами и математическим аппаратом современной квантовой теории.
19.
Подробнее
Седова, Н. А.
Нечеткие отношения : учебное пособие / Седова Н. А. - Москва : Ай Пи Ар Медиа, 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 индивидуальных вариантов. Такая структура позволит студенту, изучившему теоретическую часть, получить индивидуальный вариант заданий для самостоятельного решения, а преподавателю — сформировать различные индивидуальные задания для контроля усвоения настоящего раздела. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Учебное пособие предназначено для студентов направления подготовки «Информатика и вычислительная техника», изучающих дисциплину «Математическая логика».
20.
Подробнее
Червенчук, И. В.
Математические основания информатики : учебное пособие / Червенчук И. В. - Омск : Омский государственный технический университет, 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 «Информатика и вычислительная техника».
Доп.точки доступа:
Червенчук, В. Д.
Грицай, А. С.
Беті 2, Нәтижелерін: 25