VSAU
Electronic Library

     
?
     
?

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

Words statistics: !математическая: 36159, !логика: 12354

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

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

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

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

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

алгебра теории алгоритмов математическая логика.

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

алгебра теории алгоритмов математическая логика.

key://localhost/RU\VSAU\weblan\210278
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
7
Элементы дискретной математики (множества, логика, грифы, комбинаторика): учеб.-метод. пособие для студентов землеустроит. фак. оч. формы обучения по специальностям 120301 - "Землеустройство", 120302 - "Земельный кадастр", 120303 - "Городской кадастр": [учеб. изд.]
Other creators: Дементьев С. Н.
Organization: Воронеж. гос. аграр. ун-т
Imprint: Воронеж: ВГАУ, 2010
Subjects: УЧЕБНО-МЕТОДИЧЕСКИЕ ПОСОБИЯ; ДИСКРЕТНАЯ МАТЕМАТИКА; ОЧНАЯ ФОРМА ОБУЧЕНИЯ; ЗЕМЛЕУСТРОИТЕЛЬНЫЙ ФАКУЛЬТЕТ; ТЕОРИЯ МНОЖЕСТВ; МАТЕМАТИЧЕСКАЯ ЛОГИКА; ТЕОРИЯ ГРАФОВ; КОМБИНАТОРИКА; УЧЕБНЫЕ ИЗДАНИЯ
Document type: Tutorial

Воронеж. гос. аграр. ун-т. Воронеж: ВГАУ, 2010. УЧЕБНО-МЕТОДИЧЕСКИЕ ПОСОБИЯ. ДИСКРЕТНАЯ МАТЕМАТИКА. ОЧНАЯ ФОРМА ОБУЧЕНИЯ. ЗЕМЛЕУСТРОИТЕЛЬНЫЙ ФАКУЛЬТЕТ. ТЕОРИЯ МНОЖЕСТВ. МАТЕМАТИЧЕСКАЯ ЛОГИКА.

8
Математическая логика: учебное пособие для спо. — Математическая логика, Весь срок охраны авторского права
Creators: Афанасьев, С. Г.
Imprint: Саратов, Москва: Профобразование, Ай Пи Ар Медиа, 2021
Collection: ЭБС "IPRbooks"
Subjects: математическая логика; алгебра высказываний; исчисление высказываний; алгебра предикатов; рассуждение
Document type: Tutorial
File type: HTML

Саратов, Москва: Профобразование, Ай Пи Ар Медиа, 2021. математическая логика. алгебра высказываний.

https://www.iprbookshop.ru/103657.html
9
Нечеткая логика и нейронные сети. Ч. 1 : Нечеткая логика и нейронные сети. Часть I. Ч. 1: Учебное пособие
Creators: Белозерова Г. И.; Скуднев Д. М.; Кононова З. А.
Imprint: Липецк: Липецкий ГПУ, 2017
Collection: ЭБС "Лань"
Subjects: учебное пособие; нечеткие множества; математическая логика
Document type: Tutorial

rus. Белозерова Г. И. Скуднев Д. М. Кононова З. А. ЭБС "Лань" Липецк: Липецкий ГПУ, 2017. учебное пособие. нечеткие множества. математическая логика.

key://localhost/RU\VSAU\weblan\111969
10
Основы тестирования и верификации программного обеспечения. — 2-е изд., стер.
Creators: Старолетов С. М.
Imprint: Санкт-Петербург: Лань, 2020
Collection: ЭБС "Лань"
Subjects: тестирование; верификация; программирование; инженерия; объектно-ориентированный язык; математическая логика; теория автоматов
Document type: Tutorial

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

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