Перейти к содержимому 
База данных: ЭБС Юрайт
Страница 1, Результатов: 7
Отмеченные записи: 0
1.
Подробнее
Скорубский, Владимир Иванович.
Математическая логика [Электронный ресурс] : учебник и практикум для спо / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. - Электрон. дан.col. - Москва : Юрайт, 2024. - 211 с. - (Профессиональное образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-11631-1
URL: https://urait.ru/bcode/542796 (дата обращения: 12.03.2024).
ББК 22.12я723
Кл.слова (ненормированные):
Логика -- Общественные науки -- Элементы математической логики -- Дискретная математика с элементами математической логики
Аннотация: В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. Предлагаемые упражнения и примеры иллюстрированы доказательствами, по возможности вербальными, что позволяет приобрести опыт в работе с разными задачами и направлениями. Полезно знакомство с другими интерпретациями, сложившимися исторически в рамках классической логики. Не всегда это строгая теория и чаще требуется определение свойств новых областей и поиск подходящих методов работы с данными (фактами). Материал будет полезен для обучения бакалавриата, имеющего базовые знания в дискретной математике, алгоритмизации и программировании для понимания необходимости использования логики в любого рода деятельности. Соответствует актуальным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям. Для студентов широкого круга инженерных специальностей (проектирование вычислительных систем, программирование и др.) и гуманитарных направлений, где предполагается создание и использование экспертных систем (экономика, медицина, менеджмент и др).
Доп.точки доступа:
Поляков, Владимир Иванович
Зыков, Анатолий Геннадьевич
Скорубский, Владимир Иванович.
Математическая логика [Электронный ресурс] : учебник и практикум для спо / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. - Электрон. дан.col. - Москва : Юрайт, 2024. - 211 с. - (Профессиональное образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-11631-1
URL: https://urait.ru/bcode/542796 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Логика -- Общественные науки -- Элементы математической логики -- Дискретная математика с элементами математической логики
Аннотация: В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. Предлагаемые упражнения и примеры иллюстрированы доказательствами, по возможности вербальными, что позволяет приобрести опыт в работе с разными задачами и направлениями. Полезно знакомство с другими интерпретациями, сложившимися исторически в рамках классической логики. Не всегда это строгая теория и чаще требуется определение свойств новых областей и поиск подходящих методов работы с данными (фактами). Материал будет полезен для обучения бакалавриата, имеющего базовые знания в дискретной математике, алгоритмизации и программировании для понимания необходимости использования логики в любого рода деятельности. Соответствует актуальным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям. Для студентов широкого круга инженерных специальностей (проектирование вычислительных систем, программирование и др.) и гуманитарных направлений, где предполагается создание и использование экспертных систем (экономика, медицина, менеджмент и др).
Доп.точки доступа:
Поляков, Владимир Иванович
Зыков, Анатолий Геннадьевич
2.
Подробнее
Швецкий, Михаил Владимирович.
Программирование: математическая логика [Электронный ресурс] : учебное пособие для спо / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 675 с. - (Профессиональное образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-13248-9
URL: https://urait.ru/bcode/542173 (дата обращения: 12.03.2024).
ББК 22.12я723
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Программирование -- Методы программирования -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Элементы математической логики -- Введение в программирование -- Программирование на ЭВМ
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения.
Доп.точки доступа:
Демидов, Михаил Владимирович
Голанова, Анна Викторовна
Кудрявцева, Ирина
Швецкий, Михаил Владимирович.
Программирование: математическая логика [Электронный ресурс] : учебное пособие для спо / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 675 с. - (Профессиональное образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-13248-9
URL: https://urait.ru/bcode/542173 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Программирование -- Технические науки и информационные технологии -- Программирование -- Методы программирования -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Элементы математической логики -- Введение в программирование -- Программирование на ЭВМ
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения.
Доп.точки доступа:
Демидов, Михаил Владимирович
Голанова, Анна Викторовна
Кудрявцева, Ирина
3.
Подробнее
Кожеурова, Наталья Сергеевна.
Логика [Электронный ресурс] : учебное пособие для вузов / Н. С. Кожеурова. - 2-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 320 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-08888-5
URL: https://urait.ru/bcode/535456 (дата обращения: 12.03.2024).
ББК 87.4я73
Кл.слова (ненормированные):
Логика -- Общественные науки -- Логика -- Логика и теория аргументации -- Элементы математической логики -- Логика и аргументация -- Основы логики
Аннотация: В учебном пособии изложены основные понятия формальной логики, ее история и связь с другими науками о познании. Рассматриваются такие категории дисциплины, как понятие, суждение, умозаключение и гипотеза. Отдельная глава посвящена логическим основам аргументации. Издание содержит словарь логических терминов и персоналий, многочисленные задания, головоломки и кроссворды.
Кожеурова, Наталья Сергеевна.
Логика [Электронный ресурс] : учебное пособие для вузов / Н. С. Кожеурова. - 2-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 320 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-08888-5
URL: https://urait.ru/bcode/535456 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Логика -- Общественные науки -- Логика -- Логика и теория аргументации -- Элементы математической логики -- Логика и аргументация -- Основы логики
Аннотация: В учебном пособии изложены основные понятия формальной логики, ее история и связь с другими науками о познании. Рассматриваются такие категории дисциплины, как понятие, суждение, умозаключение и гипотеза. Отдельная глава посвящена логическим основам аргументации. Издание содержит словарь логических терминов и персоналий, многочисленные задания, головоломки и кроссворды.
4.
Подробнее
Вечтомов, Евгений Михайлович.
Математика: логика, теория множеств и комбинаторика [Электронный ресурс] : учебное пособие для спо / Е. М. Вечтомов, Д. В. Широков. - 2-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 233 с. - (Профессиональное образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-15824-3
URL: https://urait.ru/bcode/540459 (дата обращения: 12.03.2024).
ББК 22.1я723
Кл.слова (ненормированные):
Математика: общие работы -- Математика и статистика -- Математика -- Математика (элементы высшей математики, теория вероятностей, математическая статистика) -- Математическая логика -- Элементы математической логики -- Введение в математику -- Корректирующий курс по математике -- Основы математики -- Основы математической логики -- Введение в математическую логику -- Математика (базовая) -- Математические методы решения прикладных профессиональных задач -- Математические методы решения задач в профессиональной деятельности
Аннотация: В учебном пособии представлен вводный курс математики, который направлен на формирование и развитие логико-математической культуры у студентов. Издание посвящено азбуке современной математики: началам логики, теории множеств и комбинаторики. Помимо теоретической части издание содержит Практикум, в котором предложено большое количество разнообразных заданий, рассчитанных как на аудиторную, так и на самостоятельную работу студентов. Пособие написано доступным языком, текст снабжен примерами для лучшего восприятия материала.
Доп.точки доступа:
Широков, Дмитрий Владимирович
Вечтомов, Евгений Михайлович.
Математика: логика, теория множеств и комбинаторика [Электронный ресурс] : учебное пособие для спо / Е. М. Вечтомов, Д. В. Широков. - 2-е изд. - Электрон. дан.col. - Москва : Юрайт, 2024. - 233 с. - (Профессиональное образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-15824-3
URL: https://urait.ru/bcode/540459 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Математика: общие работы -- Математика и статистика -- Математика -- Математика (элементы высшей математики, теория вероятностей, математическая статистика) -- Математическая логика -- Элементы математической логики -- Введение в математику -- Корректирующий курс по математике -- Основы математики -- Основы математической логики -- Введение в математическую логику -- Математика (базовая) -- Математические методы решения прикладных профессиональных задач -- Математические методы решения задач в профессиональной деятельности
Аннотация: В учебном пособии представлен вводный курс математики, который направлен на формирование и развитие логико-математической культуры у студентов. Издание посвящено азбуке современной математики: началам логики, теории множеств и комбинаторики. Помимо теоретической части издание содержит Практикум, в котором предложено большое количество разнообразных заданий, рассчитанных как на аудиторную, так и на самостоятельную работу студентов. Пособие написано доступным языком, текст снабжен примерами для лучшего восприятия материала.
Доп.точки доступа:
Широков, Дмитрий Владимирович
5.
Подробнее
Скорубский, Владимир Иванович.
Математическая логика [Электронный ресурс] : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. - Электрон. дан.col. - Москва : Юрайт, 2024. - 211 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-01114-2
URL: https://urait.ru/bcode/536998 (дата обращения: 12.03.2024).
ББК 22.12я73
Кл.слова (ненормированные):
Логика -- Общественные науки -- Дискретная математика и математическая логика -- Математическая логика и теория алгоритмов -- Дополнительные главы дискретной математики, математической логики -- Математическая логика -- Теория графов и математическая логика -- дискретная математика, математическая логика и их приложения в информатике и компьютерных науках -- Логика и алгоритмы -- Логика и математика для дошкольников -- Формирование логико-математических представлений -- Современные проблемы математической логики и теории алгоритмов -- Математическая логика, теория графов и алгоритмов -- Основы математической логики и теории алгоритмов -- Основы логики и теории графов -- Математическая логика и формальные языки -- Математическая логика и теория графов -- Математическая логика и теория алгоритм -- Математическая логика в обучении математики -- Элементы математической логики и теории алгоритмов в школьном курсе математики -- Алгебра и математическая логика -- Прикладная теория алгоритмов и математической логики в вычислительной технике -- Математическая логика и дискретная математика -- Математическая логика и теория алгоритмов Высшей математики -- Прикладная математика и математическая логика -- Основы математической логики и теория множеств -- Основы математической логики -- Основы математической логики и информатики -- Элементы математической логики и теории множеств -- Математическая логика и теория -- Основы цифровых устройств и математическая логика -- Логика высказываний и булевы алгебры -- Функции алгебры логики -- Теория и методика логико-математического развития детей -- Специальные разделы математической логики -- Математическая логика и конечные автоматы -- Математическая логика и теория алгоритмов в машиностроении -- Введение в математическую логику -- Применение математической логики в системах управления -- Логика и дискретная математика
Аннотация: В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.
Доп.точки доступа:
Поляков, Владимир Иванович
Зыков, Анатолий Геннадьевич
Скорубский, Владимир Иванович.
Математическая логика [Электронный ресурс] : учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. - Электрон. дан.col. - Москва : Юрайт, 2024. - 211 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-01114-2
URL: https://urait.ru/bcode/536998 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Логика -- Общественные науки -- Дискретная математика и математическая логика -- Математическая логика и теория алгоритмов -- Дополнительные главы дискретной математики, математической логики -- Математическая логика -- Теория графов и математическая логика -- дискретная математика, математическая логика и их приложения в информатике и компьютерных науках -- Логика и алгоритмы -- Логика и математика для дошкольников -- Формирование логико-математических представлений -- Современные проблемы математической логики и теории алгоритмов -- Математическая логика, теория графов и алгоритмов -- Основы математической логики и теории алгоритмов -- Основы логики и теории графов -- Математическая логика и формальные языки -- Математическая логика и теория графов -- Математическая логика и теория алгоритм -- Математическая логика в обучении математики -- Элементы математической логики и теории алгоритмов в школьном курсе математики -- Алгебра и математическая логика -- Прикладная теория алгоритмов и математической логики в вычислительной технике -- Математическая логика и дискретная математика -- Математическая логика и теория алгоритмов Высшей математики -- Прикладная математика и математическая логика -- Основы математической логики и теория множеств -- Основы математической логики -- Основы математической логики и информатики -- Элементы математической логики и теории множеств -- Математическая логика и теория -- Основы цифровых устройств и математическая логика -- Логика высказываний и булевы алгебры -- Функции алгебры логики -- Теория и методика логико-математического развития детей -- Специальные разделы математической логики -- Математическая логика и конечные автоматы -- Математическая логика и теория алгоритмов в машиностроении -- Введение в математическую логику -- Применение математической логики в системах управления -- Логика и дискретная математика
Аннотация: В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.
Доп.точки доступа:
Поляков, Владимир Иванович
Зыков, Анатолий Геннадьевич
6.
Подробнее
Кожеурова, Наталья Сергеевна.
Логика [Электронный ресурс] : учебное пособие для спо / Н. С. Кожеурова. - 2-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 320 с. - (Профессиональное образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-09557-9
URL: https://urait.ru/bcode/541437 (дата обращения: 12.03.2024).
ББК 87.4я723
Кл.слова (ненормированные):
Логика -- Общественные науки -- Логика -- Элементы математической логики -- Основы логики
Аннотация: В учебном пособии изложены основные понятия формальной логики, ее история и связь с другими науками о познании. Рассматриваются такие категории дисциплины, как понятие, суждение, умозаключение и гипотеза. Отдельная глава посвящена логическим основам аргументации. Издание содержит словарь логических терминов и персоналий, многочисленные задания, головоломки и кроссворды.
Кожеурова, Наталья Сергеевна.
Логика [Электронный ресурс] : учебное пособие для спо / Н. С. Кожеурова. - 2-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 320 с. - (Профессиональное образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-09557-9
URL: https://urait.ru/bcode/541437 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Логика -- Общественные науки -- Логика -- Элементы математической логики -- Основы логики
Аннотация: В учебном пособии изложены основные понятия формальной логики, ее история и связь с другими науками о познании. Рассматриваются такие категории дисциплины, как понятие, суждение, умозаключение и гипотеза. Отдельная глава посвящена логическим основам аргументации. Издание содержит словарь логических терминов и персоналий, многочисленные задания, головоломки и кроссворды.
7.
Подробнее
Ивин, Александр Архипович.
Практическая логика: задачи и упражнения [Электронный ресурс] : учебное пособие для спо / А. А. Ивин. - 2-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 171 с. - (Профессиональное образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-08984-4
URL: https://urait.ru/bcode/540345 (дата обращения: 12.03.2024).
ББК 87.4я723
Кл.слова (ненормированные):
Логика -- Общественные науки -- Логика -- Элементы математической логики -- Основы логики
Аннотация: В книге содержится необходимый минимум задач и упражнений для активного усвоения всех разделов курса логики. Даны задачи на логику и язык, имена, ловушки языка, высказывания, логику высказываний, логику категорических высказываний, модальную логику, доказательство и опровержение, индуктивные рассуждения, искусство спора, парадоксы. Эти материалы помогут закрепить теоретические знания и развить навыки ясного, последовательного и доказательного мышления.
Ивин, Александр Архипович.
Практическая логика: задачи и упражнения [Электронный ресурс] : учебное пособие для спо / А. А. Ивин. - 2-е изд., испр. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 171 с. - (Профессиональное образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. - ISBN 978-5-534-08984-4
URL: https://urait.ru/bcode/540345 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Логика -- Общественные науки -- Логика -- Элементы математической логики -- Основы логики
Аннотация: В книге содержится необходимый минимум задач и упражнений для активного усвоения всех разделов курса логики. Даны задачи на логику и язык, имена, ловушки языка, высказывания, логику высказываний, логику категорических высказываний, модальную логику, доказательство и опровержение, индуктивные рассуждения, искусство спора, парадоксы. Эти материалы помогут закрепить теоретические знания и развить навыки ясного, последовательного и доказательного мышления.
Страница 1, Результатов: 7