VSAU
Electronic Library

Electronic Documents Search

Documents found: 26

1 2 3 Next

Words statistics: !алгебра: 3086, !логики: 12354

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

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

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

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

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

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

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

Вычислительная техника: учебное пособие для спо. — 3-е изд., стер.

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

электронно-вычислительная техника. алгебра логики. цифровые устройства. архитектура интерфейсов. программное обеспечение.

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

Вычислительная техника: учебное пособие для спо. — 3-е изд., стер.

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

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

Схемотехника измерительных устройств. — 2-е изд., стер.

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

Санкт-Петербург: Лань, 2022. Системы счисления. алгебра логики. триггеры. триггерные устройства.

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

Схемотехника измерительных устройств. — 2-е изд., стер.

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

Санкт-Петербург: Лань, 2022. Системы счисления. алгебра логики. триггеры. триггерные устройства.

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

Информатика. Ч. 1 и 2 : Информатика. Часть 1 и 2. Ч. 1 и 2: учебное пособие

Creators:	Иванов М. И.; Уткин Ю. Г.
Imprint:	Москва: РУТ (МИИТ), 2004
Collection:	ЭБС "Лань"
Subjects:	Информатика; архитектура компьютеров; двоичная арифметика; алгебра логики

Москва: РУТ (МИИТ), 2004. Информатика. архитектура компьютеров. двоичная арифметика. алгебра логики.

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

Информатика. Ч. 1 и 2 : Информатика. Часть 1 и 2. Ч. 1 и 2: учебное пособие

Creators:	Иванов М. И.; Уткин Ю. Г.
Imprint:	Москва: РУТ (МИИТ), 2004
Collection:	ЭБС "Лань"
Subjects:	Информатика; архитектура компьютеров; двоичная арифметика; алгебра логики

Москва: РУТ (МИИТ), 2004. Информатика. архитектура компьютеров. двоичная арифметика. алгебра логики.

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

Дискретная математика

Creators:	Шевелев Ю. П.
Imprint:	Санкт-Петербург: Лань, 2021
Collection:	ЭБС "Лань"
Subjects:	теория множеств; булева алгебра логики; теория конечных автоматов; комбинаторика; теория графов; алгебра множеств; бинарные отношения; бесконечные множества; теория нечетких множеств
Document type:	Tutorial

Санкт-Петербург: Лань, 2021. теория множеств. булева алгебра логики.

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