База данных: IPR SMART кітаптар
Беті 143, Нәтижелерін: 1563
Сортировка недоступна
Кол-во результатов более 1000
Отмеченные записи: 0
1421.
Подробнее
Костюкова, Н. И.
Основы математического моделирования : учебное пособие / Костюкова Н. И. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2025. - 219 с. - ISBN 978-5-4497-0878-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
линейное программирование -- массовое обслуживание -- математическая модель -- математическое моделирование -- теория вероятностей
Аннотация: В учебном пособии рассматриваются основные принципы и методы построения и анализа математических моделей, приводятся основные положения теории вероятностей и теории массового обслуживания. Основное внимание уделяется задачам линейного программирования, основам теории игр, теории статистических решений и основным положениям последовательностного анализа, приводятся примеры использования статистических методов моделирования в технике и медицине. Предназначено для студентов всех специальностей и направлений подготовки, учебными планами которых предусмотрено изучение основ математического моделирования.
Костюкова, Н. И.
Основы математического моделирования : учебное пособие / Костюкова Н. И. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2025. - 219 с. - ISBN 978-5-4497-0878-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
линейное программирование -- массовое обслуживание -- математическая модель -- математическое моделирование -- теория вероятностей
Аннотация: В учебном пособии рассматриваются основные принципы и методы построения и анализа математических моделей, приводятся основные положения теории вероятностей и теории массового обслуживания. Основное внимание уделяется задачам линейного программирования, основам теории игр, теории статистических решений и основным положениям последовательностного анализа, приводятся примеры использования статистических методов моделирования в технике и медицине. Предназначено для студентов всех специальностей и направлений подготовки, учебными планами которых предусмотрено изучение основ математического моделирования.
1422.
Подробнее
Волкова, С. А.
Основы математической обработки : учебное пособие / Волкова С. А. - Москва : Ай Пи Ар Медиа, 2025. - 83 с. - ISBN 978-5-4497-3914-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
комбинаторика -- комбинаторный метод -- математическая обработка -- обработка информации -- представление информации
Аннотация: В учебном пособии изложены основы математической обработки информации. Показана роль математики в обработке информации, описаны математические средства представления информации, комбинаторные методы ее обработки и интерпретации, рассмотрены вопросы использования множеств и логических законов при работе с информацией. Приведены теоретические сведения, образцы решения заданий, контрольные вопросы по разделам курса. Подготовлено с учетом требований Федерального государственного образовательного стандарта высшего образования. Учебное пособие предназначено для студентов, обучающихся по укрупненной группе специальностей и направлений подготовки «Образование и педагогические науки», изучающих дисциплину «Основы математической обработки информации». Издание будет полезно для широкого круга обучающихся, интересующихся прикладными аспектами и основами математической обработки.
Волкова, С. А.
Основы математической обработки : учебное пособие / Волкова С. А. - Москва : Ай Пи Ар Медиа, 2025. - 83 с. - ISBN 978-5-4497-3914-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
комбинаторика -- комбинаторный метод -- математическая обработка -- обработка информации -- представление информации
Аннотация: В учебном пособии изложены основы математической обработки информации. Показана роль математики в обработке информации, описаны математические средства представления информации, комбинаторные методы ее обработки и интерпретации, рассмотрены вопросы использования множеств и логических законов при работе с информацией. Приведены теоретические сведения, образцы решения заданий, контрольные вопросы по разделам курса. Подготовлено с учетом требований Федерального государственного образовательного стандарта высшего образования. Учебное пособие предназначено для студентов, обучающихся по укрупненной группе специальностей и направлений подготовки «Образование и педагогические науки», изучающих дисциплину «Основы математической обработки информации». Издание будет полезно для широкого круга обучающихся, интересующихся прикладными аспектами и основами математической обработки.
1423.
Подробнее
Волкова, С. А.
Основы математической обработки информации : учебное пособие для СПО / Волкова С. А. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2025. - 82 с. - ISBN 978-5-4488-2327-5, 978-5-4497-3946-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
интерпретация -- комбинаторика -- логический закон -- математическая обработка -- множество -- обработка информации
Аннотация: В учебном пособии показана роль математики в обработке информации. Даны математические средства представления информации, комбинаторные методы ее обработки и интерпретации. Освещены правила использования множеств и логических законов при работе с информацией. Подготовлено с учетом требований Федерального государственного образовательного стандарта среднего профессионального образования. Учебное пособие предназначено для студентов, обучающихся по всем профессиям и специальностям, изучающих дисциплину «Основы математической обработки информации».
Волкова, С. А.
Основы математической обработки информации : учебное пособие для СПО / Волкова С. А. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2025. - 82 с. - ISBN 978-5-4488-2327-5, 978-5-4497-3946-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
интерпретация -- комбинаторика -- логический закон -- математическая обработка -- множество -- обработка информации
Аннотация: В учебном пособии показана роль математики в обработке информации. Даны математические средства представления информации, комбинаторные методы ее обработки и интерпретации. Освещены правила использования множеств и логических законов при работе с информацией. Подготовлено с учетом требований Федерального государственного образовательного стандарта среднего профессионального образования. Учебное пособие предназначено для студентов, обучающихся по всем профессиям и специальностям, изучающих дисциплину «Основы математической обработки информации».
1424.
Подробнее
Палевская, С. А.
Планирование, кластеризация и синтез знаний : учебное пособие / Палевская С. А. - Москва : Ай Пи Ар Медиа, 2025. - 108 с. - ISBN 978-5-4497-3729-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.172
Кл.слова (ненормированные):
кластеризация -- кластерный анализ -- логический вывод -- нечеткий вывод -- обработка данных -- планирование эксперимента -- синтез знаний
Аннотация: В учебном пособии представлена теория и практика интерпретации результатов научного эксперимента. Описан большой диапазон способов обработки данных — от классического планирования до кластерного анализа с возможностью синтеза знаний для систем нечеткого логического вывода. Учебное пособие подготовлено в соответствии с требованиями действующего Федерального государственного образовательного стандарта высшего образования специалитета по специальности «Медицинская кибернетика» и рабочей программой дисциплины «Информационные технологии в здравоохранении», утвержденной ЦКМС ФГБОУ ВО СамГМУ Минздрава России, и предназначено для студентов медицинских вузов. Может быть использовано студентами других специальностей и направлений, осваивающими дисциплины, связанные с планированием эксперимента, кластерным анализом и синтезом знаний.
Доп.точки доступа:
Гущин, А. В.
Палевская, С. А.
Планирование, кластеризация и синтез знаний : учебное пособие / Палевская С. А. - Москва : Ай Пи Ар Медиа, 2025. - 108 с. - ISBN 978-5-4497-3729-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
кластеризация -- кластерный анализ -- логический вывод -- нечеткий вывод -- обработка данных -- планирование эксперимента -- синтез знаний
Аннотация: В учебном пособии представлена теория и практика интерпретации результатов научного эксперимента. Описан большой диапазон способов обработки данных — от классического планирования до кластерного анализа с возможностью синтеза знаний для систем нечеткого логического вывода. Учебное пособие подготовлено в соответствии с требованиями действующего Федерального государственного образовательного стандарта высшего образования специалитета по специальности «Медицинская кибернетика» и рабочей программой дисциплины «Информационные технологии в здравоохранении», утвержденной ЦКМС ФГБОУ ВО СамГМУ Минздрава России, и предназначено для студентов медицинских вузов. Может быть использовано студентами других специальностей и направлений, осваивающими дисциплины, связанные с планированием эксперимента, кластерным анализом и синтезом знаний.
Доп.точки доступа:
Гущин, А. В.
1425.
Подробнее
Алексеев, В. Е.
Структуры данных и модели вычислений : учебное пособие / Алексеев В. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2025. - 247 с. - ISBN 978-5-4497-0939-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.176
Кл.слова (ненормированные):
алгоритм -- алгорифм маркова -- логическое программирование -- машина тьюринга -- модель вычислений -- структура данных -- теория графов -- формальный язык
Аннотация: В учебном пособии рассматриваются способы структурирования информации в моделях с адресуемой памятью и классические модели вычислений, которые сыграли основную роль в формировании математического понятия алгоритма. Одной из основных целей при разработке структур данных является формирование математических понятий, которые пока не входят в классическую математику, но требуют формального описания и математического анализа их свойств. Основной интерес здесь представляют сложностные аспекты выполнения типичных операций. Возникновение наиболее удачных структур, использующихся в различных алгоритмах, приводит к формированию так называемых абстрактных типов данных, которые позволяют вести проектирование нетривиальных алгоритмов на более высоком уровне, не упуская из виду конкретных реализаций. Методы реализации абстрактных типов данных можно рассматривать как переход от описания алгоритма с использованием прикладных или математических понятий к описанию в конкретной системе вычислений. В издании рассматриваются методы реализации приоритетных очередей, динамически меняющихся отношений эквивалентности, а также некоторые способы организации словарей, основывающиеся на применении так называемых поисковых деревьев, приводятся примеры использования рассматриваемых структур в алгоритмах решения некоторых задач из теории графов. Дается описание машин Тьюринга, алгорифмов Маркова, «машины абак» и как наиболее реалистичной модели вычислительного автомата — модели с адресуемой памятью РАМ. Приводятся основные сведения о формальных языках и способах их конструктивного задания, а также теоретические основы логического программирования. Важность этих вопросов вытекает не только из общенаучных проблем развития математики, но также из практических задач общества, использующего вычислительную технику в производстве, экономике, инженерных расчетах и заинтересованного в адекватном представлении о возможностях вычислительных автоматов.
Доп.точки доступа:
Таланов, В. А.
Алексеев, В. Е.
Структуры данных и модели вычислений : учебное пособие / Алексеев В. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2025. - 247 с. - ISBN 978-5-4497-0939-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритм -- алгорифм маркова -- логическое программирование -- машина тьюринга -- модель вычислений -- структура данных -- теория графов -- формальный язык
Аннотация: В учебном пособии рассматриваются способы структурирования информации в моделях с адресуемой памятью и классические модели вычислений, которые сыграли основную роль в формировании математического понятия алгоритма. Одной из основных целей при разработке структур данных является формирование математических понятий, которые пока не входят в классическую математику, но требуют формального описания и математического анализа их свойств. Основной интерес здесь представляют сложностные аспекты выполнения типичных операций. Возникновение наиболее удачных структур, использующихся в различных алгоритмах, приводит к формированию так называемых абстрактных типов данных, которые позволяют вести проектирование нетривиальных алгоритмов на более высоком уровне, не упуская из виду конкретных реализаций. Методы реализации абстрактных типов данных можно рассматривать как переход от описания алгоритма с использованием прикладных или математических понятий к описанию в конкретной системе вычислений. В издании рассматриваются методы реализации приоритетных очередей, динамически меняющихся отношений эквивалентности, а также некоторые способы организации словарей, основывающиеся на применении так называемых поисковых деревьев, приводятся примеры использования рассматриваемых структур в алгоритмах решения некоторых задач из теории графов. Дается описание машин Тьюринга, алгорифмов Маркова, «машины абак» и как наиболее реалистичной модели вычислительного автомата — модели с адресуемой памятью РАМ. Приводятся основные сведения о формальных языках и способах их конструктивного задания, а также теоретические основы логического программирования. Важность этих вопросов вытекает не только из общенаучных проблем развития математики, но также из практических задач общества, использующего вычислительную технику в производстве, экономике, инженерных расчетах и заинтересованного в адекватном представлении о возможностях вычислительных автоматов.
Доп.точки доступа:
Таланов, В. А.
1426.
Подробнее
Большакова, Л. В.
Теория вероятностей : учебное пособие / Большакова Л. В. - Москва : Ай Пи Ар Медиа, 2025. - 197 с. - ISBN 978-5-4497-3957-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
вероятность -- комбинаторика -- случайная величина -- случайное событие -- теория вероятностей
Аннотация: В учебном пособии даны основные понятия и утверждения теории вероятностей, рассмотрены случайные события и их вероятности, случайные величины и законы их распределения. Краткое и простое изложение теории сопровождается большим количеством задач, в том числе экономического содержания, с подробным решением. Предлагается достаточное количество задач для самостоятельного решения, к которым даны ответы. Учебное пособие составлено с учетом требований Федерального государственного образовательного стандарта высшего образования по экономическим специальностям. Предназначено для студентов, обучающихся по укрупнённой группе специальностей и направлений подготовки «Экономика и управление», изучающих дисциплины «Математика» и «Теория вероятностей и математическая статистика». Будет полезно для студентов, аспирантов и преподавателей вузов экономического и гуманитарного направления при изучении дисциплин «Прикладная математика», «Математика и информатика», «Эконометрика» и др. Кроме этого, пособие может также служить справочным материалом для аспирантов любых направлений (в том числе и юридических), практических работников, менеджеров и экономистов. Может использоваться для студентов инженерно-технических специальностей в качестве начального курса.
Большакова, Л. В.
Теория вероятностей : учебное пособие / Большакова Л. В. - Москва : Ай Пи Ар Медиа, 2025. - 197 с. - ISBN 978-5-4497-3957-5 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
вероятность -- комбинаторика -- случайная величина -- случайное событие -- теория вероятностей
Аннотация: В учебном пособии даны основные понятия и утверждения теории вероятностей, рассмотрены случайные события и их вероятности, случайные величины и законы их распределения. Краткое и простое изложение теории сопровождается большим количеством задач, в том числе экономического содержания, с подробным решением. Предлагается достаточное количество задач для самостоятельного решения, к которым даны ответы. Учебное пособие составлено с учетом требований Федерального государственного образовательного стандарта высшего образования по экономическим специальностям. Предназначено для студентов, обучающихся по укрупнённой группе специальностей и направлений подготовки «Экономика и управление», изучающих дисциплины «Математика» и «Теория вероятностей и математическая статистика». Будет полезно для студентов, аспирантов и преподавателей вузов экономического и гуманитарного направления при изучении дисциплин «Прикладная математика», «Математика и информатика», «Эконометрика» и др. Кроме этого, пособие может также служить справочным материалом для аспирантов любых направлений (в том числе и юридических), практических работников, менеджеров и экономистов. Может использоваться для студентов инженерно-технических специальностей в качестве начального курса.
1427.
Подробнее
Седова, Н. А.
Теория ориентированных графов : учебное пособие / Седова Н. А. - Москва : Ай Пи Ар Медиа, 2025. - 77 с. - ISBN 978-5-4497-3826-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
дискретная математика -- матрица инцидентности -- матрица смежности -- матричное представление -- ориентированное ребро -- ориентированный граф -- представление орграфа -- теоретико-множественное представление -- теория графов -- цикл эйлера
Аннотация: Учебное пособие содержит лекционные материалы с 18 примерами для изучения раздела (модуля) «Теория ориентированных графов» дисциплины «Дискретная математика» и состоит из шести различных тем, 35 разобранных практических задач, 47 вопросов для повторения изученного материала, а также упражнения для самостоятельного решения для 32 графов, указанных в приложении настоящего учебного пособия. Упражнение для самостоятельного решения состоит из 18 заданий. Такая структура позволит студенту, изучившему теоретическую часть, получить индивидуальный вариант ориентированного графа для выполнения заданий для самостоятельного решения, а преподавателю — сформировать различные индивидуальные задания для контроля усвоения настоящего раздела. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта высшего образования. Предназначено для студентов укрупненных групп направлений подготовки и специальностей «Информатика и вычислительная техника», «Электроника, радиотехника и системы связи». изучающих дисциплины «Теория графов», «Дискретная математика». Кроме того, учебное пособие будет полезно студентам других специальностей и направлений подготовки, изучающих данные дисциплины.
Доп.точки доступа:
Седов, В. А.
Седова, Н. А.
Теория ориентированных графов : учебное пособие / Седова Н. А. - Москва : Ай Пи Ар Медиа, 2025. - 77 с. - ISBN 978-5-4497-3826-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
дискретная математика -- матрица инцидентности -- матрица смежности -- матричное представление -- ориентированное ребро -- ориентированный граф -- представление орграфа -- теоретико-множественное представление -- теория графов -- цикл эйлера
Аннотация: Учебное пособие содержит лекционные материалы с 18 примерами для изучения раздела (модуля) «Теория ориентированных графов» дисциплины «Дискретная математика» и состоит из шести различных тем, 35 разобранных практических задач, 47 вопросов для повторения изученного материала, а также упражнения для самостоятельного решения для 32 графов, указанных в приложении настоящего учебного пособия. Упражнение для самостоятельного решения состоит из 18 заданий. Такая структура позволит студенту, изучившему теоретическую часть, получить индивидуальный вариант ориентированного графа для выполнения заданий для самостоятельного решения, а преподавателю — сформировать различные индивидуальные задания для контроля усвоения настоящего раздела. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта высшего образования. Предназначено для студентов укрупненных групп направлений подготовки и специальностей «Информатика и вычислительная техника», «Электроника, радиотехника и системы связи». изучающих дисциплины «Теория графов», «Дискретная математика». Кроме того, учебное пособие будет полезно студентам других специальностей и направлений подготовки, изучающих данные дисциплины.
Доп.точки доступа:
Седов, В. А.
1428.
Подробнее
Кошевой, О. С.
Эконометрика : учебное пособие / Кошевой О. С. - Москва : Ай Пи Ар Медиа, 2025. - 83 с. - ISBN 978-5-4497-3460-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 65.051
Кл.слова (ненормированные):
одновременное уравнение -- регрессия -- ряд динамики -- эконометрика -- эконометрическая модель
Аннотация: В учебном пособии приведен теоретический материал и показаны практические расчетные примеры по базовым темам эконометрики: модели регрессии, ряды динамики, динамические эконометрические модели, системы одновременных уравнений. Подготовлено с учетом требований Федерального государственного образовательного стандарта высшего образования. Предназначено для бакалавров, обучающихся по укрупненной группе специальностей и направлений подготовки высшего образования «Экономика и управление» и изучающих дисциплину «Эконометрика».
Доп.точки доступа:
Некрылова, Н. В.
Кошевой, О. С.
Эконометрика : учебное пособие / Кошевой О. С. - Москва : Ай Пи Ар Медиа, 2025. - 83 с. - ISBN 978-5-4497-3460-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
одновременное уравнение -- регрессия -- ряд динамики -- эконометрика -- эконометрическая модель
Аннотация: В учебном пособии приведен теоретический материал и показаны практические расчетные примеры по базовым темам эконометрики: модели регрессии, ряды динамики, динамические эконометрические модели, системы одновременных уравнений. Подготовлено с учетом требований Федерального государственного образовательного стандарта высшего образования. Предназначено для бакалавров, обучающихся по укрупненной группе специальностей и направлений подготовки высшего образования «Экономика и управление» и изучающих дисциплину «Эконометрика».
Доп.точки доступа:
Некрылова, Н. В.
1429.
Подробнее
Яроцкая, Е. В.
Экономико-математические методы и моделирование : учебное пособие / Яроцкая Е. В. - Москва : Ай Пи Ар Медиа, 2025. - 196 с. - ISBN 978-5-4497-3855-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.18
Кл.слова (ненормированные):
графическая интерпретация -- линейное программирование -- математическая формализация -- моделирование -- решение задач -- теория игр -- экономико-математическая модель -- экономико-математический метод
Аннотация: В учебном пособии изложены основные вопросы экономико-математических методов и моделирования. Рассмотрены методы линейного программирования, а также основы теории игр в части задач выбора наилучших стратегий в условиях неопределенности и рисков. Содержит большое количество контрольных вопросов по каждому разделу пособия, а также индивидуальные задания для самостоятельной работы и текущего контроля. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта высшего образования, предъявляемыми к изучению дисциплины «Экономико-математические методы и моделирование». Предназначено для студентов, обучающихся по укрупненным группам направлений подготовки и специальностей «Информатика и вычислительная техника», «Прикладная геология, горное дело, нефтегазовое дело и геодезия», «Экономика и управление», а также для магистрантов, аспирантов, преподавателей, использующих в своих исследованиях экономико-математические методы и модели.
Яроцкая, Е. В.
Экономико-математические методы и моделирование : учебное пособие / Яроцкая Е. В. - Москва : Ай Пи Ар Медиа, 2025. - 196 с. - ISBN 978-5-4497-3855-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
графическая интерпретация -- линейное программирование -- математическая формализация -- моделирование -- решение задач -- теория игр -- экономико-математическая модель -- экономико-математический метод
Аннотация: В учебном пособии изложены основные вопросы экономико-математических методов и моделирования. Рассмотрены методы линейного программирования, а также основы теории игр в части задач выбора наилучших стратегий в условиях неопределенности и рисков. Содержит большое количество контрольных вопросов по каждому разделу пособия, а также индивидуальные задания для самостоятельной работы и текущего контроля. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта высшего образования, предъявляемыми к изучению дисциплины «Экономико-математические методы и моделирование». Предназначено для студентов, обучающихся по укрупненным группам направлений подготовки и специальностей «Информатика и вычислительная техника», «Прикладная геология, горное дело, нефтегазовое дело и геодезия», «Экономика и управление», а также для магистрантов, аспирантов, преподавателей, использующих в своих исследованиях экономико-математические методы и модели.
1430.
Подробнее
Верещагин, Н. К.
Языки и исчисления : учебное пособие / Верещагин Н. К. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2025. - 278 с. - ISBN 978-5-4497-0924-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
выразимость -- исчисление -- логика высказывания -- математическая логика -- разрешимая теория -- теория моделей
Аннотация: В учебном пособии рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Издание включает в себя около 200 задач различной трудности. Предназначено для студентов, обучающихся по направлениям подготовки и специальностям, учебными планами которых предусмотрено изучение основ математической логики.
Доп.точки доступа:
Шень, А. Х.
Верещагин, Н. К.
Языки и исчисления : учебное пособие / Верещагин Н. К. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2025. - 278 с. - ISBN 978-5-4497-0924-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
выразимость -- исчисление -- логика высказывания -- математическая логика -- разрешимая теория -- теория моделей
Аннотация: В учебном пособии рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Издание включает в себя около 200 задач различной трудности. Предназначено для студентов, обучающихся по направлениям подготовки и специальностям, учебными планами которых предусмотрено изучение основ математической логики.
Доп.точки доступа:
Шень, А. Х.
Беті 143, Нәтижелерін: 1563