VSAU
Electronic Library

Electronic Documents Search

Documents found: 6

Words statistics: !разрешимость: 23

Курс высшей математики. Интегральное исчисление. Функции нескольких переменных. Дифференциальные уравнения. Лекции и практикум. — 2-е изд.,стер.

Creators:	Петрушко И. М.
Imprint:	Санкт-Петербург: Лань, 2022
Collection:	ЭБС "Лань"
Subjects:	бернулли; вронскиан; высшая математика; дифференциал; дифференциальные уравнения; длина; дробь; дуга; изоклины; интеграл; интегралы формула грина теорема гаусса-остроградского формула стокса; интегральное исчисление; интегрирование; иррациональность; касательная; комплексное; кривая; лагранжа; лейбница; ляпунов; максимум; математика высшая; метод; минимум; многочлен; неопределенный; несобственный; нормаль; ньютона; объем; оду; определенный; плоскость; площадь; поверхность; предел; производная; разрешимость; рациональная; тейлора; уравнения дифференциальные; устойчивость; учебник и пособие *; формула; формула ньютона-лейбница формула тейлора; функции нескольких переменных; частная; число; эйлера; экстремум

предел. производная. разрешимость. рациональная. тейлора.

key://localhost/RU\VSAU\weblan\210140

Creators:	Петрушко И. М.
Imprint:	Санкт-Петербург: Лань, 2022
Collection:	ЭБС "Лань"
Subjects:	бернулли; вронскиан; высшая математика; дифференциал; дифференциальные уравнения; длина; дробь; дуга; изоклины; интеграл; интегралы формула грина теорема гаусса-остроградского формула стокса; интегральное исчисление; интегрирование; иррациональность; касательная; комплексное; кривая; лагранжа; лейбница; ляпунов; максимум; математика высшая; метод; минимум; многочлен; неопределенный; несобственный; нормаль; ньютона; объем; оду; определенный; плоскость; площадь; поверхность; предел; производная; разрешимость; рациональная; тейлора; уравнения дифференциальные; устойчивость; учебник и пособие *; формула; формула ньютона-лейбница формула тейлора; функции нескольких переменных; частная; число; эйлера; экстремум

предел. производная. разрешимость. рациональная. тейлора.

key://localhost/RU\VSAU\weblan\210140

Дискретная математика для инженера. — 6-е изд., стер.

Creators:	Кузнецов О. П.
Imprint:	Санкт-Петербург: Лань, 2022
Collection:	ЭБС "Лань"
Subjects:	математика для инженера; дискретная математика; автоматы; автоматы (матем); алгебра; алгебра логики; алгебра логика теория графов теория алгоритмов; алгебра теории алгоритмов математическая логика; алгоритмов теория; алгоритмы; алгоритмы теория; булева алгебра; введение в логику; вычислимость; грамматики (матем); графы; исчисления логические; логика; логика введение; математика; математическая логика; множества; общая алгебра; отношения; предикатов исчисление; предикаты логика язык; разрешимость; сложности вычислений; теория автоматов; теория алгоритмов; тьюринга машина; учебники для вузов; формальные системы; функции; функция логическая; функция рекурсивная; элементы общей алгебры; языки; языки (матем)

предикатов исчисление. предикаты логика язык. разрешимость. сложности вычислений. теория автоматов.

key://localhost/RU\VSAU\weblan\210278

Дискретная математика для инженера. — 6-е изд., стер.

Creators:	Кузнецов О. П.
Imprint:	Санкт-Петербург: Лань, 2022
Collection:	ЭБС "Лань"
Subjects:	математика для инженера; дискретная математика; автоматы; автоматы (матем); алгебра; алгебра логики; алгебра логика теория графов теория алгоритмов; алгебра теории алгоритмов математическая логика; алгоритмов теория; алгоритмы; алгоритмы теория; булева алгебра; введение в логику; вычислимость; грамматики (матем); графы; исчисления логические; логика; логика введение; математика; математическая логика; множества; общая алгебра; отношения; предикатов исчисление; предикаты логика язык; разрешимость; сложности вычислений; теория автоматов; теория алгоритмов; тьюринга машина; учебники для вузов; формальные системы; функции; функция логическая; функция рекурсивная; элементы общей алгебры; языки; языки (матем)

предикатов исчисление. предикаты логика язык. разрешимость. сложности вычислений. теория автоматов.

key://localhost/RU\VSAU\weblan\210278

Математическая логика. Курс лекций. Задачник-практикум и решения. — 4-е изд., стер.

Creators:	Лихтарников Л. М.; Сукачева Т. Г.
Imprint:	Санкт-Петербург: Лань, 2022
Collection:	ЭБС "Лань"
Subjects:	математическая логика; учебное пособие; алгоритм; алгебра логики; курс лекций; задачник; аксиома логическая; алгебра; алгоритмы; буля; буля алгебра; вычислимая; геделя; двойственность; двойственность закон; дедукция теорема; дизъюнктивная; доказуемость; задачи; задачи решения; закон; исчисление высказываний; исчисление аксиоматическое; исчисления высказываний; конъюнктивная; курсы лекций; логика; логика предикатов; математика; математика логика; математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи; математические теории; машина; операция логическая; разрешимость; рекурсивная; решение задач; тавтология; терма; тьюринга; тьюринга машина; учебник и пособие; учебные пособия; форма дизъюнктивная; формула доказуемая; функция; функция вычислимая; функция рекурсивная

машина. операция логическая. разрешимость. рекурсивная. решение задач.

key://localhost/RU\VSAU\weblan\210281