VSAU
Electronic Library

Electronic Documents Search

Documents found: 9

Words statistics: !двойственность: 328

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

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

двойственность закон. дедукция теорема. дизъюнктивная.

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

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

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

двойственность закон. дедукция теорема. дизъюнктивная.

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

Исследование операций

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

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

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

Исследование операций

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

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

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

Двойственные задачи и их применение: учебное пособие для студентов землеустроительного факультета

Creators:	Курносов А. П.; Подтележников В. П.; Буховец А. Г.
Organization:	Воронежский сельскохозяйственный институт
Imprint:	Воронеж, 1984
Subjects:	ДВОЙСТВЕННЫЕ ЗАДАЧИ; ЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ; ПОКАЗАТЕЛЬ ДВОЙСТВЕННОСТИ; ДВОЙСТВЕННОСТЬ; экономический факультет; кафедра экономической кибернетики и планирования; РИНЦ
Document type:	Tutorial

Буховец А. Г. Воронежский сельскохозяйственный институт. Воронеж, 1984. ДВОЙСТВЕННЫЕ ЗАДАЧИ. ЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ. ПОКАЗАТЕЛЬ ДВОЙСТВЕННОСТИ. ДВОЙСТВЕННОСТЬ. экономический факультет. кафедра экономической кибернетики и планирования.

Основы методов оптимизации. — 4-е изд., стер.

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

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

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

Основы методов оптимизации. — 4-е изд., стер.

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

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

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

Проектирование цифровых устройств

Creators:	Пухальский Г. И.; Новосельцева Т. Я.
Imprint:	Санкт-Петербург: Лань, 2022
Collection:	ЭБС "Лань"
Subjects:	altera; altera max+plus ii; cd-rom (приложение); max+plus ii; автогенератор; автомат; автомат линейный; автомат цифровой; автоматы; автоматы асинхронные; алгебра; алгебра логики; алгоритмы программирования; анализ и синтез логических схем; анализ логических схем; арифметические комбинационные схемы; арифметические комбинационные устройства; асинхронные автоматы; асинхронные импульсные автоматы; асинхронные импульсные триггеры; асинхронные потенциальные автоматы; асинхронные потенциальные счетчики; асинхронные потенциальные триггеры; бис; вейч; вейча диаграмма; вейча диаграммы; генератор; генераторы сигналов; графы переходов; гриф учебно-методического объединения; двоичные коды; двойственности закон; двойственность; демультиплексор; дешифратор; дешифраторы; диаграмма; диаграммы; диаграммы вейча; дизъюнктивная; дизъюнктивные термы; дополнительные коды; дополнительный код; ждущий; закон двойственности; импульсные автоматы; импульсные сигналы; импульсный; интегральная; интегральные схемы; каскадирование; код; код преобразователь; коды; комбинационная; комбинационные логические цепи; комбинационные схемы; компакт-диск (приложение); конвейерные цифровые устройства; конъюнктивная; конъюнктивные термы; линейные автоматы; линейные комбинационные схемы; линейный; логика; логические схемы; логические уравнения; логические устройства; логический; макстерма; макстермы; микропроцессоры; минимизация; минимизация переключательных функций; минтерма; минтермы; модели логических схем; модели логических элементов; мультивибратор; мультиплексные функции; мультиплексор; обнаружение и исправление ошибок; обратные коды; обратный код; операторные тождества; память; первичная; первичные термы; переключатели; переключательная; переключательные функции; переключательные функции теория; позиционные системы счисления; потенциальные сигналы; потенциальный; преобразователи кодов; преобразователь; принцип и закон двойственности; проектирование; проектирование устройств; проектирование цифровых систем; проектирование цифровых устройств; прямой код; прямые коды; радиоаапаратура; радиоэлектроника; разложения теорема; регистр; регистры; регистры памяти; рекомендовано умо; рефлексные коды; решение уравнений; ридиотехника; сдвигающие регистры; сдвигающий; сигнал; сигнал импульсный; синтез; синтез асинхронных автоматов; синтез комбинационных схем; синтез линейных автоматов; синтез логических схем; синтез синхронных автоматов; синтез синхроных автоматов; синтез систем; синхронные автоматы; синхронные счетчики; синхронные триггеры; синхронные тригеры; синхронный; системы логических уравнений; системы проектирования; системы счисления; скобочные формы функций; слау; совершенные нормальные формы представления функций; схема; схема комбинаторная; схема комбинационная; счетчик; счетчик потенциальный асинхронный; счетчик синхронный; счетчики асинхронные потенциальные; счетчики синхронные; счисления; таблицы переходов; теоремы; теоремы разложения; терма; терма первичная; термы; типовые комбинационные схемы; тождество операторное; триггер; триггеры; указатель интегральных схем; уравнение логическое; уравнения; учебник и пособие *; учебные издания для вузов; учебные пособия; учебные пособия для вузов; фазовращатель; формы функций; функции; функция; функция форма скобочная; цифровая техника; цифровая электроника; цифровой; цифровые автоматы; цифровые устройства; шифратор; шмитта; электроника и радиотехника; элемент; элементы памяти

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

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