Android-приложение для поиска дешевых авиабилетов: play.google.com
Главная -> Классическая логика

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 [33]

[36] Пономарев В.Ф. Математическая логика. Часть 2. Логика реляционная. Логика нечеткая. Учебное пособие. Калининград: КГТУ, 2001.

[37] Редже Т. Этюды о Вселенной. М.:Мир,1985. - http: gng.boom.ru/library/gedel.htm

[38] Робинсон Дж. Логическое программирование - прошлое, настоящее и будущее / В кн.: Логическое программированием.:Мир, 1988. С.7-26.

[39] Роджерс X. Теория рекурсивных функций и эффективная вычислимость. М., 1972.

[40] Современный словарь иностранных слов. М.: Русский язык, 1992.

[41] Столл P.P. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968.

[42] Тьюринг А. Могут ли машины мыслить? М.: Физматгиз, 1960.

[43] Успенский В.А. Лекции о вычислимых функциях. М.: ФМ, 1960.

[44] Фейс Р. Модальная логика. М.: Наука, 1974.

[45] Фон Вригт Г.Н. Логико-философские исследования. Избранные труды. М.: Прогресс, 1986.

[46] Черч А. Введение в математическую логику. М.: ИЛ, 1960.

[47] Шанин Н.А., Давыдов Г.В. и др. Алгорифм машинного поиска логического вывода в исчислении высказываний. М.: Наука, 1970.

[48] Ященко В.В. Введение в криптографию. СПб.: ПИТЕР, 2001.

[49] Burstall R. Program proving as hand simulation with little induction j j Inform. Proc. 1974. V.74. P.263-312.

[50] Pnueli A. The temporal logic of programs j j Proc. 18th IEEE Symp. on the foundations of computer science. San-Francisco, 1977. P.46-57.

[51] Prior P..Diodorian modalities The Philosophical Quarterly. 1955. V.5. N.20.

[52] Van Heijenoort j. From Frege to Gedel. A Source Book in Mathematical Logic, 1879-1931. Cambridge, Mass.: Harvard Univ. Press, 1967.



0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 [33]



0.0134
Яндекс.Метрика