Автор

Г. Бейз

1 книга
1 читатель

4.5

1оценка

5		1
4		0
3		0
2		0
1		0
без оценки		0

Цитаты из книг — Г. Бейз

По популярности

По популярности По дате добавления

Marrakech

6 сентября 2017 г., 20:26

Пожаловаться

Эта теорема была впервые доказана в 1976 г. проверкой на компьютере всех возможных случаев. * *До сих пор нет уверенности в том, что эта теорема на самом деле доказана.

Компьютерная математика

Д. Кук, Г. Бейз

4,5

Marrakech

15 июля 2017 г., 12:17

Пожаловаться

Следует помнить, что если какое-либо утверждение истинно, то мы должны быть в состоянии доказать его. Если это действительно очевидно, то мы легко докажем его, если же нет, то, по-видимому, это не так очевидно, как мы думали, и вполне возможно, что это даже неверно.

Компьютерная математика

Д. Кук, Г. Бейз

4,5

Marrakech

12 июля 2017 г., 16:06

Пожаловаться

В предположении, что каждый день или дождливый, или ясный, математическим (или логическим) ответом на вопрос "Ясно или дождливо сегодня?" будет "Да".

Компьютерная математика

Д. Кук, Г. Бейз

4,5