Відмінності між версіями «Ресурси курсу "Навчальний курс "Математична логіка", ФМФ"»

Матеріал з Вікі ЦДУ
Перейти до: навігація, пошук
(→‎Інформаційні ресурси)
 
(не показано 13 проміжних версій цього учасника)
Рядок 30: Рядок 30:
 
# Шкільняк С.С. Математична логіка і теорія алгоритмів: приклади і задачі. Навчальний посібник.—К., 2000 р.
 
# Шкільняк С.С. Математична логіка і теорія алгоритмів: приклади і задачі. Навчальний посібник.—К., 2000 р.
 
# Эдельман С.Л. Математическая логика.-М.: Высшая школа,1975.-176 с.
 
# Эдельман С.Л. Математическая логика.-М.: Высшая школа,1975.-176 с.
−
#
 
−
#
 
−
#
 
  
 
===Допоміжна===
 
===Допоміжна===
Рядок 47: Рядок 44:
 
==Інформаційні ресурси==
 
==Інформаційні ресурси==
  
−
 
+
techlibrary(http://www.techlibrary.ru/)
−
# Айзерман М.А., Гусев Л.А., Розоноэр Л.И., Смирнова И.М., Таль А.А. Логика, автоматы, алгоритмы. М.: ГИФМЛ, 1963 (djvu, 5.45 M)
+
−
#   Беркли Э. Символическая логика и разумные машины. М.: ИЛ, 1961 (djvu, 1.98 M)
+
# [http://mechmath.ipmnet.ru/lib/?s=logic&book=2371&get=2371ммммммммммм, Айзерман М.А., Гусев Л.А., Розоноэр Л.И., Смирнова И.М., Таль А.А. Логика, автоматы, алгоритмы. М.: ГИФМЛ, 1963] 
−
#   Бочвар Д.А., Гришин В.Н. (ред.) Исследования по теории множеств и неклассическим логикам. М.: Наука, 1976 (djvu, 5.40 M)
+
# [http://mechmath.ipmnet.ru/lib/?s=logic&book=2372&get=2372, Беркли Э. Символическая логика и разумные машины. М.: ИЛ, 1961 ( 1.98 M) ]
−
#   Бродский И.Н. Отрицательные высказывания. Л.: ЛГУ, 1973 (djvu, 1.35 M)
+
# [http://mechmath.ipmnet.ru/lib/?s=logic&book=2373&get=2373, Бочвар Д.А., Гришин В.Н. (ред.) Исследования по теории множеств и неклассическим логикам. М.: Наука, 1976 ( 5.40 M)]
−
#  Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств. М.: ИЛ, 1963 (djvu, 446 K)
+
# [http://mechmath.ipmnet.ru/lib/?s=logic&book=2374&get=2374, Бродский И.Н. Отрицательные высказывания. Л.: ЛГУ, 1973 (1.35 M)]
−
#  Владимиров Д.А. Булевы алгебры. М.: Наука, 1969 (djvu, 3.21 M)
+
#  [http://mechmath.ipmnet.ru/lib/?s=logic&book=2375&get=2375, Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств. М.: ИЛ, 1963 ( 446 K)]
−
#  Гастев Ю.А. Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования. М.: Наука, 1975 (djvu, 1.77 M)
+
#  [http://mechmath.ipmnet.ru/lib/?s=logic&book=2376&get=2376, Владимиров Д.А. Булевы алгебры. М.: Наука, 1969 ( 3.21 M)]
−
#  Гейтинг А. Интуиционизм. М.: Мир, 1965 (djvu, 1.49 M)
+
#  Гастев Ю.А. Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования. М.: Наука, 1975 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2377&get=2377, 1.77 M)
−
#  Генкин Л. О математической индукции. М.: ГИФМЛ, 1962 (djvu, 716 K)
+
#  Гейтинг А. Интуиционизм. М.: Мир, 1965 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2379&get=2379, 1.49 M)
−
#  Гильберт Д., Аккерман В. Основы теоретической логики. М.: ГИИЛ, 1947 (djvu, 3.65 M)
+
#  Генкин Л. О математической индукции. М.: ГИФМЛ, 1962 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2379&get=2379, 716 K)
−
#  Гиндикин С.Г. Алгебра логики в задачах. М.: Наука, 1972 (djvu, 3.84 M)
+
#  Гильберт Д., Аккерман В. Основы теоретической логики. М.: ГИИЛ, 1947 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2380&get=2380, 3.65 M)
−
#  Горский Д.П., Таванец П.В. (ред.) Логика. М.: ГИПЛ, 1956 (djvu, 2.91 M)
+
#  Гиндикин С.Г. Алгебра логики в задачах. М.: Наука, 1972 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2381&get=2381, 3.84 M)
−
#    Гохман А.В., Спивак М.А., Розен В.В. и др. Сборник задач по математической логике и алгебре множеств. (2-е изд.). Саратов: Саратовский ун-т, 1969 (djvu, 818 K)
+
#  Горский Д.П., Таванец П.В. (ред.) Логика. М.: ГИПЛ, 1956 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2382&get=2382, 2.91 M)
−
#  Гудстейн Р.Л. Математическая логика. М.: ИЛ, 1961 (djvu, 3.68 M)
+
#    Гохман А.В., Спивак М.А., Розен В.В. и др. Сборник задач по математической логике и алгебре множеств. (2-е изд.). Саратов: Саратовский ун-т, 1969 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2383&get=2383, 818 K)
−
#    Ершов Ю.Л. Теория нумераций. М.: Наука, 1977 (djvu, 3.39 M)
+
#  Гудстейн Р.Л. Математическая логика. М.: ИЛ, 1961 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2384&get=2384, 3.68 M)
−
#    Зиновьев А.А. Логическая физика. М.: Наука, 1972 (djvu, 1.60 M)
+
#    Ершов Ю.Л. Теория нумераций. М.: Наука, 1977 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2385&get=2385, 3.39 M)
−
#    Идельсон А.В., Минц Г.Е. (ред.). Математическая теория логического вывода (сборник переводов). М.: Наука, 1967 (djvu, 3.34 M)
+
#    Зиновьев А.А. Логическая физика. М.: Наука, 1972 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2386&get=2386, 1.60 M)
−
#    Калужнин Л.А. Что такое математическая логика? М.: Наука, 1964 (djvu, 1.32 M)
+
#    Идельсон А.В., Минц Г.Е. (ред.). Математическая теория логического вывода (сборник переводов). М.: Наука, 1967 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2387&get=2387, 3.34 M)
−
#    Карри Х.Б. Основания математической логики. М.: Мир, 1969 (djvu, 6.03 M)
+
#    Калужнин Л.А. Что такое математическая логика? М.: Наука, 1964 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2388&get=2388, 1.32 M)
−
#    Кейслер Г.Дж., Чэн Чень-чунь. Теория непрерывных моделей. М.: Мир, 1971 (djvu, 1.83 M)
+
#    Карри Х.Б. Основания математической логики. М.: Мир, 1969 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2389&get=2389, 6.03 M)
−
#    Клини С. Введение в метаматематику. М.: Иностр. литература, 1957 (djvu, 9.32 M)
+
#    Кейслер Г.Дж., Чэн Чень-чунь. Теория непрерывных моделей. М.: Мир, 1971 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2390&get=2390, 1.83 M)
−
#    Клини С. Математическая логика. М.: Мир, 1973 (djvu, 6.09 M)
+
#    Клини С. Введение в метаматематику. М.: Иностр. литература, 1957 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2391&get=2391, 9.32 M)
−
#    Кондаков Н.И. Введение в логику. М.: Наука, 1967 (djvu, 6.80 M)
+
#    Клини С. Математическая логика. М.: Мир, 1973 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2392&get=2392, 6.09 M)
−
#    Кузичев А.С. Диаграммы Венна. М.: Наука, 1968 (djvu, 4.05 M)
+
#    Кондаков Н.И. Введение в логику. М.: Наука, 1967 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2393&get=2393, 6.80 M)
−
#    Кутасов А.Д. Элементы математической логики. М.: Просвещение, 1977 (djvu, 828 K)
+
#    Кузичев А.С. Диаграммы Венна. М.: Наука, 1968 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2395&get=2395, 4.05 M)
−
#    Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М.: Наука, 1967 (djvu, 1.81 M)
+
#    Кутасов А.Д. Элементы математической логики. М.: Просвещение, 1977 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2394&get=2394, 828 K)
−
#    Линдон Р. Заметки по логике. М.: Мир, 1968 (djvu, 1.25 M)
+
#    Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М.: Наука, 1967 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2396&get=2396, 1.81 M)
−
#    Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: ИЛ, 1959 (djvu, 6.28 M)
+
#    Линдон Р. Заметки по логике. М.: Мир, 1968 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2397&get=2397, 1.25 M)
−
#    Манин Ю.И. Лекции по математической логике. Часть 1. М.: МИЭМ, 1974 (djvu, 1.55 M)
+
#    Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: ИЛ, 1959 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2398&get=2398, 6.28 M)
−
#    Манин Ю.И. Лекции по математической логике. Часть 2. М.: МИЭМ, 1974 (djvu, 894 K)
+
#    Манин Ю.И. Лекции по математической логике. Часть 1. М.: МИЭМ, 1974 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2399&get=2399, 1.55 M)
−
#    Мартин-Лёф П. Очерки по конструктивной математике. М.: Мир, 1975 (djvu, 1.24 M)
+
#    Манин Ю.И. Лекции по математической логике. Часть 2. М.: МИЭМ, 1974 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2400&get=2400, 894 K)
−
#    Мельников Г.П. Азбука математической логики. М.: Знание, 1967 (djvu, 1.79 M)
+
#    Мартин-Лёф П. Очерки по конструктивной математике. М.: Мир, 1975 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2401&get=2401, 1.24 M)
−
#    Мендельсон Э. Введение в математическую логику. М.: Наука, 1971 (djvu, 3.59 M)
+
#    Мельников Г.П. Азбука математической логики. М.: Знание, 1967 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2402&get=2402, 1.79 M)
−
#    Мешалкин Л.Д. (ред.) Психологические измерения. М.: Мир, 1967 (djvu, 2.34 M)
+
#    Мендельсон Э. Введение в математическую логику. М.: Наука, 1971 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2403&get=2403, 3.59 M)
−
#    Молодший В.Н. Очерки по вопросам обоснования математики. М.: Учпедгиз, 1958 (djvu, 2.66 M)
+
#    Мешалкин Л.Д. (ред.) Психологические измерения. М.: Мир, 1967 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2404&get=2404, 2.34 M)
−
#    Никитин В.В. Сборник логических упражнений. Пособие для учителей математики. М.: Просвещение, 1970 (djvu, 1.19 M)
+
#    Молодший В.Н. Очерки по вопросам обоснования математики. М.: Учпедгиз, 1958 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2405&get=2405, 2.66 M)
−
#    Новиков П.С. Конструктивная математическая логика. М.: Наука, 1977 (djvu, 4.96 M)
+
#    Никитин В.В. Сборник логических упражнений. Пособие для учителей математики. М.: Просвещение, 1970 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2406&get=2406, 1.19 M)
−
#    Новиков П.С. Элементы математической логики (2-е изд.). М.: Наука, 1973 (djvu, 7.71 M)
+
#    Новиков П.С. Конструктивная математическая логика. М.: Наука, 1977 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2408&get=2408, 4.96 M)
−
#    Пензов Ю.Е. Элементы математической логики и теории множеств. Саратов: Сарат. ун-т, 1968 (djvu, 1.51 M)
+
#    Новиков П.С. Элементы математической логики (2-е изд.). М.: Наука, 1973 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2407&get=2407, 7.71 M)
−
#    Попов А.И. Введение в математическую логику. Л.: ЛГУ, 1959 (djvu, 1.33 M)
+
#    Пензов Ю.Е. Элементы математической логики и теории множеств. Саратов: Сарат. ун-т, 1968 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2409&get=2409, 1.51 M)
−
#    Ракитов А.И. Курс лекций по логике науки. М.: Высш. шк., 1971 (djvu, 1.37 M)
+
#    Попов А.И. Введение в математическую логику. Л.: ЛГУ, 1959 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2410&get=2410, 1.33 M)
−
#    Рассева Е., Сикорский Р. Математика метаматематики. М.: Наука, 1972 (djvu, 6.79 M)
+
#    Ракитов А.И. Курс лекций по логике науки. М.: Высш. шк., 1971 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2411&get=2411, 1.37 M)
−
#    Робинсон А. Введение в теорию моделей и метаматематику алгебры. М.: Наука, 1967 (djvu, 3.04 M)
+
#    Рассева Е., Сикорский Р. Математика метаматематики. М.: Наука, 1972 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2412&get=2412, 6.79 M)
−
#    Сакс Дж.Е. Теория насыщенных моделей. М.: Мир, 1976 (djvu, 2.20 M)
+
#    Робинсон А. Введение в теорию моделей и метаматематику алгебры. М.: Наука, 1967 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2424&get=2424, 3.04 M)
−
#    Серебрянников О.Ф. Эвристические принципы и логические исчисления. М.: Наука, 1970 (djvu, 2.20 M)
+
#    Сакс Дж.Е. Теория насыщенных моделей. М.: Мир, 1976 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2413&get=2413, 2.20 M)
−
#    Сикорский Р. Булевы алгебры. М.: Мир, 1969 (djvu, 5.70 M)
+
#    Серебрянников О.Ф. Эвристические принципы и логические исчисления. М.: Наука, 1970 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2414&get=2414, 2.20 M)
−
#    Слупецкий Е., Борковский Л. Элементы математической логики и теория множеств. М.: Прогресс, 1965 (djvu, 2.33 M)
+
#    Сикорский Р. Булевы алгебры. М.: Мир, 1969 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2415&get=2415, 5.70 M)
−
#    Столл Р.Р. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968 (djvu, 4.22 M)
+
#    Слупецкий Е., Борковский Л. Элементы математической логики и теория множеств. М.: Прогресс, 1965 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2416&get=2416, 2.33 M)
−
#    Столяр А.А. Логические проблемы преподавания математики. Мн.: Высш. шк., 1965 (djvu, 2.63 M)
+
#    Столл Р.Р. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2420&get=2420, 4.22 M)
−
#    Столяр А.А. Логическое введение в математику. Мн.: Выш. шк., 1971 (djvu, 1.46 M)
+
#    Столяр А.А. Логические проблемы преподавания математики. Мн.: Высш. шк., 1965 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2418&get=2418, 2.63 M)
−
#    Стяжкин Н.И. Формирование математической логики М.: Наука, 1967 (djvu, 5.69 M)
+
#    Столяр А.А. Логическое введение в математику. Мн.: Выш. шк., 1971 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2419&get=2419, 1.46 M)
−
#    Таванец П.В. (ред.) Философские вопросы современной формальной логики. М.: АН СССР, 1962 (djvu, 5.56 M)
+
#    Стяжкин Н.И. Формирование математической логики М.: Наука, 1967 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2417&get=2417, 5.69 M)
−
#    Таванец П.В. (ред.). Проблемы логики. М.: АН СССР, 1963 (djvu, 1.24 M)
+
#    Таванец П.В. (ред.) Философские вопросы современной формальной логики. М.: АН СССР, 1962 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2422&get=2422, 5.56 M)
−
#    Тарский А. Введение в логику и методологию дедуктивных наук. М.: ГИИЛ, 1948 (djvu, 6.83 M)
+
#    Таванец П.В. (ред.). Проблемы логики. М.: АН СССР, 1963 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2421&get=2421, 1.24 M)
−
#    Успенский В.А. Лекции о вычислимых функциях. М.: ГИФМЛ, 1960 (djvu, 5.44 M)
+
#    Тарский А. Введение в логику и методологию дедуктивных наук. М.: ГИИЛ, 1948 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2423&get=2423, 6.83 M)
−
#    Фрейденталь Х. Язык логики. М.: Наука, 1969 (djvu, 1 023 K)
+
#    Успенский В.А. Лекции о вычислимых функциях. М.: ГИФМЛ, 1960 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2425&get=2425, 5.44 M)
−
#    Френкель А.А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966 (djvu, 8.85 M)
+
#    Фрейденталь Х. Язык логики. М.: Наука, 1969 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2426&get=2426, 1 023 K)
−
#    Харин Н.Н. Математическая логика и теория множеств. М.: Росвузиздат, 1963 (djvu, 2.38 M)
+
#    Френкель А.А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2427&get=2427, 8.85 M)
−
#    Чёрч А. Введение в математическую логику. Т.1. М.: ИЛ, 1960 (djvu, 5.29 M)
+
#    Харин Н.Н. Математическая логика и теория множеств. М.: Росвузиздат, 1963 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2428&get=2428, 2.38 M)
−
#    Чупахин И.Я., Бродский И.Н. (ред.). Формальная логика. Л.: ЛГУ, 1977 (djvu, 3.77 M)
+
#    Чёрч А. Введение в математическую логику. Т.1. М.: ИЛ, 1960 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2429&get=2429, 5.29 M)
−
#    Шанин Н.А. О некоторых логических проблемах арифметики (Труды МИАН т.43). М.: АН СССР, 1955 (djvu, 1.84 M)
+
#    Чупахин И.Я., Бродский И.Н. (ред.). Формальная логика. Л.: ЛГУ, 1977 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2430&get=2430, 3.77 M)
−
#    Шапиро С.И. От алгоритмов - к суждениям. Эксперименты по обучению элементам математического мышления. М.: Сов. радио, 1973 (djvu, 2.85 M)
+
#    Шанин Н.А. О некоторых логических проблемах арифметики (Труды МИАН т.43). М.: АН СССР, 1955 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2431&get=2431, 1.84 M)
−
#    Шенфилд Дж. Математическая логика. М.: Наука, 1975 (djvu, 4.99 M)
+
#    Шапиро С.И. От алгоритмов - к суждениям. Эксперименты по обучению элементам математического мышления. М.: Сов. радио, 1973 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2432&get=2432, 2.85 M)
−
#    Шенфилд Дж. Степени неразрешимости. М.: Наука, 1977 (djvu, 2.46 M)
+
#    Шенфилд Дж. Математическая логика. М.: Наука, 1975 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2434&get=2434, 4.99 M)
−
#    Шрейдер Ю.А. Равенство, сходство, порядок. М.: Наука, 1971 (djvu, 2.71 M)
+
#    Шенфилд Дж. Степени неразрешимости. М.: Наука, 1977 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2433&get=2433, 2.46 M)
−
#    Эдельман С.Л. Математическая логика. М.: Высш. шк., 1975 (djvu, 1.48 M)
+
#    Шрейдер Ю.А. Равенство, сходство, порядок. М.: Наука, 1971 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2435&get=2435, 2.71 M)
−
#    Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. М.: Наука, 1966 (pdf, 3.03 M)
+
#    Эдельман С.Л. Математическая логика. М.: Высш. шк., 1975 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2436&get=2436, 1.48 M)
 +
#    Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. М.: Наука, 1966 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2437&get=2437, 3.03 M)
  
−
---
+
----
 
[[Категорія:Навчальні курси]]
 
[[Категорія:Навчальні курси]]

Поточна версія на 12:03, 6 листопада 2015

Ресурси
 

Ресурси

Рекомендована література

Базова

  1. Гуц А.К. Математическая логика и теория алгоритмов: учебное пособие. — Омск: Изд-во Наследие. Диалог-Сибирь, 2003. — 108 с.
  2. Донской В. И. Дискретная математика. — Издательство «СОНАТ», 2000. — 360с.
  3. Игошин В.И. Математическая логика и теория алгоритмов.- Изд-во Саратовського ун-та, 1991.-256с.
  4. Калужнін Л.А.,Королюк В.С. Алгоритми і математичні машини.-К.:Вища школа, 1965
  5. Лиман Ф.М. Математична логіка та теорія алгоритмів.- Суми, вид-во „Слобожанщина”,1998.-152 с.
  6. Мендельсон Э. Введение в математическую логику.- М.:Наука, 1976.-320 с.
  7. Никольская И. Л. Математическая логика: Учебник. — М.: Высш. школа, 1981.— 127 с.
  8. Новиков П.С. Элементы математической логики.-М.:Наука, 1973.-399с.
  9. Євладенко В.М., Паращук С.Д. Методичні вказівки до практичних занять з математичної логіки.-Кіровоград:КДПІ, 1990
  10. Євладенко В.М., Халецька З.П., Нарадовий В.В. Математична логіка та теорія алгоритмів: Навчально-методичний посібник. Кіровоград: Видавництво «КОД», 2009. 116с.
  11. Хромой Я.В. Математична логіка.- К.:Вища школа,1983.-208 с.
  12. Чуб О.Т.,Коба В.І. Збірник вправ з курсу „Алгоритми і математичні машини”.- К.:Вища школа, 1970.-216 с.
  13. Шкільняк С.С. Математична логіка і теорія алгоритмів: приклади і задачі. Навчальний посібник.—К., 2000 р.
  14. Эдельман С.Л. Математическая логика.-М.: Высшая школа,1975.-176 с.

Допоміжна

  1. Донской В.И. Дискретная математика.- Симферополь, 2000.
  2. Ершов Ю.Л., Палютин Е.А. Математическая логика – М.:Наука, 1979.-320 с.
  3. Клини С. Математическая логика – М, 1973
  4. Лісова Т.В. Математична логіка та теорія алгоритмів:практикум. – Ніжин, 2011. Ч2. 116с
  5. Мальцев А.И. Алгоритмы и рекурсивне функции. – М, 1965.
  6. Середа В.Ю. Математична логіка в шкільному курсі математики.-К.: Радянська школа, 1984.- 144 с.
  7. Столл Р.Р. Множества. Логика. Аксиоматические теории. – М.: Просвещение, 1968.-231 с.
  8. Черч А. Введение в математическую логику – М, 1960.

Інформаційні ресурси

techlibrary(http://www.techlibrary.ru/)
  1. Айзерман М.А., Гусев Л.А., Розоноэр Л.И., Смирнова И.М., Таль А.А. Логика, автоматы, алгоритмы. М.: ГИФМЛ, 1963
  2. Беркли Э. Символическая логика и разумные машины. М.: ИЛ, 1961 ( 1.98 M)
  3. Бочвар Д.А., Гришин В.Н. (ред.) Исследования по теории множеств и неклассическим логикам. М.: Наука, 1976 ( 5.40 M)
  4. Бродский И.Н. Отрицательные высказывания. Л.: ЛГУ, 1973 (1.35 M)
  5. Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств. М.: ИЛ, 1963 ( 446 K)
  6. Владимиров Д.А. Булевы алгебры. М.: Наука, 1969 ( 3.21 M)
  7. Гастев Ю.А. Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования. М.: Наука, 1975 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2377&get=2377, 1.77 M)
  8. Гейтинг А. Интуиционизм. М.: Мир, 1965 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2379&get=2379, 1.49 M)
  9. Генкин Л. О математической индукции. М.: ГИФМЛ, 1962 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2379&get=2379, 716 K)
  10. Гильберт Д., Аккерман В. Основы теоретической логики. М.: ГИИЛ, 1947 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2380&get=2380, 3.65 M)
  11. Гиндикин С.Г. Алгебра логики в задачах. М.: Наука, 1972 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2381&get=2381, 3.84 M)
  12. Горский Д.П., Таванец П.В. (ред.) Логика. М.: ГИПЛ, 1956 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2382&get=2382, 2.91 M)
  13. Гохман А.В., Спивак М.А., Розен В.В. и др. Сборник задач по математической логике и алгебре множеств. (2-е изд.). Саратов: Саратовский ун-т, 1969 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2383&get=2383, 818 K)
  14. Гудстейн Р.Л. Математическая логика. М.: ИЛ, 1961 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2384&get=2384, 3.68 M)
  15. Ершов Ю.Л. Теория нумераций. М.: Наука, 1977 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2385&get=2385, 3.39 M)
  16. Зиновьев А.А. Логическая физика. М.: Наука, 1972 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2386&get=2386, 1.60 M)
  17. Идельсон А.В., Минц Г.Е. (ред.). Математическая теория логического вывода (сборник переводов). М.: Наука, 1967 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2387&get=2387, 3.34 M)
  18. Калужнин Л.А. Что такое математическая логика? М.: Наука, 1964 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2388&get=2388, 1.32 M)
  19. Карри Х.Б. Основания математической логики. М.: Мир, 1969 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2389&get=2389, 6.03 M)
  20. Кейслер Г.Дж., Чэн Чень-чунь. Теория непрерывных моделей. М.: Мир, 1971 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2390&get=2390, 1.83 M)
  21. Клини С. Введение в метаматематику. М.: Иностр. литература, 1957 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2391&get=2391, 9.32 M)
  22. Клини С. Математическая логика. М.: Мир, 1973 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2392&get=2392, 6.09 M)
  23. Кондаков Н.И. Введение в логику. М.: Наука, 1967 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2393&get=2393, 6.80 M)
  24. Кузичев А.С. Диаграммы Венна. М.: Наука, 1968 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2395&get=2395, 4.05 M)
  25. Кутасов А.Д. Элементы математической логики. М.: Просвещение, 1977 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2394&get=2394, 828 K)
  26. Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М.: Наука, 1967 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2396&get=2396, 1.81 M)
  27. Линдон Р. Заметки по логике. М.: Мир, 1968 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2397&get=2397, 1.25 M)
  28. Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: ИЛ, 1959 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2398&get=2398, 6.28 M)
  29. Манин Ю.И. Лекции по математической логике. Часть 1. М.: МИЭМ, 1974 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2399&get=2399, 1.55 M)
  30. Манин Ю.И. Лекции по математической логике. Часть 2. М.: МИЭМ, 1974 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2400&get=2400, 894 K)
  31. Мартин-Лёф П. Очерки по конструктивной математике. М.: Мир, 1975 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2401&get=2401, 1.24 M)
  32. Мельников Г.П. Азбука математической логики. М.: Знание, 1967 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2402&get=2402, 1.79 M)
  33. Мендельсон Э. Введение в математическую логику. М.: Наука, 1971 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2403&get=2403, 3.59 M)
  34. Мешалкин Л.Д. (ред.) Психологические измерения. М.: Мир, 1967 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2404&get=2404, 2.34 M)
  35. Молодший В.Н. Очерки по вопросам обоснования математики. М.: Учпедгиз, 1958 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2405&get=2405, 2.66 M)
  36. Никитин В.В. Сборник логических упражнений. Пособие для учителей математики. М.: Просвещение, 1970 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2406&get=2406, 1.19 M)
  37. Новиков П.С. Конструктивная математическая логика. М.: Наука, 1977 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2408&get=2408, 4.96 M)
  38. Новиков П.С. Элементы математической логики (2-е изд.). М.: Наука, 1973 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2407&get=2407, 7.71 M)
  39. Пензов Ю.Е. Элементы математической логики и теории множеств. Саратов: Сарат. ун-т, 1968 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2409&get=2409, 1.51 M)
  40. Попов А.И. Введение в математическую логику. Л.: ЛГУ, 1959 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2410&get=2410, 1.33 M)
  41. Ракитов А.И. Курс лекций по логике науки. М.: Высш. шк., 1971 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2411&get=2411, 1.37 M)
  42. Рассева Е., Сикорский Р. Математика метаматематики. М.: Наука, 1972 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2412&get=2412, 6.79 M)
  43. Робинсон А. Введение в теорию моделей и метаматематику алгебры. М.: Наука, 1967 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2424&get=2424, 3.04 M)
  44. Сакс Дж.Е. Теория насыщенных моделей. М.: Мир, 1976 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2413&get=2413, 2.20 M)
  45. Серебрянников О.Ф. Эвристические принципы и логические исчисления. М.: Наука, 1970 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2414&get=2414, 2.20 M)
  46. Сикорский Р. Булевы алгебры. М.: Мир, 1969 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2415&get=2415, 5.70 M)
  47. Слупецкий Е., Борковский Л. Элементы математической логики и теория множеств. М.: Прогресс, 1965 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2416&get=2416, 2.33 M)
  48. Столл Р.Р. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2420&get=2420, 4.22 M)
  49. Столяр А.А. Логические проблемы преподавания математики. Мн.: Высш. шк., 1965 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2418&get=2418, 2.63 M)
  50. Столяр А.А. Логическое введение в математику. Мн.: Выш. шк., 1971 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2419&get=2419, 1.46 M)
  51. Стяжкин Н.И. Формирование математической логики М.: Наука, 1967 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2417&get=2417, 5.69 M)
  52. Таванец П.В. (ред.) Философские вопросы современной формальной логики. М.: АН СССР, 1962 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2422&get=2422, 5.56 M)
  53. Таванец П.В. (ред.). Проблемы логики. М.: АН СССР, 1963 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2421&get=2421, 1.24 M)
  54. Тарский А. Введение в логику и методологию дедуктивных наук. М.: ГИИЛ, 1948 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2423&get=2423, 6.83 M)
  55. Успенский В.А. Лекции о вычислимых функциях. М.: ГИФМЛ, 1960 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2425&get=2425, 5.44 M)
  56. Фрейденталь Х. Язык логики. М.: Наука, 1969 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2426&get=2426, 1 023 K)
  57. Френкель А.А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2427&get=2427, 8.85 M)
  58. Харин Н.Н. Математическая логика и теория множеств. М.: Росвузиздат, 1963 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2428&get=2428, 2.38 M)
  59. Чёрч А. Введение в математическую логику. Т.1. М.: ИЛ, 1960 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2429&get=2429, 5.29 M)
  60. Чупахин И.Я., Бродский И.Н. (ред.). Формальная логика. Л.: ЛГУ, 1977 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2430&get=2430, 3.77 M)
  61. Шанин Н.А. О некоторых логических проблемах арифметики (Труды МИАН т.43). М.: АН СССР, 1955 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2431&get=2431, 1.84 M)
  62. Шапиро С.И. От алгоритмов - к суждениям. Эксперименты по обучению элементам математического мышления. М.: Сов. радио, 1973 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2432&get=2432, 2.85 M)
  63. Шенфилд Дж. Математическая логика. М.: Наука, 1975 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2434&get=2434, 4.99 M)
  64. Шенфилд Дж. Степени неразрешимости. М.: Наука, 1977 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2433&get=2433, 2.46 M)
  65. Шрейдер Ю.А. Равенство, сходство, порядок. М.: Наука, 1971 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2435&get=2435, 2.71 M)
  66. Эдельман С.Л. Математическая логика. М.: Высш. шк., 1975 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2436&get=2436, 1.48 M)
  67. Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. М.: Наука, 1966 (http://mechmath.ipmnet.ru/lib/?s=logic&book=2437&get=2437, 3.03 M)
Отримано з https://wiki.cusu.edu.ua/index.php?title=Ресурси_курсу_%22Навчальний_курс_%22Математична_логіка%22,_ФМФ%22&oldid=200248