Відмінності між версіями «Ресурси курсу "Навчальний курс "Математична логіка", ФМФ"»
Матеріал з Вікі ЦДУ
(→Допоміжна) |
(→Інформаційні ресурси) |
||
| Рядок 47: | Рядок 47: | ||
==Інформаційні ресурси== | ==Інформаційні ресурси== | ||
| − | # | + | # Айзерман М.А., Гусев Л.А., Розоноэр Л.И., Смирнова И.М., Таль А.А. Логика, автоматы, алгоритмы. М.: ГИФМЛ, 1963 (djvu, 5.45 M) |
| − | # | + | # Беркли Э. Символическая логика и разумные машины. М.: ИЛ, 1961 (djvu, 1.98 M) |
| + | # Бочвар Д.А., Гришин В.Н. (ред.) Исследования по теории множеств и неклассическим логикам. М.: Наука, 1976 (djvu, 5.40 M) | ||
| + | # Бродский И.Н. Отрицательные высказывания. Л.: ЛГУ, 1973 (djvu, 1.35 M) | ||
| + | # Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств. М.: ИЛ, 1963 (djvu, 446 K) | ||
| + | # Владимиров Д.А. Булевы алгебры. М.: Наука, 1969 (djvu, 3.21 M) | ||
| + | # Гастев Ю.А. Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования. М.: Наука, 1975 (djvu, 1.77 M) | ||
| + | # Гейтинг А. Интуиционизм. М.: Мир, 1965 (djvu, 1.49 M) | ||
| + | # Генкин Л. О математической индукции. М.: ГИФМЛ, 1962 (djvu, 716 K) | ||
| + | # Гильберт Д., Аккерман В. Основы теоретической логики. М.: ГИИЛ, 1947 (djvu, 3.65 M) | ||
| + | # Гиндикин С.Г. Алгебра логики в задачах. М.: Наука, 1972 (djvu, 3.84 M) | ||
| + | # Горский Д.П., Таванец П.В. (ред.) Логика. М.: ГИПЛ, 1956 (djvu, 2.91 M) | ||
| + | # Гохман А.В., Спивак М.А., Розен В.В. и др. Сборник задач по математической логике и алгебре множеств. (2-е изд.). Саратов: Саратовский ун-т, 1969 (djvu, 818 K) | ||
| + | # Гудстейн Р.Л. Математическая логика. М.: ИЛ, 1961 (djvu, 3.68 M) | ||
| + | # Ершов Ю.Л. Теория нумераций. М.: Наука, 1977 (djvu, 3.39 M) | ||
| + | # Зиновьев А.А. Логическая физика. М.: Наука, 1972 (djvu, 1.60 M) | ||
| + | # Идельсон А.В., Минц Г.Е. (ред.). Математическая теория логического вывода (сборник переводов). М.: Наука, 1967 (djvu, 3.34 M) | ||
| + | # Калужнин Л.А. Что такое математическая логика? М.: Наука, 1964 (djvu, 1.32 M) | ||
| + | # Карри Х.Б. Основания математической логики. М.: Мир, 1969 (djvu, 6.03 M) | ||
| + | # Кейслер Г.Дж., Чэн Чень-чунь. Теория непрерывных моделей. М.: Мир, 1971 (djvu, 1.83 M) | ||
| + | # Клини С. Введение в метаматематику. М.: Иностр. литература, 1957 (djvu, 9.32 M) | ||
| + | # Клини С. Математическая логика. М.: Мир, 1973 (djvu, 6.09 M) | ||
| + | # Кондаков Н.И. Введение в логику. М.: Наука, 1967 (djvu, 6.80 M) | ||
| + | # Кузичев А.С. Диаграммы Венна. М.: Наука, 1968 (djvu, 4.05 M) | ||
| + | # Кутасов А.Д. Элементы математической логики. М.: Просвещение, 1977 (djvu, 828 K) | ||
| + | # Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М.: Наука, 1967 (djvu, 1.81 M) | ||
| + | # Линдон Р. Заметки по логике. М.: Мир, 1968 (djvu, 1.25 M) | ||
| + | # Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: ИЛ, 1959 (djvu, 6.28 M) | ||
| + | # Манин Ю.И. Лекции по математической логике. Часть 1. М.: МИЭМ, 1974 (djvu, 1.55 M) | ||
| + | # Манин Ю.И. Лекции по математической логике. Часть 2. М.: МИЭМ, 1974 (djvu, 894 K) | ||
| + | # Мартин-Лёф П. Очерки по конструктивной математике. М.: Мир, 1975 (djvu, 1.24 M) | ||
| + | # Мельников Г.П. Азбука математической логики. М.: Знание, 1967 (djvu, 1.79 M) | ||
| + | # Мендельсон Э. Введение в математическую логику. М.: Наука, 1971 (djvu, 3.59 M) | ||
| + | # Мешалкин Л.Д. (ред.) Психологические измерения. М.: Мир, 1967 (djvu, 2.34 M) | ||
| + | # Молодший В.Н. Очерки по вопросам обоснования математики. М.: Учпедгиз, 1958 (djvu, 2.66 M) | ||
| + | # Никитин В.В. Сборник логических упражнений. Пособие для учителей математики. М.: Просвещение, 1970 (djvu, 1.19 M) | ||
| + | # Новиков П.С. Конструктивная математическая логика. М.: Наука, 1977 (djvu, 4.96 M) | ||
| + | # Новиков П.С. Элементы математической логики (2-е изд.). М.: Наука, 1973 (djvu, 7.71 M) | ||
| + | # Пензов Ю.Е. Элементы математической логики и теории множеств. Саратов: Сарат. ун-т, 1968 (djvu, 1.51 M) | ||
| + | # Попов А.И. Введение в математическую логику. Л.: ЛГУ, 1959 (djvu, 1.33 M) | ||
| + | # Ракитов А.И. Курс лекций по логике науки. М.: Высш. шк., 1971 (djvu, 1.37 M) | ||
| + | # Рассева Е., Сикорский Р. Математика метаматематики. М.: Наука, 1972 (djvu, 6.79 M) | ||
| + | # Робинсон А. Введение в теорию моделей и метаматематику алгебры. М.: Наука, 1967 (djvu, 3.04 M) | ||
| + | # Сакс Дж.Е. Теория насыщенных моделей. М.: Мир, 1976 (djvu, 2.20 M) | ||
| + | # Серебрянников О.Ф. Эвристические принципы и логические исчисления. М.: Наука, 1970 (djvu, 2.20 M) | ||
| + | # Сикорский Р. Булевы алгебры. М.: Мир, 1969 (djvu, 5.70 M) | ||
| + | # Слупецкий Е., Борковский Л. Элементы математической логики и теория множеств. М.: Прогресс, 1965 (djvu, 2.33 M) | ||
| + | # Столл Р.Р. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968 (djvu, 4.22 M) | ||
| + | # Столяр А.А. Логические проблемы преподавания математики. Мн.: Высш. шк., 1965 (djvu, 2.63 M) | ||
| + | # Столяр А.А. Логическое введение в математику. Мн.: Выш. шк., 1971 (djvu, 1.46 M) | ||
| + | # Стяжкин Н.И. Формирование математической логики М.: Наука, 1967 (djvu, 5.69 M) | ||
| + | # Таванец П.В. (ред.) Философские вопросы современной формальной логики. М.: АН СССР, 1962 (djvu, 5.56 M) | ||
| + | # Таванец П.В. (ред.). Проблемы логики. М.: АН СССР, 1963 (djvu, 1.24 M) | ||
| + | # Тарский А. Введение в логику и методологию дедуктивных наук. М.: ГИИЛ, 1948 (djvu, 6.83 M) | ||
| + | # Успенский В.А. Лекции о вычислимых функциях. М.: ГИФМЛ, 1960 (djvu, 5.44 M) | ||
| + | # Фрейденталь Х. Язык логики. М.: Наука, 1969 (djvu, 1 023 K) | ||
| + | # Френкель А.А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966 (djvu, 8.85 M) | ||
| + | # Харин Н.Н. Математическая логика и теория множеств. М.: Росвузиздат, 1963 (djvu, 2.38 M) | ||
| + | # Чёрч А. Введение в математическую логику. Т.1. М.: ИЛ, 1960 (djvu, 5.29 M) | ||
| + | # Чупахин И.Я., Бродский И.Н. (ред.). Формальная логика. Л.: ЛГУ, 1977 (djvu, 3.77 M) | ||
| + | # Шанин Н.А. О некоторых логических проблемах арифметики (Труды МИАН т.43). М.: АН СССР, 1955 (djvu, 1.84 M) | ||
| + | # Шапиро С.И. От алгоритмов - к суждениям. Эксперименты по обучению элементам математического мышления. М.: Сов. радио, 1973 (djvu, 2.85 M) | ||
| + | # Шенфилд Дж. Математическая логика. М.: Наука, 1975 (djvu, 4.99 M) | ||
| + | # Шенфилд Дж. Степени неразрешимости. М.: Наука, 1977 (djvu, 2.46 M) | ||
| + | # Шрейдер Ю.А. Равенство, сходство, порядок. М.: Наука, 1971 (djvu, 2.71 M) | ||
| + | # Эдельман С.Л. Математическая логика. М.: Высш. шк., 1975 (djvu, 1.48 M) | ||
| + | # Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. М.: Наука, 1966 (pdf, 3.03 M) | ||
--- | --- | ||
[[Категорія:Навчальні курси]] | [[Категорія:Навчальні курси]] | ||
Версія за 12:36, 16 жовтня 2015
Ресурси
Ресурси
Рекомендована література
Базова
- Гуц А.К. Математическая логика и теория алгоритмов: учебное пособие. — Омск: Изд-во Наследие. Диалог-Сибирь, 2003. — 108 с.
- Донской В. И. Дискретная математика. — Издательство «СОНАТ», 2000. — 360с.
- Игошин В.И. Математическая логика и теория алгоритмов.- Изд-во Саратовського ун-та, 1991.-256с.
- Калужнін Л.А.,Королюк В.С. Алгоритми і математичні машини.-К.:Вища школа, 1965
- Лиман Ф.М. Математична логіка та теорія алгоритмів.- Суми, вид-во „Слобожанщина”,1998.-152 с.
- Мендельсон Э. Введение в математическую логику.- М.:Наука, 1976.-320 с.
- Никольская И. Л. Математическая логика: Учебник. — М.: Высш. школа, 1981.— 127 с.
- Новиков П.С. Элементы математической логики.-М.:Наука, 1973.-399с.
- Євладенко В.М., Паращук С.Д. Методичні вказівки до практичних занять з математичної логіки.-Кіровоград:КДПІ, 1990
- Євладенко В.М., Халецька З.П., Нарадовий В.В. Математична логіка та теорія алгоритмів: Навчально-методичний посібник. Кіровоград: Видавництво «КОД», 2009. 116с.
- Хромой Я.В. Математична логіка.- К.:Вища школа,1983.-208 с.
- Чуб О.Т.,Коба В.І. Збірник вправ з курсу „Алгоритми і математичні машини”.- К.:Вища школа, 1970.-216 с.
- Шкільняк С.С. Математична логіка і теорія алгоритмів: приклади і задачі. Навчальний посібник.—К., 2000 р.
- Эдельман С.Л. Математическая логика.-М.: Высшая школа,1975.-176 с.
Допоміжна
- Донской В.И. Дискретная математика.- Симферополь, 2000.
- Ершов Ю.Л., Палютин Е.А. Математическая логика – М.:Наука, 1979.-320 с.
- Клини С. Математическая логика – М, 1973
- Лісова Т.В. Математична логіка та теорія алгоритмів:практикум. – Ніжин, 2011. Ч2. 116с
- Мальцев А.И. Алгоритмы и рекурсивне функции. – М, 1965.
- Середа В.Ю. Математична логіка в шкільному курсі математики.-К.: Радянська школа, 1984.- 144 с.
- Столл Р.Р. Множества. Логика. Аксиоматические теории. – М.: Просвещение, 1968.-231 с.
- Черч А. Введение в математическую логику – М, 1960.
Інформаційні ресурси
# Айзерман М.А., Гусев Л.А., Розоноэр Л.И., Смирнова И.М., Таль А.А. Логика, автоматы, алгоритмы. М.: ГИФМЛ, 1963 (djvu, 5.45 M) # Беркли Э. Символическая логика и разумные машины. М.: ИЛ, 1961 (djvu, 1.98 M) # Бочвар Д.А., Гришин В.Н. (ред.) Исследования по теории множеств и неклассическим логикам. М.: Наука, 1976 (djvu, 5.40 M) # Бродский И.Н. Отрицательные высказывания. Л.: ЛГУ, 1973 (djvu, 1.35 M) # Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств. М.: ИЛ, 1963 (djvu, 446 K) # Владимиров Д.А. Булевы алгебры. М.: Наука, 1969 (djvu, 3.21 M) # Гастев Ю.А. Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования. М.: Наука, 1975 (djvu, 1.77 M) # Гейтинг А. Интуиционизм. М.: Мир, 1965 (djvu, 1.49 M) # Генкин Л. О математической индукции. М.: ГИФМЛ, 1962 (djvu, 716 K) # Гильберт Д., Аккерман В. Основы теоретической логики. М.: ГИИЛ, 1947 (djvu, 3.65 M) # Гиндикин С.Г. Алгебра логики в задачах. М.: Наука, 1972 (djvu, 3.84 M) # Горский Д.П., Таванец П.В. (ред.) Логика. М.: ГИПЛ, 1956 (djvu, 2.91 M) # Гохман А.В., Спивак М.А., Розен В.В. и др. Сборник задач по математической логике и алгебре множеств. (2-е изд.). Саратов: Саратовский ун-т, 1969 (djvu, 818 K) # Гудстейн Р.Л. Математическая логика. М.: ИЛ, 1961 (djvu, 3.68 M) # Ершов Ю.Л. Теория нумераций. М.: Наука, 1977 (djvu, 3.39 M) # Зиновьев А.А. Логическая физика. М.: Наука, 1972 (djvu, 1.60 M) # Идельсон А.В., Минц Г.Е. (ред.). Математическая теория логического вывода (сборник переводов). М.: Наука, 1967 (djvu, 3.34 M) # Калужнин Л.А. Что такое математическая логика? М.: Наука, 1964 (djvu, 1.32 M) # Карри Х.Б. Основания математической логики. М.: Мир, 1969 (djvu, 6.03 M) # Кейслер Г.Дж., Чэн Чень-чунь. Теория непрерывных моделей. М.: Мир, 1971 (djvu, 1.83 M) # Клини С. Введение в метаматематику. М.: Иностр. литература, 1957 (djvu, 9.32 M) # Клини С. Математическая логика. М.: Мир, 1973 (djvu, 6.09 M) # Кондаков Н.И. Введение в логику. М.: Наука, 1967 (djvu, 6.80 M) # Кузичев А.С. Диаграммы Венна. М.: Наука, 1968 (djvu, 4.05 M) # Кутасов А.Д. Элементы математической логики. М.: Просвещение, 1977 (djvu, 828 K) # Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М.: Наука, 1967 (djvu, 1.81 M) # Линдон Р. Заметки по логике. М.: Мир, 1968 (djvu, 1.25 M) # Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: ИЛ, 1959 (djvu, 6.28 M) # Манин Ю.И. Лекции по математической логике. Часть 1. М.: МИЭМ, 1974 (djvu, 1.55 M) # Манин Ю.И. Лекции по математической логике. Часть 2. М.: МИЭМ, 1974 (djvu, 894 K) # Мартин-Лёф П. Очерки по конструктивной математике. М.: Мир, 1975 (djvu, 1.24 M) # Мельников Г.П. Азбука математической логики. М.: Знание, 1967 (djvu, 1.79 M) # Мендельсон Э. Введение в математическую логику. М.: Наука, 1971 (djvu, 3.59 M) # Мешалкин Л.Д. (ред.) Психологические измерения. М.: Мир, 1967 (djvu, 2.34 M) # Молодший В.Н. Очерки по вопросам обоснования математики. М.: Учпедгиз, 1958 (djvu, 2.66 M) # Никитин В.В. Сборник логических упражнений. Пособие для учителей математики. М.: Просвещение, 1970 (djvu, 1.19 M) # Новиков П.С. Конструктивная математическая логика. М.: Наука, 1977 (djvu, 4.96 M) # Новиков П.С. Элементы математической логики (2-е изд.). М.: Наука, 1973 (djvu, 7.71 M) # Пензов Ю.Е. Элементы математической логики и теории множеств. Саратов: Сарат. ун-т, 1968 (djvu, 1.51 M) # Попов А.И. Введение в математическую логику. Л.: ЛГУ, 1959 (djvu, 1.33 M) # Ракитов А.И. Курс лекций по логике науки. М.: Высш. шк., 1971 (djvu, 1.37 M) # Рассева Е., Сикорский Р. Математика метаматематики. М.: Наука, 1972 (djvu, 6.79 M) # Робинсон А. Введение в теорию моделей и метаматематику алгебры. М.: Наука, 1967 (djvu, 3.04 M) # Сакс Дж.Е. Теория насыщенных моделей. М.: Мир, 1976 (djvu, 2.20 M) # Серебрянников О.Ф. Эвристические принципы и логические исчисления. М.: Наука, 1970 (djvu, 2.20 M) # Сикорский Р. Булевы алгебры. М.: Мир, 1969 (djvu, 5.70 M) # Слупецкий Е., Борковский Л. Элементы математической логики и теория множеств. М.: Прогресс, 1965 (djvu, 2.33 M) # Столл Р.Р. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968 (djvu, 4.22 M) # Столяр А.А. Логические проблемы преподавания математики. Мн.: Высш. шк., 1965 (djvu, 2.63 M) # Столяр А.А. Логическое введение в математику. Мн.: Выш. шк., 1971 (djvu, 1.46 M) # Стяжкин Н.И. Формирование математической логики М.: Наука, 1967 (djvu, 5.69 M) # Таванец П.В. (ред.) Философские вопросы современной формальной логики. М.: АН СССР, 1962 (djvu, 5.56 M) # Таванец П.В. (ред.). Проблемы логики. М.: АН СССР, 1963 (djvu, 1.24 M) # Тарский А. Введение в логику и методологию дедуктивных наук. М.: ГИИЛ, 1948 (djvu, 6.83 M) # Успенский В.А. Лекции о вычислимых функциях. М.: ГИФМЛ, 1960 (djvu, 5.44 M) # Фрейденталь Х. Язык логики. М.: Наука, 1969 (djvu, 1 023 K) # Френкель А.А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966 (djvu, 8.85 M) # Харин Н.Н. Математическая логика и теория множеств. М.: Росвузиздат, 1963 (djvu, 2.38 M) # Чёрч А. Введение в математическую логику. Т.1. М.: ИЛ, 1960 (djvu, 5.29 M) # Чупахин И.Я., Бродский И.Н. (ред.). Формальная логика. Л.: ЛГУ, 1977 (djvu, 3.77 M) # Шанин Н.А. О некоторых логических проблемах арифметики (Труды МИАН т.43). М.: АН СССР, 1955 (djvu, 1.84 M) # Шапиро С.И. От алгоритмов - к суждениям. Эксперименты по обучению элементам математического мышления. М.: Сов. радио, 1973 (djvu, 2.85 M) # Шенфилд Дж. Математическая логика. М.: Наука, 1975 (djvu, 4.99 M) # Шенфилд Дж. Степени неразрешимости. М.: Наука, 1977 (djvu, 2.46 M) # Шрейдер Ю.А. Равенство, сходство, порядок. М.: Наука, 1971 (djvu, 2.71 M) # Эдельман С.Л. Математическая логика. М.: Высш. шк., 1975 (djvu, 1.48 M) # Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. М.: Наука, 1966 (pdf, 3.03 M)
---
