Игошин Математическая логика и теория алгоритмов (1019110), страница 109
Текст из файла (страница 109)
— М., 198 !. 2. Варпаховский Ф.Л. Элементы теории алгоритмов. — М., 1979. 3. Ефремов Г. О. Алгебра логики и контактные схемы. — М., 1969. 4. Игошин В. И. Математическая логика и теория алгоритмов. — Саратов, 1991. 5. Игошин В. И., Петрова Е.С. Множества и графы. — Саратов, 1981. 6. Иножарский В. К.
Математическая логика и алгоритмы. — Орел, 1970. 7. Калйертсон Дж. Т. Математика и логика цифровых устройств: Пер. с англ. — М., 1965. 8. Калужнин П.А. Что такое математическая логика? — М., 1964. 9. Криницкий Н.А. Алгоритмы вокруг нас. — М., 1984. 10. Лихтарников Л.М., Сукачева Т. Г. Математическая логика: Курс лекций. Задачник-практикум и решения. — СПб., 1999. 11. Математическая логика/ Под ред. А А Столяра. — Минск, 1991.
12. Матросов В. Л Теория алгоритмов. — М., 1989. 13. Мендельсон Э. Введение в математическую логику: Пер. с англ. — М., 1976. 14. Михайлов А. В., Рыжова Н. И., Швецкий М. В. Лекции по основам математической логики. Формальные системы нулевого порядка. — СПб., 1998. 15. Мошенский В.А. Лекции по математической логике. — Минск, 1973. 16. Нагель Э., Ньюмен Д.
Теорема Геделя: Пер. с англ. — М., 1970. 17. Непейвода Н. Н. Прикладная логика. — Ижевск, 1997. 18. Никольская И. Л. Математическая логика. — М., 1981. 19. Новиков П. С. Элементы математической логики. — М., 1973. 20. Пеплов Ю.Е. Элементы математической логики и теории множеств.— Саратов, 1968. 21. Современные основы школьного курса математики / Н.Я.Виленкин, К.И.Дуничеб, Л.А.Калужнин, А.А.Столяр.
— М., 1980. 22. Столп Р. Р. Множества. Логика. Аксиоматические теории: Пер. с англ. — М., 1968. 23. Столяр А.А. Элементарное ввеление в математическую логику.— М., 1965. 24. Трахтенброт В.А. Алгоритмы и вычислительные автоматы. — М., 1974. 25. Успенский В.А., Верещагин Н.К., Плоско В.Б. Вводный курс математической логики. — М., 1991. 26.
ФрейдентальХ Языклогики: Пер. с англ. — М., 1969. 27. Эдельман С.Л. Математическая логика. — М., 1975. 28. Энгелер Э. Метаматематика элементарной математики: Пер. с нем.— М., 1987. б. Сборники задач 1. Байиф Ж.-К. Логические задачи; Пер. с фр. — М., 1983. 2. Гаврилов Г. П., Сапоженко А.А. Сборник задач по дискретной математике.
— М., 1977. 438 3. Гиндикин С. Г. Алгебра логики в задачах. — М., 1972. 4. Гохман А. В., Спивак М,А., Розен В.В. Сборник задач по математической логике и алгебре множеств. — Саратов, 1969. 5. Драбкина М. Е. Логические упражнения по элементарной математике. — Минск, 1965. 6. Игошин В. И.
Задачник-практикум по математической логике.— М., 1986. 7. Игошин В. И. Тетрадь по математической логике с печатной основой. — Саратов, 1996 — 1999. 8. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. — М., 1975. 9. Михайлов А. В., Рыжова Н.И., Швецкий М.В. Упражнения по основам математической логики.
Формальные системы нулевого порядка. — СПб., 1998. 10. Рыжова Н. И., Швецкий М.В. Упражнения по основам формальной символической логики. — СПб., 1998. 11. Смаллиан Р.М. Принцесса или тигр?: Пер. с англ. — М., 1985. 12. Шапира С. И. Решение логических и игровь<х задач. — М., 1984. 7. Фундаментальные пособия по математической логике и смежным вопросам алгебры 1. Ван дер Варден Б.Л. Алгебра: Пер. с нем. — М., ! 976.
2. Гильберт Д., Аккерман В. Основы теоретической логики: Пер. с нем.— М., !947. 3. Гильбергл Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики: Пер. с англ. — М., 1979. 4. Гладкий А. В. Математическая логика. — М., ! 998. 5.
Гудсшейн Р.Л. Математическая логика: Пер. с англ. — М., 1961. 6. Ершов Ю.Л., Палютин Е.А. Математическая логика. — М., 1979. 7. Ершов Ю.Л., Тайманов А.Д., Тайцлин М.А. Элементарные теории // Успехи математических наук. 1965. — Т. 20. — !Чь 4. — С. 37 †1. 8. Карри Х Основания математической логики: Пер.
с англ. — М., 1969. 9. Кейслер Г., Чэн Ч. Теория моделей: Пер. с англ. — М., 1977. 10. Клаус Г. Введение в формальную логику: Пер. с нем. — М., 1960. 11. Клини С. Введение в метаматематику: Пер. с англ. — М., 1957. 12. Клики С. Математическая логика: Пер. с англ. — М., 1973. 13. Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику.— М., 1982. 14.
Колмоюров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы. — М., 1984. 15. Кондаков Н. И. Логический словарь-справочник. — М., 1975. 16. Линдон Р. Заметки по логике: Пер. с англ. — М., 1968. 17. Манин Ю. И. Доказуемое и недоказуемое. — М., 1979. 18. Марков А.А. Элементы математической логики. — М.,!984.
19. Маслов С.Ю. Теория дедуктивных систем и ее применение. — М., 1986. 20. Салий В. Н Решетки с единственными дополнениями. — М., 1984. 21. Слупецкий Е., Борковский Л, Элементы математической логики и теории множеств: Пер. с пол.
— М., 1965. 22. Смальлн Р. Теория формальных систем: Пер. с англ. — М., 1981. 23. Справочная книга по математической логике: В 4 чл Пер. с англ.; Под ред. Дж. Барвайса. — М., 1982 — 1983. 24. Черн А. Введение в математическую логику: Пер. с англ. — М., 1960. 439 25. ШвнфилдДж. Математическая логика: Пер. с англ. — М., 1975. 26. Яблонский С. В., Гаврилов Г. Н., Кудрявцев В. Б. Функции алгебры логики и классы Поста. — М., 1966. 8.
Теория алгоритмов 1. Булав Дж., Джеффри Р. Вычислимость и логика: Пер. с англ. — М., 1994. 2. Ершов Ю.Л. Теория нумераций. — М., 1977. 3. Катленд Н. Вычислимость. Введение в теорию рекурсивных функций: Пер, с англ. — М., 1983. 4. Криницкий Н.А. Алгоритмы вокруг нас. — М., 1977. 5. Макаренков Ю.А., Столяр А.А. Что такое алгоритм? — Минск, 1989.
6. Мальцев А. И. Алгоритмы и рекурсивные функции. — М., 1965. 7. Манин Ю.И. Вычислимое и невычислимое. — М.,!980. 8. МарковА.А., Нагорный Н.М. Теория алгоритмов. — М., 1984. 9. Машина Тьюринга// Квант. 1992. Ж 7. 10. Машины Тьюринга и вычислимые функции: Пер. с нем. / Г.-Д. Эббинхауз, Ф.-К. Ман, К.Якобс и др. — М., 1972. 11. Минский М. Вычисления и автоматы: Пер. с англ. — М., 1971. 12. Нагель Э., Ньюмен Дж. Р.
Теорема Геделя: Пер. с англ. — М., 1970. 13. Петер Р. Рекурсивные функции: Пер. с нем. — М., ! 954. 14. Роджерс Х Теория рекурсивных функций и эффективная вычислимостгс Пер. с англ. — М., 1972. 15. Семенов А.Л., Усленский В.А. Математическая логика в вычислительных науках и вычислительной практике // Вестник АН СССР. — 1986. — 1чь 7.— С. 93 — 103. !6. 7рахтенброт Б.А. Алгоритмы и вычислительные автоматы.
— М., 1974. 17. Успенский В.А. Лекции о вычислимых функциях. — М., 1960. 18. Успенский В.А. Машина Поста. — М., 1979 — 1988. 19. Успенский В.А. Теорема Геделя о неполноте. — М., 1982. 20. Усненский В.А., СеменовА.Л. Теория алгоритмов: основные открытия и приложения. — М., 1987. 9.
Математическая логика и компьютеры !. Анги А. Математика для электро- и радиоинженеров: Пер. с фр.— М., 1965. 2. Андерсон Р. Доказательство правильности программ: Пер, с англ.— М., 1982. 3. Богамалов А.М., Салий В.Н. Алгебраические основы теории дискретных систем. — М., 1997. 4. Бузук Г Л.
Логика и компьютер. — М., 197!. 5. Ван Хао. На пути к механической математике // Кибернетический сборник. Вып. 5. — М., 1962. — С. 114 — 165. 6. Вычислительные машины и мышление: Пер. с англ. / Сб, статей под ред. Э.Сейгенбаума и Дж.Фельдмана. — М., 1967. 7. Гаек Н., Гавранек Т. Автоматическое образование гипотез: Пер. с англ.— М., 1984. 8. ГригД. Наука программирования: Пер.
с англ. — М., 1984. 9. Ершов А. П. Введение в теоретическое программирование. — М., 1977. ! О. Игошин В. И. Контактные схемы — элементы ЭВМ. — Саратов, 1991. 11. Кайберг Г. Вероятность и индуктивная логика: Пер. с англ. — М., 1978.
440 12. Калабеков Б.А., Мамзелев Н.А. Цифровые устройства и микропроцессорные системы. — М., 1987. 13. Калбер|псон Дж. Т. Математика и логика цифровых устройств: Пер. с англ. — М., 1965. 14. Мелихов А. Н., Чефранов А. Г. Применение ЭВМ для решения залач математической логики.
— Таганрог, 1988. 15. Минский М Вычисления и автоматы: Пер. с англ. — М., 1971. 16. Непомнящий В.А., Рякин О.М. Прикладные методы верификации программ. — М., 1988. 17. Нивергельт Ю., Фаррар Дж., Рвйнголд Э. Машинный подход к решению математических задач: Пер. с англ. — М., 1977. 18. Ньюэлл А., Шоу Дж. С., Саймон ГА.
Процессы творческого мышления: Пер. с англ. // Психология мышления. — М., 1965. — С. 500 — 530. 19. ПоспеловД А. Логические методы анализа и синтеза схем. — М., 1968. 20. РобинсонДж. А. Машинно-ориентированная логика, основанная на принципе резолюции: Пер. с англ. и нем. // Сб. статей под ред. А.М. Матюшкина. Вып. 7. — М., 1970. — С. 194 — 218. 21. Трачик В. Дискретные устройства автоматики: Пер. с пол. — М., 1978. 22. Тьюринг А. Может ли машина мыслить?: Пер.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
