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

Математическая логика и автоматическое доказательство теорем, пер. с англ.

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Чень Ч.
مؤلفون آخرون:	Ли Р. (730), Давыдов Г. В. (340), Минец Е. Г., Сочилиная А. В., Маслов С. Ю.
منشور في:	Москва, Наука, 1983
سلاسل:	Математическая логика и основания математики
الموضوعات:	математика логика математические основы теоремы искусственный интеллект методы упражнения дедукция решение задач автоматизация
التنسيق:	كتاب
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=99222

مواد مشابهة

Принципы искусственного интеллекта пер. с англ.
حسب: Нильсон Н. Дж. Нильс Дж.
منشور في: (Москва, Радио и связь, 1985)

Мысли о современной математике и ее изучении
حسب: Кудрявцев Л. Д. Лев Дмитриевич
منشور في: (Москва, Наука, 1977)

Математическая логика. Курс лекций. Задачник-практикум и решения
حسب: Лихтарников Л. М.
منشور في: (Санкт-Петербург, Лань, 2022)

Логика учебник
حسب: Ивлев Ю. В. Юрий Васильевич
منشور في: (Москва, Проспект, 2010)

Логика учебник
حسب: Кириллов В. И. Вячеслав Иванович
منشور في: (Москва, Проспект, 2021)

Логика учебник для вузов
حسب: Ивлев Ю. В. Юрий Васильевич
منشور في: (Москва, Проспект, 2005)

Логика и компьютер
منشور في: (Москва, Наука, 2004)

Теория поиска вывода. Происхождение и философские приложения монография
حسب: Брюшинкин В. Н.
منشور في: (Калининград, БФУ им. И.Канта, 2012)

Логика. Экзаменационные ответы для студентов вузов учебное пособие
حسب: Светлов В. А. Виктор Александрович
منشور في: (СПб., Питер, 2008)

Логика [учебное пособие]
حسب: Бартон В. И. Виталий Иванович
منشور في: (Минск, Новое знание, 2008)

Т. 2: ЭВМ - техническая база кибернетики
منشور في: (1990)

Логика объяснения
حسب: Гемпель К. Г. Карл Густав
منشور في: (Москва, Дом интеллектуальной книги, 1998)

Логика и теория аргументации учебное пособие
حسب: Вязьмин А. Ю.
منشور في: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2017)

ДСМ-метод автоматического порождения гипотез. Логические и эпистемологические основания
منشور في: (Москва, Либроком, 2009)

Решение задач по планиметрии. Технология алгоритмического подхода на основе задач-теорем. Моделирование в среде Turbo Pascal
حسب: Зеленяк О. П.
منشور في: (Москва, ДМК Пресс, 2009)

Искусственный интеллект пер. с англ.
حسب: Хант Э. Эрл
منشور في: (Москва, Мир, 1978)

Логический подход к искусственному интеллекту от классической логики к логическому программированию пер. с фр.
منشور في: (Москва, Мир, 1990)

Системы искусственного интеллекта
حسب: Лорьер Ж.-Л. Жан-Луи
منشور في: (Москва, Мир, 1991)

Система принципов построения дедуктивных теорий
حسب: Кедровский О. И. Олег Иванович
منشور في: (Киев, Выща школа, 1990)

Вероятностные приложения тауберовых теорем
حسب: Якымив А. Л. Арсен Любомирович
منشور في: (Москва, Физматлит, 2005)

Введение в теорию аналитических функций учебное пособие
حسب: Маркушевич А. И. Алексей Иванович
منشور في: (Москва, Просвещение, 1977)

Создание игровой логики. Практикум учебное пособие для вузов
حسب: Капанов А. А.
منشور في: (Санкт-Петербург, Лань, 2023)

Логика, как часть познания
حسب: Введенский А. И. Александр Иванович
منشور في: (Петербург, Государственное изд-во, 1922)

Промптология. Искусство диалога с нейросетями
حسب: Кузьменко О. В. Олег Валерьевич
منشور في: (Москва, Инфра-Инженерия, 2025)

Математическая логика пер. с англ.
حسب: Клини С. К. Стефан Коул
منشور في: (Москва, Мир, 1973)

Логика. Теория и практика аргументации учебник для вузов
حسب: Хоменко И. В. Ирина Викторовна
منشور في: (Москва, Юрайт, 2010)

Будущее искусственного интеллекта сборник
منشور في: (Москва, Наука, 1991)

Теория логического вывода
منشور في: (Москва, Наука, 1973)

Автоматическое образование гипотез. Математические основы общей теории перевод с английского
حسب: Гаек П. Петр
منشور في: (Москва, Наука, 1984)

Математическая логика учебное пособие
حسب: Эдельман С. Л. Самсон Львович
منشور في: (Москва, Высшая школа, 1975)

Математическая логика
حسب: Ершов Ю. Л. Юрий Леонидович
منشور في: (Москва, Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ), 2011)

Вып. 42
منشور في: (1990)

Мягкие вычисления в задачах управления и принятия решений методические указания к практической работе
حسب: Маслов А. А.
منشور في: (Санкт-Петербург, БГТУ "Военмех" им. Д.Ф. Устинова, 2023)

Искусственный интеллект
حسب: Эндрю А. Алекс
منشور في: (Москва, Мир, 1985)

Автоматизация поискового конструирования (искусственный интеллект в машинном проектировании)
منشور في: (Москва, Радио и связь, 1981)

Исследование формирования систем искусственного интеллекта
حسب: Штеренберг С. И.
منشور في: (2014)

Математическая логика Учебное пособие
حسب: Игошин В. И. Владимир Иванович
منشور في: (Москва, ООО "Научно-издательский центр ИНФРА-М", 2023)

Математическая логика Учебное пособие
حسب: Игошин В. И. Владимир Иванович
منشور في: (Москва, ООО "Научно-издательский центр ИНФРА-М", 2020)

Математическая логика Учебное пособие
حسب: Игошин В. И. Владимир Иванович
منشور في: (Москва, ООО "Научно-издательский центр ИНФРА-М", 2022)

Математическая логика Учебное пособие
حسب: Игошин В. И. Владимир Иванович
منشور في: (Москва, ООО "Научно-издательский центр ИНФРА-М", 2024)