База данных: IPR SMART кітаптар
Беті 3, Нәтижелерін: 35
Отмеченные записи: 0
21.
Подробнее
Математика. Дискретная математика : учебник / Золотухин В. Ф. - Ростов-на-Дону : Институт водного транспорта имени Г.Я. Седова – филиал «Государственный морской университет имени адмирала Ф.Ф. Ушакова», 2016. - 129 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
комбинаторный анализ -- математическая логика -- теории алгоритмов -- теории графов -- теория множеств -- эффективность вычислений
Аннотация: Изложен материал по основам математической логики и теории множеств, комбинаторному анализу, теории графов, языкам и грамматикам, конечным автоматам, элементам исчисления предикатов и теории формальных систем, теории алгоритмов и эффективности вычислений. Текст разделов 1, 2, 4, введение и заключение подготовлены В.Ф. Золотухином; разделы 3,5,6 подготовлены В.В. Ольшанским, С.В. Мартемьяновым; А.Е. Богдановым, В.И. Петровой. Одна из главных целей учебника – стремление к балансу между сугубо математическим и прикладным содержанием, что способствует общеобразовательному и профессиональному развитию читателя. Предназначен для подготовки студентов ко всем видам занятий по разделу «Дискретная математика» в курсе «Математика». Он может оказаться полезным и для преподавателей
Доп.точки доступа:
Золотухин, В. Ф.
Ольшанский, В. В.
Мартемьянов, С. В.
Богданов, А. Е.
Петрова, В. И.
Математика. Дискретная математика : учебник / Золотухин В. Ф. - Ростов-на-Дону : Институт водного транспорта имени Г.Я. Седова – филиал «Государственный морской университет имени адмирала Ф.Ф. Ушакова», 2016. - 129 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
комбинаторный анализ -- математическая логика -- теории алгоритмов -- теории графов -- теория множеств -- эффективность вычислений
Аннотация: Изложен материал по основам математической логики и теории множеств, комбинаторному анализу, теории графов, языкам и грамматикам, конечным автоматам, элементам исчисления предикатов и теории формальных систем, теории алгоритмов и эффективности вычислений. Текст разделов 1, 2, 4, введение и заключение подготовлены В.Ф. Золотухином; разделы 3,5,6 подготовлены В.В. Ольшанским, С.В. Мартемьяновым; А.Е. Богдановым, В.И. Петровой. Одна из главных целей учебника – стремление к балансу между сугубо математическим и прикладным содержанием, что способствует общеобразовательному и профессиональному развитию читателя. Предназначен для подготовки студентов ко всем видам занятий по разделу «Дискретная математика» в курсе «Математика». Он может оказаться полезным и для преподавателей
Доп.точки доступа:
Золотухин, В. Ф.
Ольшанский, В. В.
Мартемьянов, С. В.
Богданов, А. Е.
Петрова, В. И.
22.
Подробнее
Бесценный, И. П.
Математическая логика : учебное пособие / Бесценный И. П. - Омск : Омский государственный университет им. Ф.М. Достоевского, 2016. - 76 с. - ISBN 978-5-7779-2002-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12я73
Кл.слова (ненормированные):
вероятностная семантика -- исчисление высказывания -- исчисление предикатов -- математическая логика -- таблица истинности
Аннотация: Предназначено для выработки практических навыков решения задач по математической логике. Для студентов очной и заочной форм обучения по направлениям подготовки «Информатика и вычислительная техника» и «Прикладная информатика».
Доп.точки доступа:
Бесценная, Е. В.
Бесценный, И. П.
Математическая логика : учебное пособие / Бесценный И. П. - Омск : Омский государственный университет им. Ф.М. Достоевского, 2016. - 76 с. - ISBN 978-5-7779-2002-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
вероятностная семантика -- исчисление высказывания -- исчисление предикатов -- математическая логика -- таблица истинности
Аннотация: Предназначено для выработки практических навыков решения задач по математической логике. Для студентов очной и заочной форм обучения по направлениям подготовки «Информатика и вычислительная техника» и «Прикладная информатика».
Доп.точки доступа:
Бесценная, Е. В.
23.
Подробнее
Перемитина, Т. О.
Математическая логика и теория алгоритмов : учебное пособие / Перемитина Т. О. - Томск : Томский государственный университет систем управления и радиоэлектроники, 2016. - 132 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгебра -- алгоритм -- булева функция -- математическая логика -- предикат
Аннотация: В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов».
Перемитина, Т. О.
Математическая логика и теория алгоритмов : учебное пособие / Перемитина Т. О. - Томск : Томский государственный университет систем управления и радиоэлектроники, 2016. - 132 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра -- алгоритм -- булева функция -- математическая логика -- предикат
Аннотация: В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов».
24.
Подробнее
Элементы дискретной математики : учебное пособие / Ананичев Д. С. - Екатеринбург : Уральский федеральный университет, ЭБС АСВ, 2015. - 108 с. - ISBN 978-5-7996-1387-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгоритм -- график -- исчисление -- математика -- функция
Аннотация: В учебном пособии рассматриваются элементы дискретной математики: логические исчисления, предикаты, булевы функции, комбинаторика, теория графов, автоматы и алгоритмы. Приведено решение типовых задач. Предназначается для студентов всех форм обучения всех специальностей.
Доп.точки доступа:
Ананичев, Д. С.
Андреева, И. Ю.
Гредасова, Н. В.
Костоусов, К. В.
Сесекин, А. Н. \ред.\
Элементы дискретной математики : учебное пособие / Ананичев Д. С. - Екатеринбург : Уральский федеральный университет, ЭБС АСВ, 2015. - 108 с. - ISBN 978-5-7996-1387-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритм -- график -- исчисление -- математика -- функция
Аннотация: В учебном пособии рассматриваются элементы дискретной математики: логические исчисления, предикаты, булевы функции, комбинаторика, теория графов, автоматы и алгоритмы. Приведено решение типовых задач. Предназначается для студентов всех форм обучения всех специальностей.
Доп.точки доступа:
Ананичев, Д. С.
Андреева, И. Ю.
Гредасова, Н. В.
Костоусов, К. В.
Сесекин, А. Н. \ред.\
25.
Подробнее
Прокопенко, Н. Ю.
Математическая логика и булевы функции : учебно-методическое пособие / Прокопенко Н. Ю. - Нижний Новгород : Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ, 2021. - 108 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
булевы функции -- логика предикатов -- математическая логика -- равносильные формулы
Аннотация: Учебно-методическое пособие предназначено для обучающихся по очной и заочной форме в ННГАСУ по дисциплине «Дискретная математика» по направлению подготовки 09.03.03 Прикладная информатика и 09.03.04 Программная инженерия. Каждый раздел начинается с изложения необходимого теоретического материала, затем приводятся и разбираются примеры. Дается достаточное количество упражнений для самостоятельного решения.
Прокопенко, Н. Ю.
Математическая логика и булевы функции : учебно-методическое пособие / Прокопенко Н. Ю. - Нижний Новгород : Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ, 2021. - 108 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булевы функции -- логика предикатов -- математическая логика -- равносильные формулы
Аннотация: Учебно-методическое пособие предназначено для обучающихся по очной и заочной форме в ННГАСУ по дисциплине «Дискретная математика» по направлению подготовки 09.03.03 Прикладная информатика и 09.03.04 Программная инженерия. Каждый раздел начинается с изложения необходимого теоретического материала, затем приводятся и разбираются примеры. Дается достаточное количество упражнений для самостоятельного решения.
26.
Подробнее
Мачикина, Е. П.
Математическая логика и теория алгоритмов : учебно-методическое пособие / Мачикина Е. П. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2020. - 86 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
булевы функции -- математическая логика -- понятие алгоритма -- предикаты -- теория алгоритмов
Аннотация: В пособии приведен необходимый теоретический материал, примеры решения задач и упражнения для решения на практических занятиях и во время самостоятельной работы по всем разделам дисциплины «Математическая логика и теория алгоритмов» для студентов второго курса факультета ИВТ, направление 09.03.01 Информатика и вычислительная техника, профили «Программное обеспечение средств вычислительной техники и автоматизированных систем», «Электронно-вычислительные машины, комплексы, системы и сети», «Распределённые автоматизированные системы».
Мачикина, Е. П.
Математическая логика и теория алгоритмов : учебно-методическое пособие / Мачикина Е. П. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2020. - 86 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булевы функции -- математическая логика -- понятие алгоритма -- предикаты -- теория алгоритмов
Аннотация: В пособии приведен необходимый теоретический материал, примеры решения задач и упражнения для решения на практических занятиях и во время самостоятельной работы по всем разделам дисциплины «Математическая логика и теория алгоритмов» для студентов второго курса факультета ИВТ, направление 09.03.01 Информатика и вычислительная техника, профили «Программное обеспечение средств вычислительной техники и автоматизированных систем», «Электронно-вычислительные машины, комплексы, системы и сети», «Распределённые автоматизированные системы».
27.
Подробнее
Бурцева, Е. В.
Интеллектуальные информационные системы : учебное пособие / Бурцева Е. В. - Тамбов : Тамбовский государственный технический университет, ЭБС АСВ, 2022. - 81 с. - ISBN 978-5-8265-2386-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.973
Кл.слова (ненормированные):
информатика -- информационная система -- искусственный интеллект -- нейронная сеть -- разработка -- создание
Аннотация: Представлены основные понятия и направления исследований в области искусственного интеллекта, история развития интеллектуальных информационных систем, принципы построения искусственных нейронных сетей, наиболее распространённые моделями представления знаний, такие как семантическая, фреймовая, продукционная, исчисление предикатов и нечёткая логика. Кроме того, рассмотрены структура, методы разработки и создания экспертных систем. Предназначено для студентов, обучающихся по направлению 09.04.03 «Прикладная информатика», очной и заочной форм обучения, а также может быть полезно для тех, кто хочет получить базовые знания в области искусственного интеллекта.
Доп.точки доступа:
Платёнкин, А. В.
Рак, И. П.
Бурцева, Е. В.
Интеллектуальные информационные системы : учебное пособие / Бурцева Е. В. - Тамбов : Тамбовский государственный технический университет, ЭБС АСВ, 2022. - 81 с. - ISBN 978-5-8265-2386-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
информатика -- информационная система -- искусственный интеллект -- нейронная сеть -- разработка -- создание
Аннотация: Представлены основные понятия и направления исследований в области искусственного интеллекта, история развития интеллектуальных информационных систем, принципы построения искусственных нейронных сетей, наиболее распространённые моделями представления знаний, такие как семантическая, фреймовая, продукционная, исчисление предикатов и нечёткая логика. Кроме того, рассмотрены структура, методы разработки и создания экспертных систем. Предназначено для студентов, обучающихся по направлению 09.04.03 «Прикладная информатика», очной и заочной форм обучения, а также может быть полезно для тех, кто хочет получить базовые знания в области искусственного интеллекта.
Доп.точки доступа:
Платёнкин, А. В.
Рак, И. П.
28.
Подробнее
Дегтярев, М. Г.
Логика : учебник / Дегтярев М. Г. - Москва : ПЕР СЭ, Ай Пи Ар Медиа, 2024. - 288 с. - ISBN 5-9292-0063-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 87.4
Кл.слова (ненормированные):
абстрактное мышление -- дедуктивное умозаключение -- индуктивное умозаключение -- логика -- логика высказываний -- логика предикатов -- логический принцип -- процесс познания -- символическая логика -- язык логики
Аннотация: Предлагаемый учебник — систематизированное изложение курса логики, читаемого для студентов юридических вузов. Помимо теоретического изложения тем курса, учебник содержит задачи и упражнения, а также логический и юридический практикум, где разбираются логические проблемы из различных областей юридической деятельности. В учебнике удачно сочетается традиционная тематика с современным уровнем логико-методологических исследований. Рекомендуется студентам, аспирантам, преподавателям юридических вузов.
Доп.точки доступа:
Хмелевская, С. А.
Дегтярев, М. Г.
Логика : учебник / Дегтярев М. Г. - Москва : ПЕР СЭ, Ай Пи Ар Медиа, 2024. - 288 с. - ISBN 5-9292-0063-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
абстрактное мышление -- дедуктивное умозаключение -- индуктивное умозаключение -- логика -- логика высказываний -- логика предикатов -- логический принцип -- процесс познания -- символическая логика -- язык логики
Аннотация: Предлагаемый учебник — систематизированное изложение курса логики, читаемого для студентов юридических вузов. Помимо теоретического изложения тем курса, учебник содержит задачи и упражнения, а также логический и юридический практикум, где разбираются логические проблемы из различных областей юридической деятельности. В учебнике удачно сочетается традиционная тематика с современным уровнем логико-методологических исследований. Рекомендуется студентам, аспирантам, преподавателям юридических вузов.
Доп.точки доступа:
Хмелевская, С. А.
29.
Подробнее
Элементы дискретной математики : учебное пособие для СПО / Ананичев Д. С. - Саратов, Екатеринбург : Профобразование, Уральский федеральный университет, 2024. - 107 с. - ISBN 978-5-4488-0390-1, 978-5-7996-2845-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгоритм -- дискретная математика -- задача -- комбинаторика -- предикаты
Аннотация: В учебном пособии рассматриваются элементы дискретной математики: логические исчисления, предикаты, булевы функции, комбинаторика, теория графов, автоматы и алгоритмы. Приведено решение типовых задач. Учебное пособие предназначено для изучения дисциплины «Дискретная математика» по укрупненным группам специальностей среднего профессионального образования «Информатика и вычислительная техника», «Информационная безопасность».
Доп.точки доступа:
Ананичев, Д. С.
Андреева, И. Ю.
Гредасова, Н. В.
Костоусов, К. В.
Сесекина, А. Н. \ред.\
Элементы дискретной математики : учебное пособие для СПО / Ананичев Д. С. - Саратов, Екатеринбург : Профобразование, Уральский федеральный университет, 2024. - 107 с. - ISBN 978-5-4488-0390-1, 978-5-7996-2845-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритм -- дискретная математика -- задача -- комбинаторика -- предикаты
Аннотация: В учебном пособии рассматриваются элементы дискретной математики: логические исчисления, предикаты, булевы функции, комбинаторика, теория графов, автоматы и алгоритмы. Приведено решение типовых задач. Учебное пособие предназначено для изучения дисциплины «Дискретная математика» по укрупненным группам специальностей среднего профессионального образования «Информатика и вычислительная техника», «Информационная безопасность».
Доп.точки доступа:
Ананичев, Д. С.
Андреева, И. Ю.
Гредасова, Н. В.
Костоусов, К. В.
Сесекина, А. Н. \ред.\
30.
Подробнее
Червенчук, И. В.
Математические основания информатики : учебное пособие / Червенчук И. В. - Омск : Омский государственный технический университет, 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 «Информатика и вычислительная техника».
Доп.точки доступа:
Червенчук, В. Д.
Грицай, А. С.
Беті 3, Нәтижелерін: 35