Electronic catalog
Start with A
Genre:Общественно политическая литература (другое) (SPL)
theme:Математика и естественные науки
catalogue:Books
Search result:
11-12 of 12
book
KIM,CHOONG SOON
Anthropological Studies of Korea by Westerners / Kim,Choong Soon ... – Seoul : Yonsei University Press, 2000. - 67 p.– (IMKS Special Lecture Series. ; No.5 . . – 89-7141-505-3 : 510 tg.
UDC:
572(519)
Shelf code:
Л 2009/18188
Subject headings
- Anthropology of Korea
Keywords
korean people, anthropological studies in korea, anthropology, ethnology of Korea, korean anthropology
1/1 Free
book
ЕРШОВ ЮРИЙ ЛЕОНИДОВИЧ
Алгоритмы и вычислимость в человеческом познании = Algorithms and computability in human knowledge [Текст] / Ю. Л. Ершов В. В. Целищев ; науч. ред. К. Ф. Самохвалов, А. С. Морозов... – Новосибирск : Изд-во СО РАН, 2012. - 497, [6] с.– (Интеграционные проекты СО РАН. ; Вып. 40 . – Библиогр.: с. 490-497 . – 330 экз. – 978-5-7692-1248-8, 978-5-7692-0669-6 (в пер.) : 50 тг.
UDC:
510.5+004.9
Shelf code:
Р 2017/1042
Subject headings
- Теория вычислимости. Методы, основанные на применении компьютеров
Annotation
В монографии представлены практически все аспекты проблемы понимания деятельности, связанной с вычислимостью и компьютерными методами исследования возможностей мышления. Дано сопоставление вычислимости и невычислимости в контексте методов познания законов природы. Описан математический аппарат вычислимости, в частности, представлена теория рекурсивных функций
Keywords
вычислимость, невычислимость, алгоритмизация мышления, математическая логика, философия математики
1/1 Free
KIM,CHOONG SOON
ANTHROPOLOGICAL STUDIES OF KOREA BY WESTERNERS (2000)
book
1/1 Free
ЕРШОВ ЮРИЙ ЛЕОНИДОВИЧ
АЛГОРИТМЫ И ВЫЧИСЛИМОСТЬ В ЧЕЛОВЕЧЕСКОМ ПОЗНАНИИ (2012)
book
1/1 Free