VSAU
Electronic Library

     
?
     
?

Electronic Documents Search
Documents found: 6 1

Words statistics: !логика: 12354, !предикатов: 302

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

Санкт-Петербург: Лань, 2022. бинарные отношения. булевы функции. дискретная математика. импликация. кванторы. комбинаторный анализ. кортежи. логика предикатов. математика.

key://localhost/RU\VSAU\weblan\211331
2
Дискретная математика. Контролирующие материалы к тестированию. — 2-е изд.
Creators: Бабичева И. В.
Imprint: Санкт-Петербург: Лань, 2022
Collection: ЭБС "Лань"
Subjects: бинарные отношения; булевы функции; дискретная математика; импликация; кванторы; комбинаторный анализ; кортежи; логика предикатов; математика; математическая логика; множества; операции над множествами; ориентированные графы; теория графов; теория множеств; тестирование; тесты; учебное пособие; числовые множества

Санкт-Петербург: Лань, 2022. бинарные отношения. булевы функции. дискретная математика. импликация. кванторы. комбинаторный анализ. кортежи. логика предикатов. математика.

key://localhost/RU\VSAU\weblan\211331
3
Логико-алгебраические основы дискретной математики
Creators: Розен В. В.; Бродская Ю. А.
Imprint: Санкт-Петербург: Лань, 2022
Collection: ЭБС "Лань"
Subjects: Математическая логика; логика предикатов; оперативы; алгебра; гомоморфизмы; комбинаторика конечных множеств; графы; упорядоченные множества; решетки; комбинаторика

логика предикатов. оперативы. алгебра. гомоморфизмы. комбинаторика конечных множеств. графы. упорядоченные множества.

key://localhost/RU\VSAU\weblan\197542
4
Логико-алгебраические основы дискретной математики
Creators: Розен В. В.; Бродская Ю. А.
Imprint: Санкт-Петербург: Лань, 2022
Collection: ЭБС "Лань"
Subjects: Математическая логика; логика предикатов; оперативы; алгебра; гомоморфизмы; комбинаторика конечных множеств; графы; упорядоченные множества; решетки; комбинаторика

логика предикатов. оперативы. алгебра. гомоморфизмы. комбинаторика конечных множеств. графы. упорядоченные множества.

key://localhost/RU\VSAU\weblan\197542
5
Математическая логика. Курс лекций. Задачник-практикум и решения. — 4-е изд., стер.
Creators: Лихтарников Л. М.; Сукачева Т. Г.
Imprint: Санкт-Петербург: Лань, 2022
Collection: ЭБС "Лань"
Subjects: математическая логика; учебное пособие; алгоритм; алгебра логики; курс лекций; задачник; аксиома логическая; алгебра; алгоритмы; буля; буля алгебра; вычислимая; геделя; двойственность; двойственность закон; дедукция теорема; дизъюнктивная; доказуемость; задачи; задачи решения; закон; исчисление высказываний; исчисление аксиоматическое; исчисления высказываний; конъюнктивная; курсы лекций; логика; логика предикатов; математика; математика логика; математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи; математические теории; машина; операция логическая; разрешимость; рекурсивная; решение задач; тавтология; терма; тьюринга; тьюринга машина; учебник и пособие; учебные пособия; форма дизъюнктивная; формула доказуемая; функция; функция вычислимая; функция рекурсивная

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

key://localhost/RU\VSAU\weblan\210281
6
Математическая логика. Курс лекций. Задачник-практикум и решения. — 4-е изд., стер.
Creators: Лихтарников Л. М.; Сукачева Т. Г.
Imprint: Санкт-Петербург: Лань, 2022
Collection: ЭБС "Лань"
Subjects: математическая логика; учебное пособие; алгоритм; алгебра логики; курс лекций; задачник; аксиома логическая; алгебра; алгоритмы; буля; буля алгебра; вычислимая; геделя; двойственность; двойственность закон; дедукция теорема; дизъюнктивная; доказуемость; задачи; задачи решения; закон; исчисление высказываний; исчисление аксиоматическое; исчисления высказываний; конъюнктивная; курсы лекций; логика; логика предикатов; математика; математика логика; математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи; математические теории; машина; операция логическая; разрешимость; рекурсивная; решение задач; тавтология; терма; тьюринга; тьюринга машина; учебник и пособие; учебные пособия; форма дизъюнктивная; формула доказуемая; функция; функция вычислимая; функция рекурсивная

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

key://localhost/RU\VSAU\weblan\210281
Documents found: 6 1
Yandex Logo Search was performed using the Yandex.Server
Loading, please wait...