Политехническая библиотека

Головна

Спрощенний режим

Опис

Бази даних

Каталог книг- результати пошуку

Вид пошуку

Каталог книг

Каталог российских журналов

Каталог иностранных журналов

Зона пошуку

Для печати информации о книге отметьте ее галочкой и нажмите кнопку «печать»

Поисковый запрос: <.>A=Целищев, Виталий Валентинович$<.>

Общее количество найденных документов: 3

Показані документи с 1 за 3

W 155-8/160

Целищев, Виталий Валентинович.
Эпистемология математического доказательства / В. В. Целищев ; Ин-т философии и права, Сиб. отд-ние РАН. - Новосибирск : Параллель, 2006. - 209, [2] с. : ил. ; 22 см. - (Новая философия математики). - Библиогр.: с. 209-211. - ISBN 5-98901-010-9 : Б. ц. р.

ББК В123в
Рубрики: Математическая логика

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

W 155-8/177

Целищев, Виталий Валентинович.
Алгоритмизация мышления. Геделевский аргумент / В. В. Целищев ; Ин-т философии и права, Сиб. отд-ние РАН. - Новосибирск : Параллель, 2005. - 303 с. : ил. - (Новая философия математики). - Библиогр.: с. 299-303. - ISBN 5-98901-003-6 : Б. ц. р.

ББК Ю935.131-231.4 + В12в + з813в
Рубрики: Математическая логика
Искусственный интеллект
Мышление

Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

W 165-10/94

Ершов, Юрий Леонидович.
Алгоритмы и вычислимость в человеческом познании / Ю. Л. Ершов, В. В. Целищев ; науч. ред. К. Ф. Самохвалов, А. С. Морозов ;... Ин-т математики им. С. Л. Соболева, Ин-т философии и права. - Новосибирск : Изд-во Сиб. отд-ния Рос. акад. наук, 2012. - 497, [4] с. ; 25 см. - (Интеграционные проекты СО РАН / Рос. акад. наук, Сиб. отд-ние ; вып. 40). - Библиогр.: с. 490-497. - ISBN 978-5-7692-0669-6. - ISBN 978-5-7692-1248-8 : 180.00 р.

ББК В127в
Рубрики: Алгоритмы--Философские вопросы
Математическая логика--Философские вопросы

Дод.точки доступу:
Целищев, Виталий Валентинович; Самохвалов, Климентий Федорович \ред.\; Морозов, А.С. \ред.\
Примірників всього: 1
ХР (1)
Свободны: ХР (1) Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)