Уведомления
Уведомлений еще не было
Пять пороков команды
Пять пороков команды

Патрик Ленсиони

8.4
425 оценок
Правописные истины, или Левосудие для всех. 3-е издание
Правописные истины, или Левосудие для всех. 3-е издание

Павел Астахов

0.0
0 оценок
Невидимые женщины. Почему мы живем в мире, удобном только для мужчин. Неравноправие, основанное на данных
Невидимые женщины. Почему мы живем в мире, удобном только для мужчин. Неравноправие, основанное на данных

Перес Кэролайн Криадо

9.0
1 оценка
Всё о муми-троллях. Книга 1
Всё о муми-троллях. Книга 1

Туве Янссон

0.0
0 оценок
Рохан в Лувре
Рохан в Лувре

Хирохико Араки

7.0
1 оценка
Хороших девочек не убивают
Хороших девочек не убивают

Холли Джексон

8.6
433 оценки

Книги Стивена Коула Клини

Стивен Коул Клини - автор 2 книг. Из известных произведений можно выделить: Введение в метаматематику, Основания интуиционистской математики с точки зрения теории рекурсивных функций. Все книги можно читать онлайн и бесплатно скачивать на нашем портале.

Фильтры
Год написания

Тип сюжета
Тема
Герои
Место действия
Время действия
Математика
0.0
0
0
Введение в метаматематику
Стивен Коул Клини
Введение в метаматематику

Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора - дать читателю связное введение в облас...

Стивен Коул Клини Введение в метаматематику
0.0
0
0
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Стивен Коул Клини
Основания интуиционистской математики с точки зрения теории рекурсивных функций

В своем интуиционистском анализе Л.Э.Я.Брауэр создал теорию, которая расходится с классической математикой и которая в своих деталях не стала широко известной или понятой. Поэтому, как кажется авторам книги, эта теория представляет собой вызов метаматематическим и теоретико-модельным методам. В главе I авторы строят ее формализацию, отличную от выполненной в 1930 г. Рейтингом. Эта формализация вкл...

Стивен Коул Клини Основания интуиционистской математики с точки зрения теории рекурсивных функций

Книгогид использует cookie-файлы для того, чтобы сделать вашу работу с сайтом ещё более комфортной. Если Вы продолжаете пользоваться нашим сайтом, вы соглашаетесь на применение файлов cookie.