Основи математики та математична логіка
Підтеми:
Документи:
- Категоричность теории унаров и квазимногообразий группоидов [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Шишмарев Юрий Евгеньевич; МВ и ССО РСФСР. Новосиб. гос. ун-т. — Новосибирск, 1980. — 9л.
- Категоричные теории групп и колец [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Зильбер Б.И.; АН СССР. Сиб. отд-ние. Учен. совет. Ин-та математики по присуждению учен. степеней. — Новосибирск, 1974. — 11л.
- Квадратные формы в теории представлений [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Овсиенко Сергей Адамович; КГУ им. Т.Г.Шевченко. — К., 1978. — 8л.
- К вопросу о программировании алгритмов машинного перевода с английского языка на русский и проведение экспериментов на ЭВМ [Текст] : Автореф... канд.физ-матнаук: / Багриновская Г.П.; АН СССР Сиб. отделение Ин-т математики. — К, 1966. — 19л.
- Классы предложений классического анализа согаласованные с контруктивной интерпретацией. [Текст] : Автореф... Канд.физ-мат.наук: 01.01.06 / Гельфонд М.Г.; АН СССР. — Л, 1975. — 7л.
- Классы рекурсивных функций по сложности вычислений аналитические характеристики сигнализирующих [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Матросов Виктор Леонидович; Моск. гос. пед. ин-т им. В.И.Ленина. — М., 1975. — 18л.
- Количественные характеристики некоторых алгорифмических языков [Текст] : Автореф... канд. физ. мат.наук: 01.01.06 / Тер-Захарян Н. П.; АН СССР, Вычисл. центр. — М., 1973. — 9л.
- Комбинаторные свойства выпуклых множеств и графов [Текст] / Шашкин Ю.А. — Свердловск, 1983. — 88с.
- Конструктивизации алгебраических конструкций. [Текст] : Автореф... Канд.физ-мат.наук: 01.01.06 / Дзгоев В.Д.; Новосибирск.гос.ун-т. — Новосибирск, 1981. — 6л.
- Конструктивные аналоги теоремы Гаделя о полноте. [Текст] : Автореф... канд.физ-мат.наук: 007 / Лифшиц В.А.; АН СССР. — Л, 1969. — 7л.
- Конструктивные трансфинитные числа и обоснование принципа конструктивного подбора [Текст] : Автореф... канд. физ.-мат.наук: / Драгалин А.Г.; Моск. гос. ун-т им. М.В.Ломоносова. Мех.-мат. фак. — М., 1968. — 4л.
- Коструктивная математическая логика с точки зрения классической [Текст] / Петр Новиков. — Москва : Наука, 1977. — 328 с.
- К теории моделей логических исчислений с временными операторами. [Текст] : Автореф... Канд.физ-мат.наук: 01.01.06 / Месхи В.Ю.; Моск.гос.пед.ин-т. — М, 1976. — 21л.
- Курс дискретной математики [Текст] : Учеб. пособие / В.Н. Нефедов, В.А. Осипова. — Москва : МАИ, 1992. — 264с.
- Ламбда-исчисление. Его синтаксис и семантика [Текст] / Х.П. Барендрегт. — Москва : Мир, 1985. — 606 с.
- Ламбда-исчисление. Его синтаксис и семантика. [Текст] = The Lambda calculus Its Syntax and Semantics : монография / перевод с англ.: Минца Г. Е.; под ред.: Кузичева А. С. — Москва : Мир, 1985. — 608 с.
- Лекции по конструктивному математическому анализу [Текст] / Борис Кушнер. — Москва : Наука, 1973. — 447 с. : черт.
- Лекции по математической логике и теории алгоритмов. Языки и исчисления [Текст] / Н.К. Верещагин, А. Шень. — Москва, 2000.
- Лекции по математической логике [Текст] / А.А. Марков. — Горький, 1973. — 58с.
- Лекции по теоретической механике [Текст] / Е.Л. Николаи. — Ленинград-Москва, 1933. — 152с.
- Логико-алгебраические конструкции [Текст] : Сб. науч. тр. / Мин-во науки, высшей школы и технической политики РСФСР; Тверской гос. ун-т; Отв. ред. Ю.М. Горчаков. — Тверь, 1982. — 97с.
- Логическая игра [Текст] / пер. с анг. Ю.А. Данилова. — Москва : Наука, 1991. — 192 с.
- Логическая тетрадь [Текст] : Нерешенные вопросы математической логики (оперативный информационный материал) / Сиб. отд. АН СССР; Ин-т математики. — Новосибирск, 1986. — 41с.
- Логические задачи [Текст] / ЖанКлод Байиф. — М., 1983. — 172с.
- Логические и логико-математические исчисления [Текст] : сборник работ / под ред.: В. П. Оревкова; Математический институт имени В. А. Стеклова; АН СССР. — Ленинград : Наука, 1968. — 208 с.
- Логические исчисления строгой импликации [Текст] : Автореф... канд. физ. мат.наук: / Максимова Л. Л.; Новосиб.ГУ. — Новосибирск, 1968. — 14л.
- Логические теории одноместных функций на натуральном ядре [Текст] : Автореф. дис. ... канд. физ-мат. наук : 01.01.06 / Семенов А.Л. ; АН СССР, Матем. наук. — Москва, 1984. — 8 с.
- Логические уравнения и прикладные задачи [Текст] / АНУ. Ин-тут кибернетики им. В.М. Глушкова. — Київ : Наукова думка, 1992. — 188 с.
- Логический подход к искусственному интеллекту. От классической логики к логическому программированию [Текст] = Approche logique de l`intelligence artificielle 1 de la logoque classique ala programmation logique : монография / перевод с французкого: Пермякова П. П., под ред.: Гаврилова Г. П. — Москва : Мир, 1990. — 432 с. : ил.
- Логический подход к искусственному интеллекту [Текст] : От классической логики к логическому программированию / Пер. с фр. П.П. Пермякова под ред. Г.П. Гаврилова. — Москва : Мир, 1990. — 432 с.
- Логическое введение в математику [Текст] / А.А. Столяр. — Минск : Вышэйша школа, 1971.
- Логическое исследование и условные высказывания [Текст] / АН СССР, Институт философии; отв. ред.: Таванец П. В. — Москва : Наука, 1983. — 176 с.
- Математеческая логика и автоматическое доказательство теорем [Текст] / Ч. Чень. — Москва : Наука, 1983. — 798 с.
- Математика и логика [Текст] = Mathematics and Logic Retrospect and Prospects / перевод с англ.: Плужниковой Н. И.; под ред.: Яглома И. М. — Москва : Мир, 1971. — 251 с.
- Математика и логика цифровых устройств [Текст] / Д.Т. Калбертсон. — Москва, 1965. — 267 с.
- Математика и правдоподобные рассуждения [Текст]. Индукция и аналогия в математике. Схемы правдоподобных умозаключений. = Mathematics and Plausible reasoning / перевод с англ.: Вайнштейна И. А.; под ред.: Яновской С. А. — Москва : Издательство иностранной литературы, 1957. — 536 с. : ил.
- Математика и правдоподобные рассуждения [Текст] / под ред. С.А. Яновской ; пер. с англ. И.А. Вайнштейна. — 2-е изд., испр. — Москва : Наука, 1975. — 463 с.
- Математика и правдоподобные рассуждения [Текст] = Mathematics and Plausible reasoning / перевод с англ.: Вайнштейна И. А.; под ред.: Яновской С. А. — 2-изд., испр.. — Москва : Наука, 1975. — 463 с.
- Математика и семантика. Номинализм как интерпретация математики [Текст] / АН УССР, Институт кибернетики; отв. ред.: Калужнин Л. А. — Киев : Наукова думка, 1966. — 77 с.
- Математика метаматематики [Текст] = The Mathematics of Metamathematics / перевод с англ.: Янкова В. А. — Москва : Наука, 1972. — 592 с.
- Математическаяа логика и теория множеств [Текст] / Н.Н. Харин. — М., 1963. — 192с.
- Математическая информатика [Текст] / А.В. Чечкин. — Москва : Наука, 1991. — 411 с.
- Математическая логика в программировании [Текст] : сборник статей 1980-1988 гг. / перевод с англ., под ред.: Захарьящева М. В. и Янова Ю. И. — Москва : Мир, 1991. — 408 с.
- Математическая логика и автоматическое доказательство теорем [Текст] = Symbolic logic and Mechanical theorem proving / перевод с англ.: Давідова Г. Д., Минца Г. Е. и Сочилиной А. В.; под ред.: Маслова С. Ю. — Москва : Наука, 1983. — 359 с.
- Математическая логика и ее применения [Текст] : Сборник статей / Под ред. Э. Нагела, П.Саппса, А. Тарского; Пер. с англ. под ред. А.И. Мальцева. — Москва : Мир, 1965. — 339с.
- Математическая логика и теория алгоритмов [Текст] : труды / АН СССР, Институт математики, Сибирское отделение; отв. ред.: Соболев С. Л. — Новосибирск : Наука, 1982. — 176 с. : ил.
- Математическая логика и теория множеств: о соотношении абстрктного и конкретного [Текст] / под ред. Я.Л.Харапанского. — Москва : Росвузиздат, 1963.
- Математическая логика [Текст] / Д.Р. Шенфилд. — Москва : Наука, 1975. — 527 с.
- Математическая логика [Текст] / С.К. Клини. — Москва : Мир, 1973. — 480 с.
- Математическая логика [Текст] = Mathematical logic / С.К. Клини ; перевод с англ. Ю.А. Гастева ; под ред. Г.Е. Минца ; предисловие Ю.А. Гостева и Г.Е. Минца. — Изд. 4-е. — Москва : ЛКИ, 2008. — 482 с.
1
2
3
4
5
6
7
8
|
