Основи математики та математична логіка
Підтеми:
Документи:
- 40-ва Наукова конференція, присвячена пісумкам науково-дослідної роботи університету за 1965 р. [Текст] : Тези доп.: Фізика, математика, 11-16 квітня 1966 р. / Львівський державний університет. — Львів, 1966. — 20с.
- Азбука математической логики [Текст] / Г.П. Мельников. — Москва : Знание, 1967. — 104 с.
- Алгебра висловлень [Текст] : Пос. для самост. роботи та контр.-тренувальні впрви для студ.-заочн. фіз.-мат. фак-тів пед. ін-тів / Навч.-метод. каб. заочн. пед. освіти. — Київ : Радянська школа, 1969. — 104 с.
- Алгебра и математическая логика. Алгебраические исследования [Текст] : межведомственный сборник. — Киев, 1966. — 140 с.
- Алгебраическая интерпретация пропозициональных секвенциальных исчислений [Текст] : Диссертация...кандидата физико-математических наук Специальность 01.01.08 / Ин-тут кибернетики им.В.М.Глушкова НАН Украины. — Киев, 2000. — 104л.
- Алгебраические замкнутые группы [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Белеградек Олег Вильгельмович; АН СССР. Сиб. отд-ние. Учен. совет Ин-та математики СО АН СССР по присуждению учен. степе. — Новосибирск, 1974. — 10л.
- Алгебраические системы [Текст] / А.И. Мальцев. — Москва : Наука, 1970. — 392 с.
- Алгебраический анализ н-значных логических систем. Лукасевича-Тарского [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Григолия Реваз Шотаевич; Моск. гос. ин-т им. В.И.Ленина. — М., 1976. — 12л.
- Алгебра логики, атомарные функции и вейвлеты в физических приложениях [Текст] : учебное пособие для студентов высших учеб. заведений / В.Ф. Кравченко, В.Л. Рвачев. — Москва : Физматлит, 2006. — 416с.
- Алгебра логики в задачах [Текст] / С.Г. Гиндикин. — Москва : Наука, 1972. — 288 с.
- Алгометрические проблемы в полугруппах с органической мерой налегани определяющих слов [Текст] : Автореф... Канд.физ-мат.наук: 01.007 / Осипова В.А.; АН СССР.Матем.ин-т. — Москва, 1971. — 8л.
- Алгоритмические вопросы теории рекурсивных преобразователей [Текст] : Автореф... канд. физ. мат.наук: 01.01.09 / Романовский В. Ю.; КГУ. — К., 1981. — 19л.
- Алгоритмічні алгебри [Текст] : Навчальний посібник / МОУ; ІЗМН. — Київ, 1997. — 480с.
- Алгоритмы и структуры данных - программы [Текст] / Н. Вирт. — Москва : Мир, 1985. — 406с.
- Алгоритмы и структуры данных [Текст] / Н. Вирт. — Москва : Мир, 1989. — 360 с.
- Алгоритмы минимизации негладких функций и оценка их сложности. [Текст] : Автореф... Канд.физ-мат.наук: 008 / Кузовкин А.И.; Ан СССР. — М, 1969. — 11л.
- Алгоритмы поиска периодичностей и идентификации слов, работающие в реальное время. [Текст] : Автореф... канд.физ-мат.наук: 01.01.06 / Слисенко А.О.; Ан ССР.Матем.ин-т. — М, 1980. — 14л.
- Анализ математической модели проектирования диска [Текст] : Автореф... канд. физ.-мат.наук: 01.01.09 / Брусникин Борис Николаевич; АН УССР. Ин-т кибернетики. — К., 1978. — 12л.
- Анализ полноты стратегии в методе резолюций. [Текст] : Автореф... Канд.физ-мат.наук: 01.01.06 / Шаронов В.И.; АН СССР.Матем.ин-т. — Л, 1973. — 14л.
- Арифметика. Алгоритмы. Сложность вычислений [Текст] : Учеб. пособие для вузов / Под. ред. В.А. Садовничего. — 2-е изд., перераб. — Москва : Высшая школа, 2000. — 320 с.
- Асимптотические закономерности в теории дизъюнктивных нормальных форм [Текст] : Автореф... канд. физ.мат.наук: / Нигматуллин Р. Г.; АН СССР, Сиб. от-ние Совет. матем. секц. Объед. уч. сов. по физ. мат. и техн. наукам. — Новосибирск, 1967. — 6л.
- Бесконечнозначная логика в задачах кибернетики [Текст] / В.И. Левин. — Москва, 1982. — 175с.
- Введение в дискретную математику [Текст] : Учеб. пособие для вузов, обуч.по спец."Прикладная математика" / С.В. Яблонский. — 3-е изд.,стер. — Москва : Высшая школа, 2001. — 384с.
- Введение в логику и методологию дедуктивных наук [Текст] / А. Тарский. — Москва : Иностранная литература, 1948. — 327 с.
- Введение в математическую логику [Текст] / А. Черч. — Москва : Иностранная литература, 1960. — 485 с.
- Введение в математическую логику [Текст] / Э. Мендельсон. — 2-е изд. испр. — Москва, 1976. — 320с.
- Введение в математическую логику [Текст] / Э. Мендельсон. — 3-е изд. — Москва : Наука, 1984. — 319с.
- Введение в математическую логику [Текст] / Под ред. С.И.Адяна. — Москва : Наука, 1971. — 320с.
- Введение в математическую логику [Текст] = Introduction to Mathematical logic : монография / перевод с англ.: Черняевского В. С.; под ред.: Успенского В. А. — Москва : Иностранная дит-ра, 1960. — 486 с.
- Введение в матемтическую логику [Текст] / А.И. Попов. — Ленинград : Издательство Ленинградского университета, 1959.
- Введение в теорию моделей и математику алгебры [Текст] / А. Робинсон; Пер. с англ. А.Б. Волынского. — М. : Наука. Гл. ред. физико-матем. лит., 1967. — 376.
- Вводный курс математической логики [Текст] / В.А. Успенский. — М, 1991. — 136с.
- Великий русский мыслитель Н. И. Лобачевский [Текст] / АН СССР, Институт истории естествознания и техники. — 2-е изд., перераб. — Москва : Гос. издательство политической литературы, 1956. — 104 с. : ил.
- Вероятность и индуктивная логика. [Текст] / Шумков В. — М., 1978. — 374с.
- Вища математика й елементи логіки [Текст] : Означення, формули, приклади. Навч. посібник / В.Н. Гладунський; М-во освіти і науки України; науково-методичний центр вищої освіти; Нац. банк України; Львівський банківський ін-т. — Львів : Афіша, 2005. — 496с.
- Вопросы решимости универсальных и расширенных теорий. [Текст] : Автореф... Канд.физ-мат.наук: 01.01.06 / Слободской А.М.; Ан СССР.Ин-т математики с ВЦ. — Кишинев, 1980. — 9л.
- Вопросы финитной аппроксимируемости суперинтуиционистических логик высказываний. [Текст] : Автореф... Канд.физ-мат.наук: 01.01.06 / Герчиу В.Я.; Ан СССР. — Новосибирск, 1972. — 14л.
- Вопросы функциональной полноты в логике, соответствующей первой матрице Яськовского [Текст] : Автореф... канд. физ.-мат.наук: / Раца М.Ф.; АН СССР. Сиб. отд-ние. Совет матем. секции Объедин. учен. совета по физ.-мат. и техн. наукам. — Кишинев, 1967. — 11л.
- ВТТ-сводимость. [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Кобзев Г.Н.; АН СССР. Сиб. отд. Учен. совет Ин-та матем. по присужд. учен. степеней. — Новосибирск, 1975. — 9л.
- Вычислимость. Введение в теорию рекурсивных функций [Текст] / Н. Катленд. — Москва : Мир, 1983. — 256с.
- Вычислимые классы и алгебраические критерии автоустойчивости [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Нуртазин Абыз Темиргалиевич; АН СССР. Сиб. отделение. Учен. совет ин-та математ. по присуждению ученых степеней. — Новосибирск, 1974. — 16л.
- Вычислимые функции [Текст] / Н.К. Верещагин, А. Шень. — 1999.
- Вычислимые функционалы конечных типов [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Дворников Сергей Германович; Новосиб. гос. ун-т им. Ленинского комсомола. — Новосибирск, 1980. — л.
- Генерування послідовностей інверсних конгруентних псевдовипадкових чисел [Текст] : дис. ... канд. фіз.-мат. наук : 01.01.08 / Варбанець С.П. ; Одес. нац. ун-т ім. І.І. Мечникова, Ін-т мат., екон. і механіки. — Одеса, 2010. — 179 л.
- Геомерія [Текст] / О.В. Погорєлов. — 8-е вид. — К., 1989. — 286с.
- Геометрические приложения алгебры логики [Текст] / В.Л. Рвачев. — Киев, 1967. — 212с.
- Группы изометрий обобщенных Бэровских метрик. [Текст] : Дис... канд. физ.-мат.наук: 01.01.06 / Безущак О. Е.; КГУ им. Т. Г. Шевченко. — К., 1991. — 110л.
- Густота синтаксических деревьев вывода в грамматике [Текст] : Автореф... Канд.физ-мат.наук: 01.01.06 / Диковский А,Я.; АН СССР. — Ленинград, 1972. — 12л.
- Декомпозиция линейных автоматов и смежные вопросы [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Финкельштейн Михаил Янкелевич; МГУ. — М., 1981. — 12л.
- Диаграммы Венна. История и применения [Текст] / АН СССР, Научный совет по комплексной проблеме "Кибернетика"; отв. ред.: Яновская С. А. — Москва : Наука, 1968. — 252 с.
1
2
3
4
5
6
7
8
|
