База данных: IPR SMART кітаптар
Беті 4, Нәтижелерін: 35
Отмеченные записи: 0
31.
Подробнее
Афанасьев, С. Г.
Математическая логика : учебное пособие / Афанасьев С. Г. - Москва : Ай Пи Ар Медиа, 2024. - 82 с. - ISBN 978-5-4497-3544-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие написано с учетом современных требований к подготовке специалистов высших учебных заведений, на базе лекций, прочитанных автором для студентов Северо-Кавказского социального института. В нем приводятся необходимые теоретические сведения по основным разделам математической логики: алгебре высказываний, исчислении высказываний, алгебре предикатов и рассуждениях, а также примеры, поясняющие их. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначено для студентов вузов, образовательная программа которых содержит дисциплины, включающие в себя математическую логику, элементы математической логики, элементы высшей математики. Издание может быть использовано как в аудиторной учебной работе, так и для самостоятельной подготовки студентов.
Афанасьев, С. Г.
Математическая логика : учебное пособие / Афанасьев С. Г. - Москва : Ай Пи Ар Медиа, 2024. - 82 с. - ISBN 978-5-4497-3544-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие написано с учетом современных требований к подготовке специалистов высших учебных заведений, на базе лекций, прочитанных автором для студентов Северо-Кавказского социального института. В нем приводятся необходимые теоретические сведения по основным разделам математической логики: алгебре высказываний, исчислении высказываний, алгебре предикатов и рассуждениях, а также примеры, поясняющие их. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначено для студентов вузов, образовательная программа которых содержит дисциплины, включающие в себя математическую логику, элементы математической логики, элементы высшей математики. Издание может быть использовано как в аудиторной учебной работе, так и для самостоятельной подготовки студентов.
32.
Подробнее
Афанасьев, С. Г.
Математическая логика : учебное пособие для СПО / Афанасьев С. Г. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 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.
| УДК |
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- исчисление высказываний -- математическая логика -- рассуждение
Аннотация: Учебное пособие содержит основные понятия, формулы и законы алгебры высказываний, исчисления высказываний, алгебры предикатов и рассуждений. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Предназначено для студентов укрупненной группы профессий и специальностей «Информатика и вычислительная техника» и укрупненной группы специальностей «Информационная безопасность», изучающих дисциплины «Дискретная математика с элементами математической логики», «Элементы математической логики», «Дискретная математика».
33.
Подробнее
Полякова, Л. Н.
Основы SQL : учебное пособие / Полякова Л. Н. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2024. - 273 с. - ISBN 978-5-4497-3313-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
sql-оператор -- база данных -- выборка данных -- динамический sql -- защита данных -- манипулирование данными -- нетривиальный запрос -- тип данных -- язык sql -- язык запроса
Аннотация: Данное учебное пособие представляет собой развернутое введение в SQL на основе стандарта SQL:1999. Обсуждаются типы данных, допускаемые в SQL; средства определения объектов базы данных; манипулирование данными; управление соединениями, сессиями и транзакциями; обеспечение безопасности; динамический и встроенный SQL. Хорошее владение языком SQL является обязательным для профессиональных разработчиков приложений баз данных и их администраторов. Данное издание основано на международном стандарте SQL:1999, хотя не охватывает все аспекты языка. В учебное пособие включены темы, являющиеся, во-первых, наиболее важными для пользователей и разработчиков приложений и, во-вторых, наиболее проработанными в текущей версии стандарта. Во вводной части книги обсуждаются история языка, его основные концепции, типы данных, допустимые в SQL. Приводится обзор подходов SQL к определению данных и манипулированию ими. В основной части последовательно обсуждаются следующие темы: значения, базовые функции и выражения SQL; арифметические выражения с переключателями и преобразованием типа, выражения со строковыми значениями; виды предикатов, допустимых в логических выражениях; соединения и теоретико-множественные операции; виды выражений запросов; ограничения целостности и ссылочная целостность; триггеры; встроенный SQL и язык модулей; принципы работы с курсорами; привилегии, пользователи и безопасность; управление транзакциями; управление соединениями и удаленный доступ к базам данных; хранимые процедуры и функции; динамический SQL; интерфейс уровня вызовов; диагностика и управление ошибочными ситуациями; вопросы интернационализации и локализации; информационная схема.
Полякова, Л. Н.
Основы SQL : учебное пособие / Полякова Л. Н. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2024. - 273 с. - ISBN 978-5-4497-3313-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
sql-оператор -- база данных -- выборка данных -- динамический sql -- защита данных -- манипулирование данными -- нетривиальный запрос -- тип данных -- язык sql -- язык запроса
Аннотация: Данное учебное пособие представляет собой развернутое введение в SQL на основе стандарта SQL:1999. Обсуждаются типы данных, допускаемые в SQL; средства определения объектов базы данных; манипулирование данными; управление соединениями, сессиями и транзакциями; обеспечение безопасности; динамический и встроенный SQL. Хорошее владение языком SQL является обязательным для профессиональных разработчиков приложений баз данных и их администраторов. Данное издание основано на международном стандарте SQL:1999, хотя не охватывает все аспекты языка. В учебное пособие включены темы, являющиеся, во-первых, наиболее важными для пользователей и разработчиков приложений и, во-вторых, наиболее проработанными в текущей версии стандарта. Во вводной части книги обсуждаются история языка, его основные концепции, типы данных, допустимые в SQL. Приводится обзор подходов SQL к определению данных и манипулированию ими. В основной части последовательно обсуждаются следующие темы: значения, базовые функции и выражения SQL; арифметические выражения с переключателями и преобразованием типа, выражения со строковыми значениями; виды предикатов, допустимых в логических выражениях; соединения и теоретико-множественные операции; виды выражений запросов; ограничения целостности и ссылочная целостность; триггеры; встроенный SQL и язык модулей; принципы работы с курсорами; привилегии, пользователи и безопасность; управление транзакциями; управление соединениями и удаленный доступ к базам данных; хранимые процедуры и функции; динамический SQL; интерфейс уровня вызовов; диагностика и управление ошибочными ситуациями; вопросы интернационализации и локализации; информационная схема.
34.
Подробнее
Алаев, П. Е.
Математическая логика : учебное пособие для СПО / Алаев П. Е. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 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 «Информационная безопасность».
Доп.точки доступа:
Максимова, Л. Л.
35.
Подробнее
Зайцева, Е. В.
Формальные системы : учебное пособие / Зайцева Е. В. - Москва : Издательский Дом МИСиС, 2019. - 70 с. - ISBN 978-5-907226-02-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
информатика -- классическая логика -- формальные системы
Аннотация: Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач. Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».
Зайцева, Е. В.
Формальные системы : учебное пособие / Зайцева Е. В. - Москва : Издательский Дом МИСиС, 2019. - 70 с. - ISBN 978-5-907226-02-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
информатика -- классическая логика -- формальные системы
Аннотация: Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач. Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».
Беті 4, Нәтижелерін: 35