Теория поиска вывода. Происхождение и философские приложения Электронный ресурс монография Брюшинкин В. Н., Ходикова Н. А.

By: Брюшинкин, В. НContributor(s): Ходикова, Н. АMaterial type: TextTextPublication details: Калининград БФУ им. И.Канта 2012Description: 166 сISBN: 9785997102227Subject(s): выводы | логико-математические теоремы | теория доказательств | поризм | логические алгоритмы | математическая логика | гильбертовская теория доказательств | искусственный интеллект | история логики | логика | логика (история) | логика математическая | логические теории | математика (философские вопросы) | математическая логика теория поиска вывода | научная теория | поиск вывода | рациональная реконструкция | теория поиска | теория поиска вывода | философия | формализация эвристик | Other classification: 22.12 Online resources: ЭБС Лань | Online resources: ЭБС Лань Abstract: Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
No physical items for this record

Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.

Книга из коллекции БФУ им. И.Канта - Социально-гуманитарные науки

There are no comments on this title.

to post a comment.