Головна Спрощенний режим Опис
Авторизація
Прізвище
Пароль
 

Бази даних


IPRbooks книги- результати пошуку

Вид пошуку

Зона пошуку
у знайденому
 Знайдено у інших БД:Каталог книг (743)Труды преподавателей (16)Каталог редких книг (6)Каталог статей (294)IPRbooks периодика (2)Межвузовская электронная библиотека (47)ФЭРУ (2)
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>K=алгебра<.>
Загальна кількість знайдених документів : 391
Показані документи с 1 за 20
 1-20    21-40   41-60   61-80   81-100   101-120      
1.
83654

    Горюшкин, А. П.
    Математика [Електронний ресурс] : учебное пособие / Горюшкин А. П. - Саратов : Ай Пи Эр Медиа, 2019. - 824 с. - ISBN 978-5-4486-0735-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.1

Кл.слова (ненормовані):
алгебра -- бинарное отношение -- геометрия -- математика -- множество -- уравнение -- числовая функция
Анотація: В учебном пособии «Математика» впервые в учебной литературе в полной мере реализована концепция изучения системы целых неотрицательных чисел — основного понятия начального курса математики — как мощности конечного множества. Такой подход наиболее близок историческому развитию и изложению понятия числа в школьном курсе математики. В пособии систематизировано излагаются теоретические основы начального курса математики с учетом содержательной специфики преподавания ее в начальной школе и как базы для развития профессиональных и специальных компетенций. Первые главы пособия посвящены логическому обоснованию математики. Во второй части строится (сначала как теоретико-множественная модель, и лишь затем с помощью аксиоматики) важнейший объект начального курса математики — система целых неотрицательных чисел. Действительные числа для начального курса математики представляют интерес, в первую очередь, как величины, в том числе и геометрические. Свойства системы действительных чисел и понятие величины обсуждаются вместе с элементами геометрии в третьей части учебной книги. Подготовлено в полном соответствии с требованиями Федерального государственного образовательного стандарта высшего образования по направлению подготовки бакалавров 44.03.01 «Педагогическое образование», профиль «Начальное образование». Материал учебного пособия имеет ярко выраженную профессионально-педагогическую направленность, и поэтому пособие представляет интерес для учителей и учащихся средних школ, гимназий и лицеев.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Дод.точки доступу:
Водинчара, М. И. \ред.\
Вільних прим. немає
Знайти схожі

2.
83278

    Акинина, Ю. С.
    Теория автоматов [Електронний ресурс] : учебное пособие / Акинина Ю. С. - Саратов : Ай Пи Эр Медиа, 2019. - 192 с. - ISBN 978-5-4486-0484-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.18

Кл.слова (ненормовані):
абстрактный автомат -- алгебра логики -- граф автомата -- двухтактный триггер -- математическая модель -- микропрограммный автомат -- модель мили -- модель мура -- мультиплексор -- теория автоматов
Анотація: В пособии рассматриваются основные задачи теории автоматов; различные словесные определения автоматов и их формальная классификация; математические и структурные модели типовых автоматов; способы задания абстрактных и структурных автоматов. Изложены математические основы алгебры логики, некоторые понятия и определения, дающие возможность формального описания логических преобразователей (комбинационных автоматов), которые являются основой всех конечных автоматов, включая последовательностные (автоматы с памятью). Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта высшего образования. Предназначено для изучения дисциплины «Теория автоматов» по направлению подготовки высшего образования 09.03.01 «Информатика и вычислительная техника». Кроме того, учебное пособие будет полезно студентам других специальностей и направлений, изучающих данную дисциплину.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Дод.точки доступу:
Тюрин, С. В.
Вільних прим. немає
Знайти схожі

3.
83661

    Горюшкин, А. П.
    Элементы абстрактной и компьютерной алгебры [Електронний ресурс] : учебное пособие / Горюшкин А. П. - Саратов : Ай Пи Эр Медиа, 2019. - 867 с. - ISBN 978-5-4486-0712-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.1

Кл.слова (ненормовані):
maple -- абстрактная алгебра -- абстрактная группа -- кольцо подстановки, -- компьютерная алгебра -- математическая программа
Анотація: Учебное пособие по дисциплине «Элементы абстрактной и компьютерной алгебры» представляет собой систематическое изложение фундаментальных фактов классической алгебры с краткими, но полными доказательствами и с демонстрацией методики компьютерного изучения таких объектов. В качестве машинного пакета математических программ выбран наиболее приспособленный для обработки символьных данных пакет компьютерных математических программ Maple. Представлены все основные задачи, связанные с машинным исследованием групп подстановок, абстрактных групп, кольца целых чисел и его гомоморфных образов, а так же колец многочленов от одного и нескольких переменных. В учебном пособии учтено, что для некоторых направлений бакалавриата встреча студентов с абстрактной алгеброй впервые происходит именно в этой дисциплине. Для таких новичков в алгебре все абстрактные положения проиллюстрированы наглядными авторскими схемами и диаграммами. Теоретические основы курса излагаются с учетом содержательной специфики преподавания информатики в средней школе и как базы для развития профессиональных и специальных компетенций. Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта высшего образования по направлению подготовки бакалавров 44.03.01 «Педагогическое образование», профиль «Информатика». Материал учебного пособия имеет ярко выраженную профессионально-педагогическую направленность, и поэтому пособие представляет интерес для учителей математики и информатики и учащихся средних школ, гимназий и лицеев.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Дод.точки доступу:
Горюшкин, В. А.; Шевцова, Б. М. \ред.\
Вільних прим. немає
Знайти схожі

4.
75368

    Лиманова, Н. И.
    Архитектура вычислительных систем и компьютерных сетей [Електронний ресурс] : учебное пособие / Лиманова Н. И. - Самара : Поволжский государственный университет телекоммуникаций и информатики, 2017. - 197 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 32.973

Кл.слова (ненормовані):
алгебра логики -- архитектура эвм -- вычислительная система -- кодирование данных -- компьютерная сеть -- конфигурация сети -- локальная сеть -- микропроцессор -- сетевой протокол
Анотація: Учебное пособие предназначено для студентов и аспирантов, обучающихся по техническим направлениям подготовки и соответствует Государственному стандарту РФ. Пособие содержит сведения об эволюции вычислительной техники от ENIAC и БЭСМ до современных кластеров и суперкомпьютеров. Подробно рассмотрены арифметические и логические основы организации вычислительных систем, различные типы процессоров и многопроцессорные системы. Описаны принципы организации памяти и ввода/вывода в вычислительных системах. Рассмотрены основные типы архитектур вычислительных систем и сетевые архитектуры.

Перейти к внешнему ресурсу: Перейти к просмотру издания
Вільних прим. немає
Знайти схожі

5.
75370

    Рогова, Н. В.
    Вычислительная математика [Електронний ресурс] : учебное пособие / Рогова Н. В. - Самара : Поволжский государственный университет телекоммуникаций и информатики, 2017. - 167 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.1

Кл.слова (ненормовані):
вычислительная математика -- вычислительный метод -- интерполяционная формула -- линейная алгебра -- метод гаусса -- нелинейное уравнение -- округление числа -- относительная погрешность -- полиномиальная интерполяция -- численное дифференцирование
Анотація: Учебное пособие затрагивает такие разделы вычислительной математики как методы теории приближения функций; численное дифференцирование и интегрирование; методы решения задач линейной алгебры, нелинейных уравнений, содержит ряд инженерных задач с акцентом на программную реализацию методов вычислительной математики. Предназначено в качестве учебного пособия для студентов направления подготовки 02.03.03 - Математическое обеспечение и администрирование информационных систем. По дисциплине «Вычислительная математика», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать вычислительную математику самостоятельно. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Дод.точки доступу:
Рычков, В. А.
Вільних прим. немає
Знайти схожі

6.
75371

    Блатов, И. А.
    Вычислительная математика [Електронний ресурс] : учебное пособие / Блатов И. А. - Самара : Поволжский государственный университет телекоммуникаций и информатики, 2017. - 205 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.1

Кл.слова (ненормовані):
вычисление производной -- вычислительная математика -- вычислительная погрешность -- линейная алгебра -- нелинейное уравнение -- оценка погрешности -- погрешность функции -- численное дифференцирование -- численное интегрирование
Анотація: Учебное пособие затрагивает такие разделы вычислительной математики как методы теории приближения функций; численное дифференцирование и интегрирование; методы решения задач линейной алгебры, нелинейных уравнений. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Информационные системы и технологии», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать вычислительную математику самостоятельно. Пособие содержит ряд инженерных задач с акцентом на программную реализацию методов вычислительной математики. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Дод.точки доступу:
Старожилова, О. В.
Вільних прим. немає
Знайти схожі

7.
75372

    Рогова, Н. В.
    Дискретная математика [Електронний ресурс] : учебное пособие / Рогова Н. В. - Самара : Поволжский государственный университет телекоммуникаций и информатики, 2017. - 143 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.1

Кл.слова (ненормовані):
булева алгебра -- дискретная математика -- задача фибоначчи -- комбинаторика -- логическая функция -- полином жегалкина -- полиномиальная формула -- теория графов -- теория множеств -- треугольник паскаля
Анотація: Учебное пособие затрагивает такие разделы дискретной математики как: теория множеств, отношения и переключательные функции, булева алгебра, комбинаторика, теория графов. Темы образуют единый методически взаимосвязанный курс. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Информационные системы и технологии» по дисциплине «Дискретная математика», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать дискретную математику самостоятельно. Каждый раздел содержит большое количество разобранных задач и примеров.

Перейти к внешнему ресурсу: Перейти к просмотру издания
Вільних прим. немає
Знайти схожі

8.
71276

    Пастухов, Д. И.
    Интегральное исчисление функции одной переменной (неопределенный интеграл) [Електронний ресурс] : учебное пособие / Пастухов Д. И. - Оренбург : Оренбургский государственный университет, ЭБС АСВ, 2017. - 101 с. - ISBN 978-5-7410-1783-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.1

Кл.слова (ненормовані):
алгебра -- анализ -- интеграл -- математика -- метод
Анотація: В учебном пособии рассматриваются определение неопределенного интеграла, методы интегрирования. В каждом разделе изложен теоретический материал, который является основой при решении типовых задач. Учебное пособие предназначено для обучающихся по направлениям подготовки 01.03.04 «Прикладная математика», 01.03.02 «Прикладная математика и информатика», 38.03.01 «Экономика», 05.03.02 «География», 06.03.01 «Биология», 03.03.03 «Радиофизика» и 04.03.01 «Химия».

Перейти к внешнему ресурсу: Перейти к просмотру издания

Дод.точки доступу:
Кулиш, Н. В.
Вільних прим. немає
Знайти схожі

9.
71018

    Кузнецов, Б. Т.
    Математика [Електронний ресурс] : учебник для студентов вузов, обучающихся по специальностям экономики и управления / Кузнецов Б. Т. - Москва : ЮНИТИ-ДАНА, 2017. - 719 с. - ISBN 5-238-00754-X : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.1

Кл.слова (ненормовані):
алгебра -- геометрия -- математика -- статистика -- теория вероятности -- управление -- финансы -- экономика
Анотація: Учебник подготовлен в соответствии с Государственным образовательным стандартом высшего профессионального образования по специальностям экономики и управления. В учебнике в систематизированном виде рассмотрены вопросы линейной алгебры с элементами аналитической геометрии, основы теории вероятностей, математической статистики и финансовой математики, а также основные экономико-математические методы и модели. Рассмотрение теоретических вопросов сопровождается большим количеством задач и примеров. Для студентов вузов, обучающихся по специальностям экономики и управления, аспирантов, преподавателей, а также специалистов по прикладной экономике и финансам.

Перейти к внешнему ресурсу: Перейти к просмотру издания
Вільних прим. немає
Знайти схожі

10.
65863

    Ахметгалиева, В. Р.
    Математика. Линейная алгебра [Електронний ресурс] : учебное пособие / Ахметгалиева В. Р. - Москва : Российский государственный университет правосудия, 2017. - 60 с. - ISBN 978-5-93916-552-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.1

Кл.слова (ненормовані):
задача -- колледж -- линейная алгебра -- математика -- решение -- студент -- теория
Анотація: Пособие содержит теоретический материал, контрольные вопросы, решения типовых задач, задачи для решения на занятии и самостоятельной работе, контрольные и тестовые задания по разделу «Линейная алгебра» дисциплины «Математика». Предназначено для студентов колледжа, обучающихся по направлению подготовки 21.02.05 «Земельно-имущественные отношения», для студентов колледжа, обучающихся по направлению подготовки 40.02.01 «Право и организация социального обеспечения» и студентов, обучающихся по направлению подготовки 38.03.02 «Менеджмент».

Перейти к внешнему ресурсу: Перейти к просмотру издания

Дод.точки доступу:
Галяутдинова, Л. Р.; Галяутдинов, М. И.
Вільних прим. немає
Знайти схожі

11.
80465

    Феоктистов, Ю. А.
    Математика. Практикум [Електронний ресурс] : учебное пособие для студентов 1-го курса направления 08.03.01 - «Строительство» / Феоктистов Ю. А. - Белгород : Белгородский государственный технологический университет им. В.Г. Шухова, ЭБС АСВ, 2017. - 86 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.1

Кл.слова (ненормовані):
алгебра -- задача -- математика -- практикум -- решение -- теория
Анотація: Учебное пособие подготовлено на основе рабочей программы кафедры высшей математики БГТУ им. В. Г. Шухова и соответствует федеральному государственному образовательному стандарту высшего образования по дисциплине «Математика» и написано с учетом современных требований к преподаванию математики. Книга содержит краткое изложение основных теоретических сведений и примеры решения типовых задач по линейной и векторной алгебре, аналитической геометрии, пределам и производной функции. Издание предназначено для студентов всех форм обучения направления 08.03.01 - «Строительство» и может быть использовано студентами других технических специальностей. Учебное издание публикуется в авторской редакции

Перейти к внешнему ресурсу: Перейти к просмотру издания
Вільних прим. немає
Знайти схожі

12.
79330

    Александровская, Ю. П.
    Многомерный статистический анализ в экономике [Електронний ресурс] : учебное пособие / Александровская Ю. П. - Казань : Казанский национальный исследовательский технологический университет, 2017. - 96 с. - ISBN 978-5-7882-2191-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 65.051

Кл.слова (ненормовані):
кластерный анализ -- компонентный анализ -- матричная алгебра -- многомерная классификация -- статистический анализ -- факторный анализ -- экономика
Анотація: Рассмотрены теоретические и практические вопросы многомерного статистического анализа. Каждая тема наряду с теоретическим материалом содержит методические рекомендации по выполнению лабораторной работы. Предназначено для студентов, обучающихся по направлению «Экономика». Подготовлено на кафедре бизнес-статистики и математических методов в экономике.

Перейти к внешнему ресурсу: Перейти к просмотру издания
Вільних прим. немає
Знайти схожі

13.
78815

    Казакова, О. Н.
    Практикум по линейной и тензорной алгебре [Електронний ресурс] : учебное пособие / Казакова О. Н. - Оренбург : Оренбургский государственный университет, ЭБС АСВ, 2017. - 117 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.1

Кл.слова (ненормовані):
евклидово пространство -- линейная алгебра -- линейное пространство -- матрица -- тензорная алгебра
Анотація: Данное учебное пособие предназначено для обучающихся по программам высшего образования на направлениях подготовки физического факультета 03.03.02 Физика и 03.03.03 Радиофизика. Пособие также может быть использовано для организации самостоятельной и индивидуальной работ студентов заочной и индивидуальной форм обучения различных направлений и специальностей подготовки. Оно содержит краткие теоретические сведения, вопросы для самоконтроля, примеры решения типовых задач, индивидуальные задания, списки используемой и рекомендуемой литературы.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Дод.точки доступу:
Фомина, Т. А.; Харитонова, С. В.; Рустанов, А. Р.
Вільних прим. немає
Знайти схожі

14.
75412

    Блатов, И. А.
    Теория вероятностей и математическая статистика [Електронний ресурс] : учебное пособие / Блатов И. А. - Самара : Поволжский государственный университет телекоммуникаций и информатики, 2017. - 276 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.1

Кл.слова (ненормовані):
алгебра событий -- булева алгебра -- комбинаторика -- математическая статистика -- регрессионный анализ -- статистическая вероятность -- статистическая оценка -- теория вероятностей -- условная вероятность
Анотація: Учебное пособие затрагивает такие разделы теории вероятностей и математической статистики как: булева алгебра, регрессионный анализ, статистические оценки. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Информационные системы и технологии», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать теорию вероятностей и математическую статистику самостоятельно. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Дод.точки доступу:
Старожилова, О. В.
Вільних прим. немає
Знайти схожі

15.
76070

    Гулай, Т. А.
    Элементы линейной алгебры [Електронний ресурс] : учебное пособие / Гулай Т. А. - Ставрополь : Ставропольский государственный аграрный университет, Сервисшкола, 2017. - 88 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.1

Кл.слова (ненормовані):
алгебра -- задача -- математика -- пример -- решение -- число
Анотація: Учебное пособие входит в серию методических разработок, призванных способствовать овладению студентами теоретическими основами материала и появлению у них навыков решения задач по основным разделам линейной алгебры.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Дод.точки доступу:
Долгополова, А. Ф.; Жукова, В. А.; Мелешко, С. В.; Невидомская, И. А.
Вільних прим. немає
Знайти схожі

16.
52180

    Михалев, А. А.
    Алгебра матриц и линейные пространства [Електронний ресурс] : учебное пособие / Михалев А. А. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 145 с. - ISBN 5-9556-0038-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.14

Кл.слова (ненормовані):
алгебраическая структура -- высшая алгебра -- высшая математика -- геометрия -- комплексное число -- линейная алгебра -- линейное пространство -- линейное уравнение -- матрица -- определитель матрицы -- учебное пособие
Анотація: В курсе рассматриваются основные свойства алгебры матриц, определители и свойства линейных пространств. Приводятся методы вычисления определителей, способы умножения матриц. Рассмотрена теорема Гамильтона-Кэли. Даются базовые понятия проективной геометрии, собственных чисел и собственных векторов.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Дод.точки доступу:
Михалев, А. В.
Вільних прим. немає
Знайти схожі

17.
62810

    Петров, И. Б.
    Введение в вычислительную математику [Електронний ресурс] : учебное пособие / Петров И. Б. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 352 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.19

Кл.слова (ненормовані):
вычислительная математика -- дифференциальное уравнение -- линейная алгебра -- математический анализ -- учебное пособие -- частная производная -- численный метод
Анотація: В курсе лекций рассматриваются основные понятия и методы вычислительной математики. Курс содержит как лекции, посвященные классическим численным методам анализа и линейной алгебры, так и решению дифференциальных уравнений.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Дод.точки доступу:
Лобанов, А. И.
Вільних прим. немає
Знайти схожі

18.
62811

    Панкратьев, Е. В.
    Введение в компьютерную алгебру [Електронний ресурс] : учебное пособие / Панкратьев Е. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 324 с. - ISBN 978-5-9556-0099-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.144

Кл.слова (ненормовані):
алгоритм -- дифференциальный многочлен -- компьютерная алгебра -- символьное вычисление -- учебное пособие -- целое число
Анотація: Курс посвящён описанию основных структур данных и алгоритмов, применяемых в символьных вычислениях на ЭВМ. В курсе затрагивается широкий круг вопросов, связанных с вычислениями в кольцах целых чисел, многочленов и дифференциальных многочленов.

Перейти к внешнему ресурсу: Перейти к просмотру издания
Вільних прим. немає
Знайти схожі

19.
79318

    Никонова, Г. А.
    Математика. Теория и практика [Електронний ресурс] : учебное пособие / Никонова Г. А. - Казань : Казанский национальный исследовательский технологический университет, 2016. - 234 с. - ISBN 978-5-7882-1999-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.1

Кл.слова (ненормовані):
аналитическая геометрия -- векторная алгебра -- линейная алгебра -- математика -- математический анализ -- функция
Анотація: Пособие содержит теоретические сведения и прикладные задачи по разделам: линейная алгебра, векторная алгебра, аналитическая геометрия, математический анализ. Предназначено для студентов, изучающих дисциплину «Математика». Подготовлено на кафедре высшей математики.

Перейти к внешнему ресурсу: Перейти к просмотру издания

Дод.точки доступу:
Никонова, Н. В.
Вільних прим. немає
Знайти схожі

20.
72121

    Перемитина, Т. О.
    Математическая логика и теория алгоритмов [Електронний ресурс] : учебное пособие / Перемитина Т. О. - Томск : Томский государственный университет систем управления и радиоэлектроники, 2016. - 132 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
ББК 22.1

Кл.слова (ненормовані):
алгебра -- алгоритм -- булева функция -- математическая логика -- предикат
Анотація: В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов».

Перейти к внешнему ресурсу: Перейти к просмотру издания
Вільних прим. немає
Знайти схожі

 1-20    21-40   41-60   61-80   81-100   101-120      
 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)