Учебная и научная литература
>
Гуманитарные и общественные науки
>
Философия
>
Книги по философии
Каталог
:: Java книги
:: Авто
:: Астрология
:: Аудио книги
:: Биографии и Мемуары
:: В мире животных
:: Гуманитарные и общественные науки
:: Детские книги
:: Для взрослых
:: Для детей
:: Дом, дача
:: Журналы
:: Зарубежная литература
:: Знания и навыки
:: Издательские решения
:: Искусство
:: История
:: Компьютеры
:: Кулинария
:: Культура
:: Легкое чтение
:: Медицина и человек
:: Менеджмент
:: Наука и образование
:: Оружие
:: Программирование
:: Психология
:: Психология, мотивация
:: Публицистика и периодические издания
:: Разное
:: Религия
:: Родителям
:: Серьезное чтение
:: Спорт
:: Спорт, здоровье, красота
:: Справочники
:: Техника и конструкции
:: Учебная и научная литература
:Гуманитарные и общественные науки
:Изучение языков
:Историческая научная и учебная лите
:Историческая научная и учебная литература
:Культура и просвещение
:Политика
:Учебная и научная литература по психологии
:Филология
:Философия
:История философии
:Книги по философии
:Логика
:Метафизика
:Социальная философия
:Эстетика
:Этика
:Экономика
:Юридическая литература
:Естественные науки
:Технические науки
:: Фен-Шуй
:: Философия
:: Хобби, досуг
:: Художественная лит-ра
:: Эзотерика
:: Экономика и финансы
:: Энциклопедии
:: Юриспруденция и право
:: Языки
Новинки
Volkswagen Polo (MK6) since 2017, service e-manual
Алгоритмы и вычислимость в человеческом познании
Автор:
Виталий Целищев
Издательство:
ФГУП «Издательство СО РАН»
Год:
2012
Cтраниц:
1
Формат:
PDF
Размер:
0
ISBN:
978-5-04-040116-1
Качество:
excellent
Язык:
Описание:
Настоящая монография представляет собой итог исследований по проблеме алгоритмизации мышления, которая часто увязывается с распространенной формулировкой «может ли машина мыслить?» В монографии представлены практически все аспекты проблемы понимания деятельности, связанной с вычислимостью и компьютерными методами исследования возможностей мышления. Дано сопоставление вычислимости и невычислимости в контексте методов познания законов природы. Описан математический аппарат вычислимости, в частности, представлена теория рекурсивных функций. Особое внимание уделено связи этой теории с программой оснований математики Д. Гильберта – финитизмом. Процесс алгоритмизации мышления представлен в терминах минимальных средств строгого математического доказательства. При этом обнаружена проблема обозримости доказательства, а также вычислимости как средства получения доказательства. Понятие эффективной вычислимости обсуждено в связи со статусом тезиса Черча, который долгое время был предметом дискуссий. Монография предназначена специалистам в области компьютерных исследований, математической логики, философии, логики и методологии науки.
Скачать
Скачать легальную копию
Просмотров: 47
Пресс - релиз
string(4) "true" int(290)
К настоящему времени нет отзывов!
Вход
Если Вы забыли пароль, щелкните
здесь
Вы новый клиент?
Зарегистрируйтесь
Информация
Свяжитесь с нами
Как скачать и чем читать
Quiero dinero © 2007
