Основи математики та математична логіка
Підтеми:
Документи:
- Проблема логического следования в математической логике. [Текст] / Р.З. Джиджян. — Ереван, 1981. — 36с.
- Проблема разрешения для некоторых алгебраических теорий. [Текст] : Автореф... Доктора физ-мат.наук: 004 / Гуревич Ю.Ш.; Уральский гос.ун-т. — Свердловск, 1968. — 19л.
- Проблемы конструктивного направления в математике [Текст] : труды, сборник работ / АН СССР, Математический институт; под ред.: Оревкова В. П. и Шанина Н. А.; отв. ред.: Никольский С. М. — Ленинград : Наука, 1973. — 267 с. : черт.
- Программы средней школы [Текст]. — М., 1946. — 54с.
- Проективные иерархии над общими структурами [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Кисилев А.А.; Мин-во высш. и сред. образ. РСФСР. Новосиб. гос. ун-т. — Новосибирск, 1979. — 16л.
- Про зображення оснащених частково впорядкованих множин [Текст] : Дис... кандид. фізико-математ.наук: 01.01.06 / Забарило Олексій Віталійович; Київ. Нац. ун-тет будівництва і архітектури. — Київ, 1999. — 112л.
- Про зображення оснащенних частково впорядкованних множин [Текст] : Автореф... канд. фыз-мат.наук: 01.01.06 / Забарило О.В.; КУ. — Киев, 1999. — 16л.
- Про поведінку походної на грані відображуванних [Текст] / В.С. Чемерис. — К, 1955.
- Простые множества и соотношения между сводимостями [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Дегтев Алексанр Николаевич; Новосиб. гос. ун-т. — Новосибирск, 1973. — 12л.
- Прямая и обратная теоремы. Элементы алгебры логики [Текст] / Израиль Градштейн. — 5-е изд. — Москва : Наука, 1972. — 128 с. : черт.
- Прямая и обратная теоремы. Элементы алгебры логики [Текст] / И.С. Градштейн. — Изд. 4-е, стереотипн. — Москва : Наука, 1965. — 128 с.
- Прямая и обратная теоремы. Элементы алгебры логики [Текст] / И.С. Градштейн. — Изд. 5-е. — Москва : Наука, 1972. — 128 с.
- Прямая и обратная теоремы. Элементы алгебры логики [Текст] / И.С. Градштейн. — М.-Л. : ОНТИ НКТП СССР, 1936. — 76 с.
- Прямая и обратная теоремы [Текст] / И.С. Градштейн. — Москва; Ленинград : ГТТИ, 1950. — 80 с.
- Равномерные оценки осциллирующих интегралов и некоторые их приложения. [Текст] : Автореф... доктор физ.-мат.наук: 01.01.06 / Попов Д.А.; АН России. Матем. ин-т им. В.А.Стеклова. — М., 1998. — 29л.
- Разработка и исследование некоторых эффективных алгоритво приближения фукций некскольких переменных [Текст] : Автореф... канд. физ. мат.наук: 01.01.07 / Садовников Ю. Ю.; КГУ. — К., 1979. — 18л.
- Распознавание и использование информационно-распознающих алгоритмов [Текст] / А.И. Кондратьев. — Фрунзе, 1961. — 149с.
- Рассказы о множествах [Текст] / Н.Я. Виленкин. — Москва : Наука, 1965. — 128с.
- Расширения аксиоматических теорий утверждениями типа непротиворечевости и соответвующее модальные логики [Текст] : Автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Артемов С.Н. ; МГУ. — Москва, 1979. — 10 с.
- Реализация функций алгебры логики методом какадов [Текст] : Автореф... канд. физ. мат.наук: / Денев И. Д.; МГУ, Мех. мат. фак., Каф. мат. логики. — Москва, 1971. — 10л.
- Рекурсивні алгоритми багатооперандної обробки інформації [Текст] : Монографія / МОНУ; ВДТУ. — Вінниця : УНІВЕРСУМ-Вінниця, 2000. — 216с.
- Рекурсивный математический анализ [Текст] / Р.Л. Гудстейн. — Москва, 1970. — 472 с.
- Рекурсивный метод вычисления регулярных периодически-определенных функций и его реализация [Текст] : Дис... канд. физ-мат.наук: 01.01.09. / Родимин Сергей Петрович; КГУ. — Киев, 1985. — 103л.
- Ручні дикі задачі теорії зображень * - алгебр [Текст] : Автореф... канд. фіз.-мат.наук: 01.01.06 / Пирятинська Олександра Юріївна; КУ ім. Т.Шевченка. — К., 1995. — 16л.
- Сборник задач по дискретной математике [Текст] / Мин-во образования и науки Украины. — Київ : Просвіта, 2001. — 61с.
- Сборник научных сообщений . Математика и физика [Текст]. — Махачкала, 1965. — 202 с.
- Секвенциальные варианты прикладных исчилений предикатов без структурных правил вывода [Текст] : Автореф... канд. физ. мат.наук: / Рогава М. Г.; АН СССР, Лен. от-ние мат. ин-т. — Тбилиси, 1968. — 10л.
- Семантика и алгоритмическая логика для программ с операторами перехода. [Текст] : Автореф... Канд.физ-мат.наук: 01.01.09 / Ломазова И.А.; АН СССР. — Новосибирск, 1981. — 12л.
- Семантический анализ суперинтуиционистских логик и нормальных расширений модальной системы. [Текст] : Автореф... Канд.физ-мат.наук: 01.01.06 / Эсакиа Л.Л.; МГУ. — М, 1979. — 14л.
- Символическая логика и разумные машины [Текст] / Э. Беркли. — Москва : Иностранная литература, 1961. — 260с.
- Симметрия в булевых функциях и некоторых классах корректирующих кодов [Текст] / Д.А. Абдуллаев, Д.Ю. Юнусов ; Ташк. электротехн. ин-т связи. — Ташкент : Фан, 1987. — 140, [1] с. : ил.
- Система автоматического программирования для машины М-20 [Текст]. — Киев, 1965. — 156 с.
- Ситуационные советующие системы с нечеткой логикой [Текст] / А.Н. Мелихов. — Москва : Наука, 1990. — 271 с.
- Сложность ограниченных алгорифмических проблем и универсальность [Текст] : Автореф... канд. физ.-мат.наук: 01.007 / Канович М.И.; МГУ. — М., 1971. — 7л.
- Спектральные вопросы тотально трансцендентных теорий конечного ранга [Текст] : Автореф... канд. физ-матнаук: 010106 / Байжанов Бектур Сембеевич; АН СССР Сиб отд. Ин-т математики. — Новосибирск, 1981. — 16л.
- Специальные разделы математики. Моделирование процессов в технических объектах [Текст] : методические указ. и задан. к контрольным работам з/ф.спец.7.092210 "Технич.экспл. авиац. и пилотажно- навиг. комплекс." и 7.090608 "Техн. эксплуат. электрооборуд. и светотехн. систем аэропортов" / сост. : А.А.Зеленков, А.А.Бунчук; Министерство образования Украины; КМУГА. — Киев, 1998. — 24 с.
- Справочная книга по математической логике [Текст] : В 4-х ч. / Барвайс Д. — Москва : Наука, 1982. — 360 с.
- Справочная книга по математической логике [Текст] : В 4-х ч. / Барвайс Д. — Москва : Наука, 1982. — 375 с.
- Справочная книга по математической логике [Текст] : В 4-х ч. / Барвайс Д. — Москва : Наука, 1983. — 391 с.
- Справочная книга по математической логике [Текст] : В 4 ч. / Барвайс Д. — Москва : Наука, 1982. — 392 с.
- Сравнение различных схем аксиом в классическом анализе [Текст] : Автореф... канд. физ. мат.наук: 01.01.06 / Левин А. М.; МГУ Мех. мат.фак.ю. — М., 1976. — 11л.
- Степени неразрешимости [Текст] / Д.Р. Шенфилд. — Москва : Наука, 1977. — 192 с.
- Структура линейно разделимых множеств и оценка периметра плоских изображений [Текст] : Автореф... канд. физ.-мат.наук: 01.01.09 / Рублев Богдан Владиславович; КГУ. — Киев, 1990. — 15л.
- Структурные свойства рекурсивно перечислимых множеств и полотна относительно сводимостей... [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Соловьев В.Д.; МВ и ССО РСФСР. Новосиб. гос. ун-т. — Новосибирск, 1979. — 14л.
- Схемы рефлексии в формальной арифметике [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Беклемишев Лев Дмитриевич; Российск. Акад. Наук. Математ. ин-тут им. В.А.Стеклова. — М., 1996. — 18л.
- Тези доповідей до 19-ї наукової конференції університету [Текст] / МВ і ССО УРСР; Ужгородський державний університет. — Ужгород, 1965. — 20с.
- Теорема Геделя о неполноте. [Текст] / В.А. Успенский. — М, 1982. — 111с.
- Теоретико-игровые распознающие алгоритмы [Текст] / А.И. Кондратьев. — Москва : Наука, 1990. — 268с .
- Теория алгоритмов. [Текст] / В.А. Успенский, А.Л. Семенов. — Москва : Наука, 1987. — 288с.
- Теория алгорифмов и математическая логика [Текст] : сборник статей / АН СССР, Вычислительный центр; под ред.: Кушнера Б. А. и Нагорного Н. М. — Москва, 1974. — 216 с. : 1 л. портр.
1
2
3
4
5
6
7
8
|
