Все о моделировании в Компас-3D LT
   Главная Статьи Файлы Форум Ссылки Категории новостей
Февраль 07 2023 08:49:53   
Навигация
Главная
Статьи
Файлы
FAQ
Форум
Ссылки
Категории новостей
Обратная связь
Фото галерея
Поиск
Разное
Карта Сайта
Популярные статьи
Что необходимо ... 65535
Учимся удалять!... 31039
4.12.1 Професси... 29901
Примеры, синони... 22744
Просмотр готовы... 21445
Декартовы коорд... 21063
FAST (методика ... 20849
содержание - се... 19998
Просмотр готовы... 18114
Работа с инстру... 13888
Сейчас на сайте
Гостей: 2
На сайте нет зарегистрированных пользователей

Пользователей: 9,955
новичок: Logyattella
Друзья сайта
Ramblers Top100
Рейтинг@Mail.ru

Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ по Delphi
Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog
«Логик-теоретик»
Так была названа программа для ЭВМ, созданная в середине шестидесятых годов американским кибернетиком А. Ньюэллом в содружестве с психологом Г. Саймоном. Она была предназначена для доказательства теорем в исчислении высказываний, т.е. для поиска обоснования тождественной истинности некоторых утверждений. Для того чтобы перейти к описанию программы «Логик-теоретик», введем предварительно понятие о равенстве двух выражений исчисления высказываний. Будем говорить, что выражения ? 1 и ? 2 равны между собой, и записывать этот факт обычным образом ? 1 =? 2 , если на всех возможных наборах интерпретации истинности входящих в них элементарных высказываний истинность ? 1 и ? 2 одинакова.
Появление знака равенства, которого не было в исчислении высказываний, не должно нас смущать. Его легко можно исключить из рассмотрения, введя формулу ((? 1 &? 2 )

(

? 1 &

? 2 )). Читатели могут проверить, что эта формула будет истинной только в том случае, когда оценки истинности ? 1 и ? 2 одинаковы. Тогда утверждение, что ? 1 =? 2 , становится эквивалентным утверждению, что формула ((? 1 &? 2 )

(

? 1 &

? 2 )) является истинной.
«Логик-теоретик» должен был доказывать справедливость утверждений вида ? 1 =? 2 для различных ? 1 и ? 2 . Однако авторы «Логика-теоретика» не пошли по прямому пути. Не стали строить таблицы для ? 1 и ? 2 и проверять совпадение истинности ? 1 и ? 2 на всех возможных интерпретациях истинности их аргументов. Ведь с ростом числа аргументов n число строк в этих таблицах растет как 2 n . А. Ньюэлл и Г. Саймон пошли по пути приближения процедуры доказательства к тому, как это делают люди.
В основу процесса доказательства они положили идею ликвидации различий в формульной записи ? 1 и ? 2 . Авторы программы составили перечень из шести различий.
1. В ? 1 и ? 2 различное число членов в формулах. Например, ? 1 =?



?, а ? 2 =?

? [6] .
2. В ? 1 и ? 2 имеется различие в основной связке (т.е. в связке, которая выполняется последней). Например, ? 1 =(??)
Страница 1 из 3 1 2 3 >
Комментарии
Нет комментариев.
Добавить комментарий
Пожалуйста залогиньтесь для добавления комментария.
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Случайные статьи
История GeForce
9.1.2 Выгрузка пр...
Обратный синтаксис
4. Разработка инфо...
Геометрия — некото...
ПРЕДИСЛОВИЕ
2.4. Продуктивност...
9.1.3 Загрузка (по...
2.4.9 Свёрточные коды
Великолепный Linux...
4.4 Маршрутизация ...
Предисловие
Уникальный идентиф...
9.6. Межгрупповая ...
3.7 Сеть NetWare ...
5. Правила выделен...
Шинная топология
ЦЕЛИ КАЖДОЙ ГРУ...
6.2.2 Страницы и т...
Экран записи маршрута
4.12.3.5 Система с...
Как работает эхолот
Атрибуты в тексте
4.1.2 Обращение к ...
Глава 8. Acer n35
6.7 ВЫВОДЫ
Глава шестая
4.9 Технология ISDN
Изменение размеров...
3.2.1. Компоненты ЛВС
Рынок телематическ...
Загадка INTERPHASE
7.4.1. Организаци...
Выводы по GPS-комп...
Метод доступа в се...
ГЛАВА 3. РАБОЧЕЕ О...
2.4 УПРАВЛЕНИЕ СИС...
Непереносимые (нет...
Ключевые вопросы
7.5. Применение пр...
Мини-чат
Вам необходимо залогиниться.

Нет присланных сообщений.
Copyright © 2009