Логика в решении проблем пер. с англ.

Логика в решении проблем, пер. с англ.

מידע ביבליוגרפי
מחבר ראשי:	Ковальски Р. Роберт
שפה:	רוסית
יצא לאור:	Москва, Наука, 1990
סדרה:	Проблемы искусственного интеллекта
נושאים:	логика логическое программирование ЭВМ проектирование клауз Хорна интерпретация формализация изменчивость противоречия
פורמט:	ספר
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=197900

פריטים דומים

Математическая логика. Логика высказываний. Конспекты лекций и упражнения по курсу пособие для студентов специальностей 01.03.01, 01.05.01, 02.03.01
מאת: Петрова Л. П.
יצא לאור: (Воронеж, ВГУ, 2015)

[Вып. 166]: Язык логики и логика языка сборник статей
יצא לאור: (1990)

Искусственный интеллект и пролог на микроЭВМ
מאת: Макаллистер Дж.
יצא לאור: (Москва, Машиностроение, 1990)

Логический подход к искусственному интеллекту от классической логики к логическому программированию пер. с фр.
יצא לאור: (Москва, Мир, 1990)

Логическое программирование сборник статей пер. с англ. и фр.
יצא לאור: (Москва, Мир, 1988)

Философские проблемы формализации знания
מאת: Алексеев Б. Т. Борис Тимофеевич
יצא לאור: (Ленинград, Изд-во ЛГУ, 1981)

Введение в логическое программирование на микро-прологе пер. с англ.
מאת: Кларк Кейт Л.
יצא לאור: (Москва, Радио и связь, 1987)

Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями автореферат диссертации на соискание ученой степени кандидата физико-математических наук спец. 05.13.11
מאת: Мордвинов Д. А. Дмитрий Александрович
יצא לאור: (Томск, [Б. и.], 2020)

Логика учебник
מאת: Гетманова А. Д. Александра Денисовна
יצא לאור: (Москва, Омега-Л, 2006)

Логическое проектирование операционных систем пер. с англ.
מאת: Шоу А. Алан
יצא לאור: (Москва, Мир, 1981)

Логика учебник
מאת: Гетманова А. Д. Александра Денисовна
יצא לאור: (Москва, Омега-Л, 2008)

Методы и средства алгебраического и логического программирования сборник научных трудов
יצא לאור: (Киев, Изд-во ИК, 1990)

Логика учебное пособие для вузов
מאת: Гетманова А. Д. Александра Денисовна
יצא לאור: (Москва, Академический проект, 2009)

Диалектическая логика. Очерки истории и теории
מאת: Ильенков Э. В. Эвальд Васильевич
יצא לאור: (Москва, Политиздат, 1974)

Логика учебное пособие
מאת: Попов Ю. П. Юрий Петрович
יצא לאור: (Москва, КноРус, 2015)

Математическая логика учебное пособие
מאת: Игошин В. И. Владимир Иванович
יצא לאור: (Москва, Инфра-М, 2012)

Математическая логика учебное пособие
מאת: Игошин В. И. Владимир Иванович
יצא לאור: (Москва, Инфра-М, 2019)

Логика учебник
מאת: Гетманова А. Д. Александра Денисовна
יצא לאור: (Москва, Омега-Л, 2009)

Логическое программирование и моделирование систем учебное пособие
מאת: Новосельцев В. Б. Виталий Борисович
יצא לאור: (Томск, Изд-во ТПУ, 2008)

Математическая логика учебник
מאת: Никольская И. Л. Инна Львовна
יצא לאור: (Москва, Высшая школа, 1981)

Непрерывная логика (история, результаты, библиография) монография
מאת: Левин В. И. Виталий Ильич
יצא לאור: (Пенза, Изд-во Пензенской гос. технологической академии, 2008)

Математическая логика и теория алгоритмов для программистов учебное пособие
מאת: Гринченков Д. В. Дмитрий Валерьевич
יצא לאור: (Москва, КноРус, 2010)

Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
מאת: Бирюков Б. В. Борис Владимирович
יצא לאור: (Москва, Едиториал УРСС, 2004)

Логическое следование и условные высказывания
מאת: Сидоренко Е. А. Евгений Александрович
יצא לאור: (Москва, Наука, 1983)

Современная логика и методология науки сборник научных статей
יצא לאור: (Москва, Изд-во МГУ, 1987)

Функциональное и логическое программирование. Ч. 1 учебное пособие
יצא לאור: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2010)

Логическое программирование и моделирование систем учебное пособие электронный ресурс
מאת: Новосельцев В. Б. Виталий Борисович
יצא לאור: (Томск, Изд-во ТПУ, 2008)

Логика научного исследования
יצא לאור: (Москва, Наука, 1965)

Математическая логика и теория алгоритмов для программистов учебное пособие
מאת: Гринченков Д. В. Дмитрий Валерьевич
יצא לאור: (Москва, КноРус, 2013)

Логическое программирование и базы данных пер. с англ.
מאת: Чери С. Стефано
יצא לאור: (Москва, Мир, 1992)

Функциональное программирование учебник и практикум для вузов
מאת: Кубенский А. А. Александр Александрович
יצא לאור: (Москва, Юрайт, 2024)

Функциональное программирование учебник и практикум для вузов
מאת: Кубенский А. А. Александр Александрович
יצא לאור: (Москва, Юрайт, 2022)

Функциональное программирование учебник и практикум для вузов
מאת: Кубенский А. А. Александр Александрович
יצא לאור: (Москва, Юрайт, 2023)

Функциональное программирование учебник и практикум для вузов
מאת: Кубенский А. А. Александр Александрович
יצא לאור: (Москва, Юрайт, 2025)

Функциональное программирование учебник и практикум для вузов
מאת: Кубенский А. А. Александр Александрович
יצא לאור: (Москва, Юрайт, 2021)

Прикладная логика
מאת: Попов С. В. Сергей Викторович
יצא לאור: (Москва, Физматлит, 2011)

Формы логики
יצא לאור: (Пекин, Народное изд-во, 2005)

Логика и философские категории межвузовский сборник
יצא לאור: (Ленинград, Изд-во ЛГУ, 1982)

Логика и истина
מאת: Кудрин А. К. Альберт Константинович
יצא לאור: (Москва, Политиздат, 1980)

Логика: теория аргументации и критического мышления
מאת: Воробьева С. В.
יצא לאור: (Минск, БГУ, 2018)