математична логіка

EqWorld

СВІТ МАТЕМАТИЧНИХ РІВНЯНЬ

бібліотека > Книги з математики > Математична логіка

• Айзерман М.А., Гусєв Л.А., Розоноер Л.І., Смирнова І.М., Таль А.А. Логіка, автомати, алгоритми. М .: ГІФМЛ, 1963 (Djvu)
• Берклі Е. Символічна логіка і розумні машини. М .: ІЛ, 1961 (Djvu)
• Бочвар Д.А., Гришин В.Н. (Ред.) Дослідження з теорії множин і некласичних логікам. М .: Наука, 1976 (Djvu)
• Бродський І.М. Негативні висловлювання. Л .: ЛДУ, 1973 (Djvu)
• Ван Хао, Мак-Нотон Р. Аксіоматичні системи теорії множин. М .: ІЛ, 1963 (Djvu)
• Владимиров Д.А. Булеві алгебри. М .: Наука, 1969 (Djvu)
• Гаст Ю.А. Гомоморфізми і моделі. Логіко-алгебраїчні аспекти моделювання. М .: Наука, 1975 (Djvu)
• Гейтинг А. інтуїционізма. М .: Мир, 1965 (Djvu)
• Генкін Л. Про математичної індукції. М .: ГІФМЛ, 1962 (Djvu)
• Гільберт Д., Аккерман В. Основи теоретичної логіки. М .: ГІІЛ, 1947 (Djvu)
• Гиндикин С.Г. Алгебра логіки в задачах. М .: Наука, 1972 (Djvu)
• Горський Д.П., Таванець П.В. (Ред.) Логіка. М .: ГІПЛ, 1956 (Djvu)
• Гохман А.В., Співак М.А., Розен В.В. та ін. Збірник завдань по математичній логіці і алгебрі множин. (2-е изд.). Саратов: Саратовський ун-т, 1969 (Djvu)
• Гудстейн Р.Л. Математична логіка. М .: ІЛ, 1961 (Djvu)
• Єршов Ю.Л. Теорія нумераций. М .: Наука, 1977 (Djvu)
• Зінов'єв А.А. Логічна фізика. М .: Наука, 1972 (Djvu)
• Ідельсон А.В., Мінц Г.Є. (Ред.). Математична теорія логічного висновку (збірка перекладів). М .: Наука, 1967 (Djvu)
• Калужніним Л.А. Що таке математична логіка? М .: Наука, 1964 (Djvu)
• Каррі Х.Б. Підстави математичної логіки. М .: Мир, 1969 (Djvu)
• Кейслер Г.Дж., Чен Чень-чунь. Теорія безперервних моделей. М .: Мир, 1971 (Djvu)
• Кліні С. Введення в метаматематику. М .: Иностр. література, 1957 (Djvu)
• Кліні С. Математична логіка. М .: Мир, 1973 (Djvu)
• Кондаков Н.І. Введення в логіку. М .: Наука, 1967 (Djvu)
• Кутас А.Д. Елементи математичної логіки. М .: Просвещение, 1977 (Djvu)
• Кузічев А.С. Діаграма Венна. М .: Наука, 1968 (Djvu)
• Лакатос І. Докази і спростування. Як доводяться теореми. М .: Наука, 1967 (Djvu)
• Ліндон Р. Нотатки з логіки. М .: Мир, 1968 (Djvu)
• Лукасевич Я. аристотелівська сіллогістіка з точки зору сучасної формальної логіки. М .: ІЛ, 1959 (Djvu)
• Манін Ю. І. Лекції з математичної логіки. Частина 1. М .: МІЕМ, 1974 (Djvu)
• Манін Ю. І. Лекції з математичної логіки. Частина 2. М .: МІЕМ, 1974 (Djvu)
• Мартін-Льоф П. Нариси з конструктивної математики. М .: Мир, 1975 (Djvu)
• Мельников Г.П. Азбука математичної логіки. М .: Знание, 1967 (Djvu)
• Мендельсон Е. Введення в математичну логіку. М .: Наука, 1971 (Djvu)
• Мешалкин Л.Д. (Ред.) Психологічні вимірювання. М .: Мир, 1967 (Djvu)
• Молодший В.Н. Нариси з питань обгрунтування математики. М .: Учпедгиз, 1958 (Djvu)
• Нікітін В.В. Збірник логічних вправ. Посібник для вчителів математики. М .: Просвещение, 1970 (Djvu)
• Новиков П.С. Елементи математичної логіки (2-е изд.). М .: Наука, 1973 (Djvu)
• Новиков П.С. Конструктивна математична логіка. М .: Наука, 1977 (Djvu)
• Пенза Ю.Є. Елементи математичної логіки і теорії множин. Саратов: Сарат. ун-т, 1968 (Djvu)
• Попов А.І. Введення в математичну логіку. Л .: ЛДУ, 1959 (Djvu)
• Ракитов А.І. Курс лекцій з логіки науки. М .: Вища. шк., 1971 (Djvu)
• Розсівання Е., Сікорський Р. Математика метаматематики. М .: Наука, 1972 (Djvu)
• Сакс Дж.Е. Теорія насичених моделей. М .: Мир, 1976 (Djvu)
• Серебрянніков О.Ф. Евристичні принципи і логічні обчислення. М .: Наука, 1970 (Djvu)
• Сікорський Р. Булеві алгебри. М .: Мир, 1969 (Djvu)
• Слупецкий Е., Борковський Л. Елементи математичної логіки і теорія множин. М .: Прогрес, 1965 (Djvu)
• Стяжкин Н.І. Формування математичної логіки М .: Наука, 1967 (Djvu)
• Столяр А.А. Логічні проблеми викладання математики. Мн .: Вища. шк., 1965 (Djvu)
• Столяр А.А. Логічне введення в математику. Мн .: Виш. шк., 1971 (Djvu)
• Столл Р.Р. Безлічі. Логіка. Аксіоматичні теорії. М .: Просвещение, 1968 (Djvu)
• Таванець П.В. (Ред.). Проблеми логіки. М .: АН СРСР, 1963 (Djvu)
• Таванець П.В. (Ред.) Філософські питання сучасної формальної логіки. М .: АН СРСР, 1962 (Djvu)
• Тарський А. Введення в логіку і методологію дедуктивних наук. М .: ГІІЛ, 1948 (Djvu)
• Робінсон А. Введення в теорію моделей і метаматематику алгебри. М .: Наука, 1967 (Djvu)
• Успенський В.А. Лекції про обчислюваних функцій. М .: ГІФМЛ, 1960 (Djvu)
• Фрейденталь X. Мова логіки. М .: Наука, 1969 (Djvu)
• Френкель А.А., Бар-Хиллел І. Підстави теорії множин. М .: Мир, 1966 (Djvu)
• Харін М.М. Математична логіка і теорія множин. М .: Росвузіздат, 1963 (Djvu)
• Черч А. Введення в математичну логіку. Т.1. М .: ІЛ, 1960 (Djvu)
• Чупахін І.Я., Бродський І.М. (Ред.). Формальна логіка. Л .: ЛДУ, 1977 (Djvu)
• Шанін Н.А. Про деякі логічних проблемах арифметики (Праці МІАН т.43). М .: АН СРСР, 1955 (Djvu)
• Шапіро С.І. Від алгоритмів - до суджень. Експерименти з навчання елементам математичного мислення. М .: Сов. радіо, 1973 (Djvu)
• Шенфілд Дж. Ступені нерозв'язності. М .: Наука, 1977 (Djvu)
• Шенфілд Дж. Математична логіка. М .: Наука, 1975 (Djvu)
• Шрейдер Ю.А. Рівність, схожість, порядок. М .: Наука, 1971 (Djvu)
• Едельман С.Л. Математична логіка. М .: Вища. шк., 1975 (Djvu)
• Яблонський С.В., Гаврилов Г.П., Кудрявцев В.Б. Функції алгебри логіки і класи Посту. М .: Наука, 1966 (Pdf)

Веб-сайт EqWorld містить велику інформацію про рішення різних класів звичайних диференціальних рівнянь, диференціальних рівнянь з приватними похідними (рівнянь математичної фізики), інтегральних рівнянь, функціональних рівнянь та інших математичних рівнянь.