VSAU
Electronic Library

     
?
     
?

Electronic Documents Search
Documents found: 553 1 2 3 4 5 6 7 8 9 10 11 ... 56       Next

Words statistics: !логика: 12354

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

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

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

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

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

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

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

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

key://localhost/RU\VSAU\weblan\210281
5
Теория поиска вывода. Происхождение и философские приложения: монография
Creators: Брюшинкин В. Н.; Ходикова Н. А.
Imprint: Калининград: БФУ им. И.Канта, 2012
Collection: ЭБС "Лань"
Subjects: выводы; логико-математические теоремы; теория доказательств; поризм; логические алгоритмы; математическая логика; гильбертовская теория доказательств; искусственный интеллект; история логики; логика; логика (история); логика математическая; логические теории; математика (философские вопросы); математическая логика теория поиска вывода; научная теория; поиск вывода; рациональная реконструкция; теория поиска; теория поиска вывода; философия; формализация эвристик
Document type: Tutorial

Ходикова Н. А. ЭБС "Лань" Калининград: БФУ им. И.Канта, 2012. выводы. логико-математические теоремы. теория доказательств. поризм. логические алгоритмы. математическая логика. гильбертовская теория доказательств.

key://localhost/RU\VSAU\weblan\13199
6
Теория поиска вывода. Происхождение и философские приложения: монография
Creators: Брюшинкин В. Н.; Ходикова Н. А.
Imprint: Калининград: БФУ им. И.Канта, 2012
Collection: ЭБС "Лань"
Subjects: выводы; логико-математические теоремы; теория доказательств; поризм; логические алгоритмы; математическая логика; гильбертовская теория доказательств; искусственный интеллект; история логики; логика; логика (история); логика математическая; логические теории; математика (философские вопросы); математическая логика теория поиска вывода; научная теория; поиск вывода; рациональная реконструкция; теория поиска; теория поиска вывода; философия; формализация эвристик
Document type: Tutorial

Ходикова Н. А. ЭБС "Лань" Калининград: БФУ им. И.Канта, 2012. выводы. логико-математические теоремы. теория доказательств. поризм. логические алгоритмы. математическая логика. гильбертовская теория доказательств.

key://localhost/RU\VSAU\weblan\13199
7
Синкретный подход обоснования причин возникновения денег // Инновационная экономика и промышленная политика региона (ЭКОПРОМ-2016): труды международной научно-практической конференции С. 565-575
Creators: Пшеничников Владислав Владимирович (кандидат экономических наук; доцент)
Imprint: Санкт-Петербург, 2016
Subjects: деньги; денежные отношения; диалектическая логика; синкретная логика; факультет экономики и менеджмента; кафедра финансов и кредита; РИНЦ
Document type: Article, report

rus. Пшеничников Владислав Владимирович (кандидат экономических наук; доцент) Санкт-Петербург, 2016. деньги. денежные отношения. диалектическая логика.

8
Дискретная математика и информатика
Creators: Рыбин С. В.
Imprint: Санкт-Петербург: Лань, 2022
Collection: ЭБС "Лань"
Subjects: Графы; логика высказываний; булевы функции; нечеткая логика; теория алгоритмов; бинарные отношения; базисы Гребнера; теория множеств; алгоритм Евклида; арифметика многочленов
Document type: Tutorial

нечеткая логика. теория алгоритмов. бинарные отношения. базисы Гребнера.

key://localhost/RU\VSAU\weblan\193326
9
Дискретная математика и информатика
Creators: Рыбин С. В.
Imprint: Санкт-Петербург: Лань, 2022
Collection: ЭБС "Лань"
Subjects: Графы; логика высказываний; булевы функции; нечеткая логика; теория алгоритмов; бинарные отношения; базисы Гребнера; теория множеств; алгоритм Евклида; арифметика многочленов
Document type: Tutorial

нечеткая логика. теория алгоритмов. бинарные отношения. базисы Гребнера.

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

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

key://localhost/RU\VSAU\weblan\197542
Documents found: 553 1 2 3 4 5 6 7 8 9 10 11 ... 56       Next
Yandex Logo Search was performed using the Yandex.Server
Loading, please wait...