База данных: IPR SMART кітаптар
Беті 5, Нәтижелерін: 51
Отмеченные записи: 0
41.
Подробнее
Ткаченко, С. В.
Элементы математической логики : учебное пособие для СПО / Ткаченко С. В. - Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2024. - 99 с. - ISBN 978-5-00175-289-9, 978-5-4488-2060-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
булева алгебра -- булева функция -- логическая операция -- математическая логика -- функциональная полнота
Аннотация: В учебном пособии рассмотрены основные разделы математической логики: булевы алгебры и булевы функции, теорема о функциональной полноте. Издание содержит большое количество примеров, тестов и индивидуальных домашних заданий. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплины «Элементы математической логики» по укрупненным группам специальностей «Информатика и вычислительная техника» и «Информационная безопасность».
Доп.точки доступа:
Сысоев, А. С.
Ткаченко, С. В.
Элементы математической логики : учебное пособие для СПО / Ткаченко С. В. - Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2024. - 99 с. - ISBN 978-5-00175-289-9, 978-5-4488-2060-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булева алгебра -- булева функция -- логическая операция -- математическая логика -- функциональная полнота
Аннотация: В учебном пособии рассмотрены основные разделы математической логики: булевы алгебры и булевы функции, теорема о функциональной полноте. Издание содержит большое количество примеров, тестов и индивидуальных домашних заданий. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для изучения дисциплины «Элементы математической логики» по укрупненным группам специальностей «Информатика и вычислительная техника» и «Информационная безопасность».
Доп.точки доступа:
Сысоев, А. С.
42.
Подробнее
Мачикина, Е. П.
Задачник по математической логике и теории алгоритмов : учебное пособие / Мачикина Е. П. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2023. - 102 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
булевы функции -- задачник -- математическая логика -- теория алгоритмов
Аннотация: В пособии содержатся задачи и упражнения для решения на практических занятиях и во время самостоятельной работы по всем разделам дисциплины «Математическая логика и теория алгоритмов» для студентов направления 09.03.01 «Информатика и вычислительная техника», профили «Программное обеспечение средств вычислительной техники и автоматизированных систем», «Электронно-вычислительные машины, комплексы, системы и сети», «Программное обеспечение средств мобильных систем», направления 02.03.01 «Фундаментальная информатика и информационные технологии», профиль «Системное программное обеспечение». Большинство задач и упражнений пособия снабжено ответами и указаниями к решению.
Доп.точки доступа:
Новожилов, Д. И.
Мачикина, Е. П.
Задачник по математической логике и теории алгоритмов : учебное пособие / Мачикина Е. П. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2023. - 102 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булевы функции -- задачник -- математическая логика -- теория алгоритмов
Аннотация: В пособии содержатся задачи и упражнения для решения на практических занятиях и во время самостоятельной работы по всем разделам дисциплины «Математическая логика и теория алгоритмов» для студентов направления 09.03.01 «Информатика и вычислительная техника», профили «Программное обеспечение средств вычислительной техники и автоматизированных систем», «Электронно-вычислительные машины, комплексы, системы и сети», «Программное обеспечение средств мобильных систем», направления 02.03.01 «Фундаментальная информатика и информационные технологии», профиль «Системное программное обеспечение». Большинство задач и упражнений пособия снабжено ответами и указаниями к решению.
Доп.точки доступа:
Новожилов, Д. И.
43.
Подробнее
Барский, А. Б.
Логические нейронные сети : учебное пособие / Барский А. Б. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2024. - 491 с. - ISBN 978-5-4497-3303-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.81
Кл.слова (ненормированные):
искусственный интеллект -- логическая сеть -- логическое программирование -- математическая логика -- нейронная сеть -- нейросетевая технология -- самообучающаяся система -- система управления -- структура нейросети
Аннотация: В учебном пособии на основе положений математической логики событий исследуется возможность построения логических нейронных сетей, выполняющих операции вывода в составе систем искусственного интеллекта, имитирующих механизмы работы мозга. Предлагаются методы построения обученных нейронных сетей, созданных «под задачу», простые методы обучения-трассировки, методы преобразования описаний систем принятия решений для повышения достоверности выводов. Рассматривается возможность применения логических нейронных сетей в самообучающихся системах управления, а также в различных системах экономики, транспорта, безопасности, защиты информации, при решении задач интеллектуального отображения, в бизнесе туризма и развлечений, при политическом и социальном прогнозировании и в других задачах науки и искусства.
Барский, А. Б.
Логические нейронные сети : учебное пособие / Барский А. Б. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2024. - 491 с. - ISBN 978-5-4497-3303-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
искусственный интеллект -- логическая сеть -- логическое программирование -- математическая логика -- нейронная сеть -- нейросетевая технология -- самообучающаяся система -- система управления -- структура нейросети
Аннотация: В учебном пособии на основе положений математической логики событий исследуется возможность построения логических нейронных сетей, выполняющих операции вывода в составе систем искусственного интеллекта, имитирующих механизмы работы мозга. Предлагаются методы построения обученных нейронных сетей, созданных «под задачу», простые методы обучения-трассировки, методы преобразования описаний систем принятия решений для повышения достоверности выводов. Рассматривается возможность применения логических нейронных сетей в самообучающихся системах управления, а также в различных системах экономики, транспорта, безопасности, защиты информации, при решении задач интеллектуального отображения, в бизнесе туризма и развлечений, при политическом и социальном прогнозировании и в других задачах науки и искусства.
44.
Подробнее
Афанасьев, С. Г.
Математическая логика : учебное пособие / Афанасьев С. Г. - Москва : Ай Пи Ар Медиа, 2024. - 82 с. - ISBN 978-5-4497-3544-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие написано с учетом современных требований к подготовке специалистов высших учебных заведений, на базе лекций, прочитанных автором для студентов Северо-Кавказского социального института. В нем приводятся необходимые теоретические сведения по основным разделам математической логики: алгебре высказываний, исчислении высказываний, алгебре предикатов и рассуждениях, а также примеры, поясняющие их. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначено для студентов вузов, образовательная программа которых содержит дисциплины, включающие в себя математическую логику, элементы математической логики, элементы высшей математики. Издание может быть использовано как в аудиторной учебной работе, так и для самостоятельной подготовки студентов.
Афанасьев, С. Г.
Математическая логика : учебное пособие / Афанасьев С. Г. - Москва : Ай Пи Ар Медиа, 2024. - 82 с. - ISBN 978-5-4497-3544-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие написано с учетом современных требований к подготовке специалистов высших учебных заведений, на базе лекций, прочитанных автором для студентов Северо-Кавказского социального института. В нем приводятся необходимые теоретические сведения по основным разделам математической логики: алгебре высказываний, исчислении высказываний, алгебре предикатов и рассуждениях, а также примеры, поясняющие их. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначено для студентов вузов, образовательная программа которых содержит дисциплины, включающие в себя математическую логику, элементы математической логики, элементы высшей математики. Издание может быть использовано как в аудиторной учебной работе, так и для самостоятельной подготовки студентов.
45.
Подробнее
Афанасьев, С. Г.
Математическая логика : учебное пособие для СПО / Афанасьев С. Г. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2024. - 88 с. - ISBN 978-5-4488-2222-3, 978-5-4497-3543-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие содержит основные понятия, формулы и законы алгебры высказываний, исчисления высказываний, алгебры предикатов и рассуждений. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Предназначено для студентов укрупненной группы профессий и специальностей «Информатика и вычислительная техника» и укрупненной группы специальностей «Информационная безопасность», изучающих дисциплины «Дискретная математика с элементами математической логики», «Элементы математической логики», «Дискретная математика».
Афанасьев, С. Г.
Математическая логика : учебное пособие для СПО / Афанасьев С. Г. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2024. - 88 с. - ISBN 978-5-4488-2222-3, 978-5-4497-3543-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие содержит основные понятия, формулы и законы алгебры высказываний, исчисления высказываний, алгебры предикатов и рассуждений. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Предназначено для студентов укрупненной группы профессий и специальностей «Информатика и вычислительная техника» и укрупненной группы специальностей «Информационная безопасность», изучающих дисциплины «Дискретная математика с элементами математической логики», «Элементы математической логики», «Дискретная математика».
46.
Подробнее
Горюшкин, А. П.
Дискретная математика с элементами математической логики : учебное пособие для СПО / Горюшкин А. П. - Саратов : Профобразование, 2020. - 503 с. - ISBN 978-5-4488-0859-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
maple -- дискретная математика -- математическая логика -- математические вычисления -- теория графов
Аннотация: Учебное пособие содержит теоретический материал по всем важнейшим разделам дискретной математики и математической логики. Предлагается разбор задач с указанием методов их решений, а также система упражнений для самостоятельной работы студентов. В конце издания показаны примеры использования вычислительной техники при решении задач дискретной математики, а именно: применение пакета символьных математических вычислений Maple для решения задач математической логики и теории графов. Издание соответствует требованиям Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для студентов, обучающихся по специальности 09.02.07 «Информационные системы и программирование», изучающих дисциплину «Дискретная математика с элементами математической логики». Может быть использовано при реализации образовательных программ СПО по специальности 09.02.06 «Сетевое и системное администрирование», а также в дополнительном профессиональном образовании.
Горюшкин, А. П.
Дискретная математика с элементами математической логики : учебное пособие для СПО / Горюшкин А. П. - Саратов : Профобразование, 2020. - 503 с. - ISBN 978-5-4488-0859-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
maple -- дискретная математика -- математическая логика -- математические вычисления -- теория графов
Аннотация: Учебное пособие содержит теоретический материал по всем важнейшим разделам дискретной математики и математической логики. Предлагается разбор задач с указанием методов их решений, а также система упражнений для самостоятельной работы студентов. В конце издания показаны примеры использования вычислительной техники при решении задач дискретной математики, а именно: применение пакета символьных математических вычислений Maple для решения задач математической логики и теории графов. Издание соответствует требованиям Федерального государственного образовательного стандарта среднего профессионального образования. Предназначено для студентов, обучающихся по специальности 09.02.07 «Информационные системы и программирование», изучающих дисциплину «Дискретная математика с элементами математической логики». Может быть использовано при реализации образовательных программ СПО по специальности 09.02.06 «Сетевое и системное администрирование», а также в дополнительном профессиональном образовании.
47.
Подробнее
Алаев, П. Е.
Математическая логика : учебное пособие для СПО / Алаев П. Е. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2020. - 98 с. - ISBN 978-5-4488-0789-3, 978-5-4497-0450-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгебраическая система -- математическая логика -- множество -- предикат -- формула
Аннотация: Учебное пособие включает разделы, посвященные формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. Подготовлено на основе ранее выпущенного в 2018 году для высшего образования учебного пособия «Математическая логика в 2 частях. Часть 1». Учебное пособие предназначено для изучения дисциплин «Математическая логика и теория алгоритмов», «Дискретная математика с элементами математической логики», «Элементы математической логики» по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность».
Доп.точки доступа:
Максимова, Л. Л.
Алаев, П. Е.
Математическая логика : учебное пособие для СПО / Алаев П. Е. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2020. - 98 с. - ISBN 978-5-4488-0789-3, 978-5-4497-0450-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебраическая система -- математическая логика -- множество -- предикат -- формула
Аннотация: Учебное пособие включает разделы, посвященные формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. Подготовлено на основе ранее выпущенного в 2018 году для высшего образования учебного пособия «Математическая логика в 2 частях. Часть 1». Учебное пособие предназначено для изучения дисциплин «Математическая логика и теория алгоритмов», «Дискретная математика с элементами математической логики», «Элементы математической логики» по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность».
Доп.точки доступа:
Максимова, Л. Л.
48.
Подробнее
Верещагин, Н. К.
Языки и исчисления : учебное пособие / Верещагин Н. К. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2025. - 278 с. - ISBN 978-5-4497-0924-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
выразимость -- исчисление -- логика высказывания -- математическая логика -- разрешимая теория -- теория моделей
Аннотация: В учебном пособии рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Издание включает в себя около 200 задач различной трудности. Предназначено для студентов, обучающихся по направлениям подготовки и специальностям, учебными планами которых предусмотрено изучение основ математической логики.
Доп.точки доступа:
Шень, А. Х.
Верещагин, Н. К.
Языки и исчисления : учебное пособие / Верещагин Н. К. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2025. - 278 с. - ISBN 978-5-4497-0924-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
выразимость -- исчисление -- логика высказывания -- математическая логика -- разрешимая теория -- теория моделей
Аннотация: В учебном пособии рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Издание включает в себя около 200 задач различной трудности. Предназначено для студентов, обучающихся по направлениям подготовки и специальностям, учебными планами которых предусмотрено изучение основ математической логики.
Доп.точки доступа:
Шень, А. Х.
49.
Подробнее
Математика и информатика. Ч.1 : учебное пособие / Чекин А. Л. - Москва : Московский педагогический государственный университет, 2024. - 236 с. - ISBN 978-5-4263-0827-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгоритмика -- дискретная математика -- информатика -- комбинаторика -- математическая логика -- множество -- случайная величина
Аннотация: Учебное пособие предназначено для студентов факультетов начального образования педагогических вузов, обучающихся по образовательной программе бакалавриата по направлению 44.03.01 Педагогическое образование (профиль «Начально образование») и направлению 44.03.05 Педагогическое образование (с двумя профилями подготовки) при условии, что первым профилем является профиль «Начальное образование». В первую часть пособия включены разделы программы, которые относятся к дискретной математике. Каждая глава кроме адаптированного теоретического материала содержит еще и достаточно большой перечень задач, которые можно использовать на практических занятиях.
Доп.точки доступа:
Чекин, А. Л.
Босова, Л. Л.
Добротворский, А. С.
Иванова, Е. А.
Лаврова, Н. Н.
Локшин, А. А.
Тимошенко, В. В.
Чекина, А. Л. \ред.\
Математика и информатика. Ч.1 : учебное пособие / Чекин А. Л. - Москва : Московский педагогический государственный университет, 2024. - 236 с. - ISBN 978-5-4263-0827-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритмика -- дискретная математика -- информатика -- комбинаторика -- математическая логика -- множество -- случайная величина
Аннотация: Учебное пособие предназначено для студентов факультетов начального образования педагогических вузов, обучающихся по образовательной программе бакалавриата по направлению 44.03.01 Педагогическое образование (профиль «Начально образование») и направлению 44.03.05 Педагогическое образование (с двумя профилями подготовки) при условии, что первым профилем является профиль «Начальное образование». В первую часть пособия включены разделы программы, которые относятся к дискретной математике. Каждая глава кроме адаптированного теоретического материала содержит еще и достаточно большой перечень задач, которые можно использовать на практических занятиях.
Доп.точки доступа:
Чекин, А. Л.
Босова, Л. Л.
Добротворский, А. С.
Иванова, Е. А.
Лаврова, Н. Н.
Локшин, А. А.
Тимошенко, В. В.
Чекина, А. Л. \ред.\
50.
Подробнее
Мирзоев, М. С.
Формирование математической культуры будущего учителя информатики в условиях реализации школьных образовательных стандартов 2-го поколения : монография / Мирзоев М. С. - Москва : Московский педагогический государственный университет, 2024. - 252 с. - ISBN 978-5-4263-0164-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 74.20
Кл.слова (ненормированные):
информатика -- математика -- математическая культура -- математическая логика -- образование -- педагогика -- учитель
Аннотация: В монографии рассмотрены проблемы развития математического фундаментального образования будущего учителя информатики в свете формирования математической культуры. Исследование математической культуры будущего учителя информатики рассматривается в контексте развития математики в областях дискретной математики, математической логики, теории алгоритмов, информационного моделирования. Теоретические основы формирования математической культуры будущего учителя информатики составляют личностно ориентированный, деятельностный и компетентностный подходы. Существенное внимание уделено интеграционным процессам, происходящим в предметных областях «Информатика» и «Математика». Определены и модернизированы структура и содержание математических дисциплин дискретного блока с учетом интеграции предметных областей «Математика» и «Информатика», их межпредметных связей и алгоритмических, технологических, естественно-научных, метапредметных аспектов развития общеобразовательного курса информатики. Представлены структура и состав учебно-методического комплекса по математическим дисциплинам в условиях использования ИКТ в обучении: электронные рабочие учебные программы; учебные пособия, электронные учебники, электронные учебные курсы по математическим дисциплинам; обучающие и контролирующие программы; системы тестовых заданий. Монография адресована научным сотрудникам, преподавателям, аспирантам, студентам педагогических вузов, учителям, слушателям факультетов повышения квалификации, другим специалистам, заинтересованным исследованием проблемы математической культуры.
Мирзоев, М. С.
Формирование математической культуры будущего учителя информатики в условиях реализации школьных образовательных стандартов 2-го поколения : монография / Мирзоев М. С. - Москва : Московский педагогический государственный университет, 2024. - 252 с. - ISBN 978-5-4263-0164-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
информатика -- математика -- математическая культура -- математическая логика -- образование -- педагогика -- учитель
Аннотация: В монографии рассмотрены проблемы развития математического фундаментального образования будущего учителя информатики в свете формирования математической культуры. Исследование математической культуры будущего учителя информатики рассматривается в контексте развития математики в областях дискретной математики, математической логики, теории алгоритмов, информационного моделирования. Теоретические основы формирования математической культуры будущего учителя информатики составляют личностно ориентированный, деятельностный и компетентностный подходы. Существенное внимание уделено интеграционным процессам, происходящим в предметных областях «Информатика» и «Математика». Определены и модернизированы структура и содержание математических дисциплин дискретного блока с учетом интеграции предметных областей «Математика» и «Информатика», их межпредметных связей и алгоритмических, технологических, естественно-научных, метапредметных аспектов развития общеобразовательного курса информатики. Представлены структура и состав учебно-методического комплекса по математическим дисциплинам в условиях использования ИКТ в обучении: электронные рабочие учебные программы; учебные пособия, электронные учебники, электронные учебные курсы по математическим дисциплинам; обучающие и контролирующие программы; системы тестовых заданий. Монография адресована научным сотрудникам, преподавателям, аспирантам, студентам педагогических вузов, учителям, слушателям факультетов повышения квалификации, другим специалистам, заинтересованным исследованием проблемы математической культуры.
Беті 5, Нәтижелерін: 51