0 / 0 / 0
Регистрация: 31.08.2015
Сообщений: 26
|
|
1 | |
Нужна литература по теории матлогики11.11.2015, 13:19. Показов 710. Ответов 3
Метки нет (Все метки)
Здравствуйте.
Мне нужна помощь с поиском теоретического материала по экзаменационным вопросам, которые трактуются следующим образом: 1. Выводимость из посылок. Теорема о совпадении понятий синтаксической выводимости и семантического следования. Корректность и полнота при выводимости из посылок. 2. Функциональная сложность. Оптимальные по порядку сложности алгоритмы Оранжевым выделил то, что еще немного нагуглил, но информации как-то мало и подана она очень неудобно для восприятия. Красным - те вопросы, по которым фактически нет никакой информации(либо она сильно завуалирована/скрыта) Может в свободном доступе есть какие-либо учебники где данные вопросы в более подробной форме разбираются?
0
|
11.11.2015, 13:19 | |
Ответы с готовыми решениями:
3
Нужна литература/информация о генераторе случайных чисел Нужна литература по теории графов Литература по теории сигналов Литература по теории электрических цепей |
1891 / 1472 / 173
Регистрация: 16.06.2012
Сообщений: 3,342
|
|
11.11.2015, 21:02 | 2 |
Посмотрите:
1) Гладкий, Математическая логика; 2) Верещагин, Шень, Лекции по математической логике (название точно не помню). Не знаю, есть ли там, но гляньте на всякий случай.
0
|
0 / 0 / 0
Регистрация: 13.12.2015
Сообщений: 3
|
|
07.01.2016, 20:18 | 3 |
Если теория Т корректна и полна, то (Т ├ φ) ↔ (Т ╞ φ), где Т ├ φ означает синтаксическую выводимость.
0
|
4945 / 3564 / 1149
Регистрация: 01.09.2014
Сообщений: 9,649
|
|
08.01.2016, 23:10 | 4 |
По первой части вам нужны теоремы о корректности и полноте исчисления высказываний или предикатов (второе сложнее). Посмотрите сам источник и литературу в http://lpcs.math.msu.su/~pentus/vmlw.htm, особенно
Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. Нужно сказать, что исчислений (аксиом и правил вывода) для пропозициональной логики много, и рассматриваемые в этих источниках исчисление Гильберта является хотя и популярным, но далеко не единственным вариантом. В Лавров, Максимова описывается также наруральный вывод в виде исчисления секвенций. Вам нужно бы узнать, какое исчисление рассматривалось у вас в курсе.
0
|
08.01.2016, 23:10 | |
08.01.2016, 23:10 | |
Помогаю со студенческими работами здесь
4
Литература по теории построения СУБД Литература для самостоятельного изучения теории вероятности Литература для изучения теории баз данных Литература для самостоятельного изучения статистики и теории вероятностей Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |