1. Если вы только начинаете программировать на ассемблере и не знаете с чего начать, тогда попробуйте среду разработки ASM Visual IDE
    (c) на правах рекламы
    Скрыть объявление

Проблема с изучением логики

Тема в разделе "WASM.ZEN", создана пользователем red_Human, 17 окт 2009.

  1. red_Human

    red_Human New Member

    Публикаций:
    0
    Регистрация:
    5 окт 2008
    Сообщения:
    182
    Подскажите пожалуйста книгу или сайт где просто и доходчиво объяснялась бы логика, особенно связанная с системами естественного вывода(генценовская логика) и предикатамами
     
  2. fplab

    fplab Алексей

    Публикаций:
    0
    Регистрация:
    10 мар 2005
    Сообщения:
    24
    Адрес:
    Russia
    Не знаю, правильно ли я вас понял, но посоветую :)
    1. С.К.Клини "Математическая логика" (http://gen.lib.rus.ec/get?md5=43D9DA99C917BD8AB355E8BDC85908E9)
    2. Ч.Чень, Р.Ли "Математическая логика и автоматическое доказательство теорем" (http://gen.lib.rus.ec/get?md5=BD4E26C37D3287CB8586802AC209E253)
    3. Математическая теория логического вывода (http://gen.lib.rus.ec/get?md5=8A1D4DAF87AD8A2B7F09E4F735C38345)

    P.S. Вторая книга посвящена исключительно принципу резолюции (Дж.Робинсона). Генцена вы там не найдете (за исключением дополнений редактора). Но - скажу честно - мне было интересно.
    Третья книга включает в себя переводы оригинальных статей самого Генцена. Вряд ли это то, что вам надо, но кто знает ...
     
  3. red_Human

    red_Human New Member

    Публикаций:
    0
    Регистрация:
    5 окт 2008
    Сообщения:
    182
    Это именно то что мне надо большое спасибо))