Основи математики та математична логіка
Підтеми:
Документи:
- Общая теория оптимальных алгоритмов [Текст] / Дж.Ф. Трауб, Х. Вожьняковский. — Москва : Мир, 1983. — 382 с.
- О верхней полурештке вычислимых нумераций [Текст] : Автореф... канд. физ.-мат.наук: 007 / Хуторецкий А.Б.; Новосиб. гос. ун-т. — Новосибирск, 1970. — 7л.
- О вычислимых нумерациях. [Текст] : Автореф... Канд.физ-мат.наук: 01.01.06 / Селиванов В.Л.; Новосиб.гос.ун-т. — Новосибирск, 1978. — 14л.
- Ограниченные аппроксимации рекурсивных предикатов [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Фрейдзон Роберт Исаакович; АН СССР. Мат. ин-т им. В.А.Стеклова. (Ленингр. отд-ние). — Л,, 1973. — 11л.
- О зависимости между сложностью реализации функций алгебры логики и числом их подфункций. [Текст] : Автореф... канд. физ.-мат.наук: 01.009 / Улиг Д.; МГУ. Мех.-мат. фак-т. — М., 1972. — 7л.
- О канонических исчислениях и связанных с ними массовых проблемах [Текст] : Автореф... канд. физ.-мат.наук: 007 / Матиясевич Ю.В.; АН СССР. Матем. ин-т им. В.А.Стеклова. Ленингр. отд-ние. — Л., 1970. — 12л.
- О категоричных теориях. [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Палютин Е.А.; Новосиб. гос. ун-т. — Новосибирск, 1972. — 12л.
- О конструктивных топологических пространствах со снопообразной структурой и их отображениях. [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Чернов В.П.; ЛГУ им. А.А.Жданова. — Л., 1973. — 8л.
- О логике конструктивной математики [Текст] / А.А. Марков. — Москва, 1972. — 47с.
- О максимальных подалгебрах алгебры частично рекурсивных функций. [Текст] : Автореф... канд.физ-мат.наук: 007 / Щеглов А.И.; Новосиб.гос.ун-т. — Новосибирск, 1969. — 9л.
- О математической логике и философии математики (Начальные сведения об основаниях математики) [Текст] / перевод с англ.: Варпаховского Ф. Л. — Москва : Знание, 1968. — 48 с.
- О методах поиска вывода в исчислении предикатов [Текст] : Автореф... канд. физ.-мат.наук: 007 / Давыдов Г.В.; АН СССР. Математ. ин-т. — Л., 1969. — 13л.
- О некоторых аксиоматических исчислениях первого и второго порядков. [Текст] : Автореф... Канд.физ-мат.наук: 01.01.06 / Набебин А.А.; АН СССР.Сиб.от-ние Ин- математики. — Новосибирск, 1972. — 12л.
- О некоторых вопросах счетных полных теорий, связанных с понятием ранга [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Еримбетов Мирзахан Мирзахметович; АН СССР. Сиб. отд-ние. Учен. совет Ин-та матемики. — Новосибирск, 1975. — 16л.
- О некоторых оценках влияния адресности на быстродействие вычислительных машин. [Текст] : Автореф... Канд.физ-мат.наук: / Гусак Г.М.; Белорус.гос.ун-т. — Минск, 1967. — 8л.
- О некоторых применениях фильтрованных произведений в теории моделей [Текст] : Автореф... канд. физ мат.наук: / Омаров А. И.; АН СССР, Сиб. отд. Совет матем. секц. Объед. уч. сво. по физ. мат. и техн. наукам. — Новосибирск, 1967. — 11л.
- О нумерациях специальных моделей [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Дроботун Борис Николаевич; Новосибирский гос. ун-т. — Новосибирск, 1978. — 11л.
- О плюккеровых свойствах ненетеровых колец. [Текст] : Автореф... Канд.физ-мат.наук: 01.01.06 / Нажжар Г.; МГУ. — М, 1979. — 12л.
- О полноте с точностью до кодирования систем функций конечнозначных логик [Текст] : Автореф... канд. физ.-мат.наук: 007 / Фрейвалд Р.В.; АН СССР. Сиб. отд-ние. Совет матем. секции Объедин. учен. совета по физ.-мат. и техн. наукам. — Новосибирск, 1971. — 22л.
- О последовательностях нормальных алгорифмов [Текст] : Автореф... Канд.физ-мат.наук: 007 / Остроухов Д.А.; Моск.гос.ун-т. — Москва, 1971. — 11л.
- Определимость и вычислимость [Текст] / Юрий Ершов. — Новосибирск : Научная книга, 1996.
- О проблеме распознавания инвариантных групповых свойств в органических алфавитах. [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Павлов Р.Д.; МГУ им. М.В.Ломоносова. Мех.-мат. ф-тет. — М., 1977. — 9л.
- Оптимальне керування [Текст] : навчально-методичний посібник для студентів ф-ту кібернетики спеціальності "Інформатика" / Ю.В. Крак, О.Л. Левошич; КНУТШ. — Київ : Київський університет, 2003. — 106с.
- Оптимальные алгоритмы вычисления интеграла типа свертки и их приложения [Текст] : Дис... канд.физ.-мат.наук: 01.01.07 / Мелехина Элла Анатольевна; Ин-т кибернетики им.В.М.Глушкова. — К., 1991. — 205л.
- О реализуемости логико-арифметических и пропозициональных формул [Текст] : Автореф... канд. физ.-мат.наук: 007 / Кипнис М.М.; МГУ им. М.В.Ломоносова. Мех.-мат. фак. — М., 1969. — 10л.
- О свободных топологических группах [Текст] / А.А. Марков. — М, 1945. — 64с.
- О сложности вычислений на машинах Тьюринга с оракулом [Текст] : Автореф... канд. физ.-мат.наук: 01.009 / Ходжаев Дж.; АН УзССР. Объедин. совет по мех.-мат. специальностям Отд-ния физ.-техн. и матем. наук. — Ташкент, 1970. — 10л.
- О сложности некоторых ограниченных алгорифмических проблем [Текст] : Автореф... канд. физ.-мат.наук: 007 / Петри Н.В.; Моск. гос. ун-т. Мех.-мат. фак. — Москва, 1970. — 10л.
- О сложностях кодирования натуральных чисел с помощью рекурсивных функций [Текст] : Автореф... канд. физ.-мат.наук: 007 / Маранджян Г.Б.; АН СССР. Вычислит. центр. — М., 1971. — 11л.
- Основания интуиционистской математики с точки зрения теории рекурсивных фукнций [Текст] / пер. с англ. Ф.А. Кабакова. — Москва : Наука, 1978.
- Основания математики: логические исчисления и формализация арифметики [Текст] = Grudlagen der Mathematik. I / перевод с нем.: Нагорного Н. М.; под ред.: Адяна С. И. — 2-е изд.. — Москва : Наука, 1982. — 556 с. : ил.
- Основания математики; логические исчисления и формализация арифметики [Текст] = Grundlacen der Mathematik. I / перевод с нем.: Нагорного Н. Г.; под ред.: Адяна С. А. — Москва : Наука, 1979. — 560 с.
- Основания математики: Теория доказательств [Текст] / Д. Гильберт, П. Бернайс. — М. : Наука, 1982. — 652 с.
- Основания математической логики [Текст] / Х.Б. Карри. — Москва : Мир, 1969. — 568 с.
- Основи дискретної математики [Текст] : Підручник / Нац.Акад.наук України; Ін-тут кібернетики ім.В.М.Глушкова. — Київ : Наукова думка, 2002. — 579с.
- Основоположні математичні відомості. Програмне забезпечення. Задачі та лабораторні практикуми [Текст] : Навчальний посібник для студ. вищ. закладів освіти / КНУТШ; За ред.: О.В.Третяка. — Київ : Київський університет, 2002. — 316с.
- Основоположні математичні відомості. Програмне забезпечення [Текст] : Навчальний посібник для студ. вищ. закладів освіти / КУ ім.Т.Шевченка; За ред. О.В.Третяка. — Київ : Київський університет, 2002. — 288с.
- О сравнении базисов при реализации функций алгебры логики формулами. [Текст] : Автореф... Канд.физ-мат.наук: / Мучник Б.А.; АН СССР.Ин-т прикл.математики. — М, 1967. — 6л.
- Оценки распределений расстояний от случайной булевой функции до аффинных и квадратичных функций [Текст] : автореф. дисс. ... канд. физ.- мат. наук :01.01.05 / Серов А.А. ; Учреждение Российской акад. наук ; Математический ин-т им. В.А. Стеклова РАН. — Москва, 2011. — 15 с.
- Очерки по вопросам обоснования математики [Текст] : пособие для учителей математики / В.Н. Молодший. — Москва : Гос. учебно-пед. изд-во, 1958.
- О Q-сводимости и плотного рекурсисно перечиленных множеств [Текст] : Автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Оманадзе Р.Ш. ; Новосиб. ГУ. — Новосибирск, 1981. — 12 с.
- Парадоксы мира нестационарных структур [Текст] / Татьяна Ахромеева, Сергей Курдюмов, Георгий Малинецкий. — Москва : Знание, 1985. — 48 с.
- Питання якісної теорії [Текст]. — К, 1978. — 77с.
- Подгруппы с тождествами и алгоритмические проблемы в группах, заданных определяющими соотношениями. [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Классен В.П.; Москов. гос. пед. ин-тут. — М., 1979. — 7л.
- Познакомьтесь с математическим моделированием [Текст] / А.Б. Горстко. — Москва : Знание, 1991. — 160с.
- Полугрупповые представления контекстно-свободных языков. [Текст] : Автореф... канд. физ.-мат.наук: 01.01.09 / Йорджев К.Я.; КУ им. Т.Г.Шевченко. — К., 1992. — 12л.
- Полурешетки вычислительных нумераций ё [Текст] : Автореф... канд. физ. мат.наук: 01.01.06 / Корольков Ю. Д.; МВиССО РСФСР, Новосиб. ГУ. — Новосибирск, 1979. — 7л.
- Полурешетки нумерации и степеней [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Мальцев Андрей Анатольевич; Новосиб. гос. ун-т. — Новосибирск, 1981. — 8л.
- Посик вывода в исчеслении предикатов и возможности ограничения сложности теромв в выводах [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Замов Наиль Калимович; АН СССР. Мат. ин-т им. В.А.Стеклова (Ленингр. отд-ни). — Казань, 1973. — 16л.
- Прикладной нестандартный анализ [Текст] = Courant Institute of Mathematical Sciences : монография / перевод с англ.: Сопрунова С. Ф.; под ред.: Успенского В. А. — Москва : Мир, 1980. — 240 с.
1
2
3
4
5
6
7
8
|
