Dance_LISP От Сократа до компьютерной логики
 |
Наши проекты:
Журнал · Discuz!ML · Wiki · DRKB · Помощь проекту |
|
| ПРАВИЛА | FAQ | Помощь | Поиск | Участники | Календарь | Избранное | RSS |
| [3.147.79.45] |
|
|
правила раздела Алгоритмы
1. Помните, что название темы должно хоть как-то отражать ее содержимое (не создавайте темы с заголовком ПОМОГИТЕ, HELP и т.д.). Злоупотребление заглавными буквами в заголовках тем ЗАПРЕЩЕНО.
2. При создании темы постарайтесь, как можно более точно описать проблему, а не ограничиваться общими понятиями и определениями.
3. Приводимые фрагменты исходного кода старайтесь выделять тегами code.../code
4. Помните, чем подробнее Вы опишете свою проблему, тем быстрее получите вразумительный совет
5. Запрещено поднимать неактуальные темы (ПРИМЕР: запрещено отвечать на вопрос из серии "срочно надо", заданный в 2003 году)
6. И не забывайте о кнопочках TRANSLIT и РУССКАЯ КЛАВИАТУРА, если не можете писать в русской раскладке
2. При создании темы постарайтесь, как можно более точно описать проблему, а не ограничиваться общими понятиями и определениями.
3. Приводимые фрагменты исходного кода старайтесь выделять тегами code.../code
4. Помните, чем подробнее Вы опишете свою проблему, тем быстрее получите вразумительный совет
5. Запрещено поднимать неактуальные темы (ПРИМЕР: запрещено отвечать на вопрос из серии "срочно надо", заданный в 2003 году)
6. И не забывайте о кнопочках TRANSLIT и РУССКАЯ КЛАВИАТУРА, если не можете писать в русской раскладке
Модераторы: Akina, shadeofgray
Dance_LISP От Сократа до компьютерной логики
|
Сообщ.
#1
,
|
|
|
|
Геометрия – красивейшая наука. До сих пор получаю эстетическое удовольствие, занимаясь доказательствами и логическим решением задач. Доказать, значит сослаться на другие теоремы и аксиомы. Это важнейший базовый предмет, воспитывающий логическое мышление. Но Гедель показал, что даже арифметика не формализуема, а логик уже штук двадцать. Сейчас для учащихся, да и для всех людей гораздо важнее логика построения компьютерных сред и интерфейсов. Надо сохранить в геометрии преподавание аксиоматики и основных теорем, но резко сократить количество задач и теорем задач, решение которых доставляется одним двумя кликами, скажем в системе AutoCAD-Auto LISP. Для задач и теорем-задач, которые войдут в учебник надо одновременно давать логику кликов в «дереве ассоциаций». Мы предлагаем в учиться этому среде Dance_LISP http://egotron.narod.ru
|
|
Сообщ.
#2
,
|
|
  |
а тьюринг показал что бесконечное кол-во задач не разрешимо
так давайте не будем учиться? |
1 пользователей читают эту тему (1 гостей и 0 скрытых пользователей)
0 пользователей:
[ Script execution time: 0,0158 ] [ 14 queries used ] [ Generated: 20.05.24, 19:10 GMT ]