VSAU
Electronic Library

Electronic Documents Search

Documents found: 2

Words statistics: !математическая: 36159, !логика: 12354, !теория: 104204, !поиска: 21735, !вывода: 42164

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

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

математическая логика теория поиска вывода.

key://localhost/RU\VSAU\weblan\13199

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

математическая логика теория поиска вывода.

key://localhost/RU\VSAU\weblan\13199

Documents found: 2

Search was performed using the Yandex.Server