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

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

Xehetasun bibliografikoak
Egile nagusia:	Чень Ч.
Beste egile batzuk:	Ли Р. (переводчик), Давыдов Г. В. (редактор), Минец Е. Г., Сочилиная А. В., Маслов С. Ю.
Hizkuntza:	errusiera
Argitaratua:	Москва, Наука, 1983
Saila:	Математическая логика и основания математики
Gaiak:	математика логика математические основы теоремы искусственный интеллект методы упражнения дедукция решение задач автоматизация
Formatua:	Liburua
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=99222

Antzeko izenburuak

Принципы искусственного интеллекта: пер. с англ.
nork: Нильсон Н. Дж. Нильс Дж.
Argitaratua: (Москва, Радио и связь, 1985)

Мысли о современной математике и ее изучении
nork: Кудрявцев Л. Д. Лев Дмитриевич
Argitaratua: (Москва, Наука, 1977)

Логика: учебник
nork: Ивин А. А. Александр Архипович
Argitaratua: (Москва, Гардарики, 2003)

Математическая логика. Курс лекций. Задачник-практикум и решения
nork: Лихтарников Л. М.
Argitaratua: (Санкт-Петербург, Лань, 2022)

Логика: учебник
nork: Ивлев Ю. В. Юрий Васильевич
Argitaratua: (Москва, Проспект, 2004)

Теория логического вывода
nork: Смирнов В. А. Владимир Александрович
Argitaratua: (Москва, РОССПЭН, 1999)

Кн. 1; Логика как часть теории познаний и научной методологии
Argitaratua: (1994)

Логика: учебник
nork: Ивлев Ю. В. Юрий Васильевич
Argitaratua: (Москва, Проспект, 2010)

Логика: учебник
nork: Кириллов В. И. Вячеслав Иванович
Argitaratua: (Москва, Проспект, 2021)

Логика. Экзаменационные ответы для студентов вузов: учебное пособие
nork: Светлов В. А. Виктор Александрович
Argitaratua: (СПб., Питер, 2008)

Логика и теория аргументации учебное пособие
nork: Вязьмин А. Ю.
Argitaratua: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2017)

Решение задач по планиметрии. Технология алгоритмического подхода на основе задач-теорем. Моделирование в среде Turbo Pascal
nork: Зеленяк О. П.
Argitaratua: (Москва, ДМК Пресс, 2009)

Логика объяснения
nork: Гемпель К. Г. Карл Густав
Argitaratua: (Москва, Дом интеллектуальной книги, 1998)

Логика: учебник для вузов
nork: Ивлев Ю. В. Юрий Васильевич
Argitaratua: (Москва, Проспект, 2005)

Математическая логика
nork: Гладкий А. В. Алексей Всеволодович
Argitaratua: (Москва, Изд-во Российского ГГУ, 1998)

Т. 2: ЭВМ - техническая база кибернетики; Кибернетика, вычислительная техника, информатика
Argitaratua: (1990)

Логика: [учебное пособие]
nork: Бартон В. И. Виталий Иванович
Argitaratua: (Минск, Новое знание, 2008)

Логика: Практический курс; учебник для вузов
nork: Рузавин Г. И.
Argitaratua: (Москва, ЮНИТИ-ДАНА, 2002)

Искусственный интеллект. Методы поиска решений: пер. с англ.
nork: Нильсон Н. Дж. Нильс Дж.
Argitaratua: (Москва, Мир, 1973)

Логика: учебник для вузов
nork: Иванов Е. А. Евгений Акимович
Argitaratua: (Москва, Бек, 2001)

Логика и компьютер; Вып. 5; Пусть докажет компьютер
Argitaratua: (Москва, Наука, 2004)

Логика-I. Парадоксология: Пособие для учащихся старших классов лицеев, колледжей и гимназий
nork: Казаков А. Н. Алексей Николаевич
Argitaratua: (Москва, Аспект Пресс, 1994)

Интуиция и искусственный интеллект
nork: Грановская Р. М. Рада Михайловна
Argitaratua: (Ленинград, Изд-во ЛГУ, 1991)

Логические методы анализа научного знания
nork: Смирнов В. А. Владимир Александрович
Argitaratua: (Москва, Наука, 1987)

Вероятностные приложения тауберовых теорем
nork: Якымив А. Л. Арсен Любомирович
Argitaratua: (Москва, Физматлит, 2005)

Логический подход к искусственному интеллекту: от классической логики к логическому программированию; пер. с фр.
Argitaratua: (Москва, Мир, 1990)

Информатика: учебник
nork: Каймин В. А.
Argitaratua: (Москва, Инфра-М, 2000)

Теория поиска вывода. Происхождение и философские приложения монография
nork: Брюшинкин В. Н.
Argitaratua: (Калининград, БФУ им. И.Канта, 2012)

Система принципов построения дедуктивных теорий
nork: Кедровский О. И. Олег Иванович
Argitaratua: (Киев, Выща школа, 1990)

Системы искусственного интеллекта
nork: Лорьер Ж.-Л. Жан-Луи
Argitaratua: (Москва, Мир, 1991)

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

Логика, как часть познания
nork: Введенский А. И. Александр Иванович
Argitaratua: (Петербург, Государственное изд-во, 1922)

Задачи и упражнения по логике: учебное пособие
nork: Уемов А. И. Авенир Иванович
Argitaratua: (Москва, Высшая школа, 1961)

Учебник логики
nork: Челпанов Г. И. Георгий Иванович
Argitaratua: (Москва, Прогресс, 1994)

Искусственный интеллект. Современный подход: пер. с англ.
nork: Рассел С. Стюарт
Argitaratua: (Москва, Вильямс, 2006)

Создание игровой логики. Практикум учебное пособие для вузов
nork: Капанов А. А.
Argitaratua: (Санкт-Петербург, Лань, 2023)

Искусственный интеллект: пер. с англ.
nork: Хант Э. Эрл
Argitaratua: (Москва, Мир, 1978)

Математическая логика: пер. с англ.
nork: Клини С. К. Стефан Коул
Argitaratua: (Москва, Мир, 1973)

Промптология. Искусство диалога с нейросетями
nork: Кузьменко О. В. Олег Валерьевич
Argitaratua: (Москва, Инфра-Инженерия, 2025)

Логика. Теория и практика аргументации: учебник для вузов
nork: Хоменко И. В. Ирина Викторовна
Argitaratua: (Москва, Юрайт, 2010)