Зведений каталог бібліотек Києва

• Класифікатори та каталоги
• Математика

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

Підтеми:

• Дискретна математика
• Теорія моделей
• Теорія множин
• Теорія алгоритмів
• Математична логіка
• Общий раздел по основаниям математики, математической логики

Документи:

• Математическая теория логического вывода [Текст] / Идельсон А.В. — Москва : Наука, 1967. — 351с.
• Математическая теория логического вывода [Текст] : сборник переводов / под ред.: Идельсона А. В. и Минца Г. Е. — Москва : Наука, 1967. — 352 с.
• Математические основы информатики [Текст] : Пособие для студ. специальности G 31 03 04 "Информатика" / А.В. Мощенский, В.А. Мощенский. — Минск : БГУ, 2002. — 150 с.
• Математический интуиционизм. Введение в теорию доказательств [Текст] / Альберт Драгалин. — Москва : Наука, 1979. — 256 с.
• Математическое моделирование и эксперимент [Текст] : монография / АН УССР, Харьковский физико-технический ин-т. — Киев : Наукова думка, 1987. — 160 с. : ил. 32 + табл. 30.
• Математическое моделирование: Методы описания и исследования сложных систем [Текст] : сборник статей / АН СССР, Отделение информатики, вычислительной техники и автоматизации, Вычислительный центр; отв. ред.: Самарский А. А., Моисеев Н. Н., Петров А. А. — Москва : Наука, 1989. — 271 с.
• Математическое моделирование: Процессы в нелинейных средах [Текст] : сборник / АН СССР, Отделение информатики, вычислительной техники и автоматизации; Ин-т прикладной математики; отв. ред.: Самарский А. А., Курдюмов С. П., Галактионов В. А. — Москва : Наука, 1986. — 312 с.
• Математическое моделирование: Современные проблемы математической физики и вычислительной математики [Текст] : сборник научных трудов / АН СССР, Отделение информатики, вычислительной техники и автоматизации, Ин-т прикладной математики ; отв. ред.:Тихонов А. Н., Плохотников К. Э., Приймак В. Г. — Москва : Наука, 1989. — 308 с. : ил., портр.
• Математична логіка та теорія алгоритмів [Текст] : [навч. посіб.] / М-во освіти і науки України, Сум. держ. ун-т. — Київ : Ліра-К, 2015. — 212 с.
• Материалы 23-й научной конференции профессорско-преподавательского состава по итогам выполнения научно-исследовательских работ за 1965 г. [Текст] / Самаркандский государственный университет. — Самарканд, 1966. — 64с.
• Метаматематика элементарной математики [Текст] = Metamathematik der Elementarmathematik / перевод с нем.: Минца Г. Е.; под ред.: Слисенко А. О. — Москва : Мир, 1987. — 126 с.
• Метод инвариантных преобразований и его приложения [Текст] : Автореф... канд. физ .мат.наук: 01.01.09 / Николаевнко А. Б.; КГУ. — К., 1987. — 13л.
• Методи розробки алгоритмів [Текст] : Тексти лекцій / Мін-во освіти і науки України. — Львів : Львівський національний університет ім. І.Франка, 2002. — 98 с.
• Методы математического моделирования и вычислительной диагностики [Текст] : сборник трудов факультета вычислительной математики и кибернетики МГУ / Московский университет; под ред.: Тихонова А. Н. и Самарского А. А.;. — Москва, 1990. — 390 с. : ил.
• Метрические свойства функций алгебры логики [Текст] : Автореф... канд. физ. мат.наук: / Сапоженко А. А.; АН СССР, Сиб. отд. Совет матем. секц. Объед. уч. сов. по физ. мат. и техн. наукам. — Новосибирск, 1967. — 5л.
• Многозначная пороговая логика [Текст] : монография / АН УССР, Институт кибернетики. — Киев : Наукова думка, 1977. — 147 с. : ил. 22 + табл. 13.
• Многоцветная логика: 175 логических задач [Текст] / Пер.с венг. — М. : Мир, 1978. — 435 с.
• Множества. Логика. Аксиоматические теории [Текст] / Роберт Столл. — Москва : Просвещение, 1968. — 231 с.
• Модальные теории с интуиционистской логикой. [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Сотиров В.Х.; МГУ. Мех.-мат. ф-тет. — М., 1979. — 14л.
• Моделирование и диагностика управляющих систем [Текст] : сборник научных трудов / АН Украинской ССР, Институт прикладной математики и механики. — Киев : Наукова думка, 1991. — 140 с.
• Моделирование цепи поставок: Теория менеджмента [Текст] / Дж. Шапиро. — СПб. : Питер, ИД, 2006. — 720.
• Моделі та методи дослідження абстрактних обчислювальних структур в категорній аксіоматиці [Текст] : Автореф. дис. ... канд. фіз.-мат. наук: 01.05.01 / Ченцов О.І.; КНУТШ. — Київ, 2007. — 15с.
• Моделі та методи дослідження абстрактних обчислювальних структур в категорній аксіоматиці [Текст] : Дис. ... канд. фіз.-мат. наук. Спец. 01.05.01 - теоретичні основи інформатики та кібернетики / Ченцов О.І.; КНУТШ. — Київ, 2007. — 118с.
• Моделювання та оптисмізація швидкої та алгоритмічної надійності надлишкових АЦП прозрядного врівноваження. [Текст] : Автореф... Канд.техн.наук: 01.05.02 / Ракитянська Г.Б,; Вінниц.держ.техн.ун-т. — Вінниця, 1998. — 17л.
• Неклассическая логика [Текст] : сборник статей / АН СССР, Институт философии; отв. ред.: Таванец П. Б. — Москва : Наука, 1970. — 384 с. : с черт.
• Некоторые алгебраические вопросы теории частично рекурсивных функций. [Текст] : Автореф... Канд.физ-мат.наук: 01.01.03 / Козьмин В.В.; АН СССР. — Новосибирск, 1973. — 12л.
• Некоторые вопросы аксиоматизируемых классов моделей. [Текст] : Автореф... Канд.физ-мат.наук: 01.007 / Мустафин Т.Г.; АН СССР.Сиб.отд.Матем.секция Объед.Учебн.Совета по физ-мат.и техн.наукам. — Новосибирск, 1971. — 12л.
• Некоторые вопросы конструктивной математической логики об языках Юп и об языке Я2w [Текст] : Автореф... канд. физ.-мат.наук: 01.007 / Петков П.П.; МГУ. — М., 1970. — 6л.
• Некоторые вопросы теории грамматик непосредственных составляющих [Текст] : Автореф. дис. ... канд. физ.-мат. наук : 009 / Самойленко Л.Г. ; АН УССР , Ин-т кибернетики. — Киев, 1968. — 11 с.
• Некоторые вопросы теории сложности вычислений [Текст] : Дис... канд. физ.-мат.наук: 01.01.06 / Яцишин Юрий Владимирович; АН УССР, Ин-т математики. — Киев, 1987. — 93л.
• Некоторые информационно-комбинаторные задачи управления и планирования. [Текст] : Автореф... доктор физ.-мат.наук: / Черенин В.П.; АН СССР. Матем. ин-т им. В.А.Стеклова. — М., 1967. — 37л.
• Некоторые массовые проблемы исчислений чистой комбинаторной логики [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Шабунин Леонид Васильевич; МГУ. Мех.-мат. фак. — М., 1974. — 19л.
• Некоторые массовые проблемы, связанны с интегрированием конструктивных функций [Текст] : Автореф... канд. физ.-мат.наук: / Кушнер Б.А.; МГУ им. М.В.Ломоносова. Мех.-мат. фак. — М., 1967. — 5л.
• Некоторые построения в алгебре событий и их применение в теории автоматов [Текст] : Автореф... канд. физ.-мат.наук: / Миркин Б.Г.; Сарат. гос. ун-т им. Н.Г.Чернышевского. Механ.-мат. фак. — Саратов, 1966. — 14л.
• Некоторые расширения примитивно рекурсивной арифметики. [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Фахми М.Х.; ЛГУ. Мех.-мат. ф-тет. — Л., 1972. — 8л.
• Некоторые свойства групп с ограниченной мерой налегания определяющих слов. [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Паласиньски Марек; МГУ. Мех.-мат. ф-тет. — М., 1977. — 9л.
• Некоторые теоремы об алгортитмическом подходе к теории вероятностей и теории информации [Текст] : Автореф... канд. физ. мат.наук: / Левин Л. А.; АН СССР, Сиб. от-ние. Уч. сов. Ин-та матем. по присужд. уч. степ. — Новосибирск, 1971. — 10л.
• Нестандартный, или неархимедов, анализ. [Текст] / В.А. Успенский. — Москва, 1983. — 62с.
• Норамальная форма в К-значной логике [Текст] : Автореф. дис. ... канд. физ.-мат. наук: 01.009 / Абдугалиев У.А. ; АН СССР. — Москва, 1970. — 13 с.
• Об алгебре многоместных частично рекурсивных функций с операцией суперпозиции [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Соколов Валерий Анатольевич; Моск. гос. пед. ин-т им. В.И.Ленина. — М., 1972. — 12л.
• Об алгоритмах распознавания образов наилучших в смысле минимума стоимости ошибок. [Текст] : Автореф... Канд.физ-мат.наук: / Логинов В.И.; Моск.физ-техн.ин-т. — М, 1966. — 19л.
• Об алгоритмах, частоте и случайности [Текст] : Автореф. дис. ... канд. физ.-мат. наук : 007 / Агафонов В.Н. ; АН СССР, Сиб. отд-ние. Совет матем. секции объедин. учен. совета по физ.-мат. и техн. наукам ). — Новосибирск, 1969. — 18 с.
• Об эквивалентных преобразованиях схем адресных алгоритмов. [Текст] : Автореф... канд. физ.-мат.наук: 007 / Поршнева В.Н.; АН УССР. Ин-т кибернетики. — К., 1967. — 11л.
• Об экономной реализации алгоритмов поиска максимального нуля дискретных монотонных функций. [Текст] / Н.Н. Катериночкина. — М, 1989. — 16с.
• Об интерпретации пропозициональных и предикатных формул посредству финитных и нефинитных задач [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Кворцов Дмитрий Павлович; МГУ. — М., 1980. — 14л.
• Обобщенно-конструктивный анализ [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Ганов Валерий Александрович; АН СССР. Сибирское отделение. — Новосибирск, 1975. — 14л.
• Об одном классе алгоритмических проблем для бесконтекстных грамматик [Текст] : Автореф... канд. физ.-мат.наук: 007 / Белецкий М.И.; АН СССР. Матем. ин-т им. В.А.Стеклова. — М., 1968. — 9л.
• Об одном походе к конструктивной топологии и теории меры [Текст] : Автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Азза МОхамед Камаль Халифа ; МГУ им М.В. Ломоносова. Механико-математический фак. — Москва, 1980. — 7л.
• Об оценках сложности членов конструктивных последовательностей нормальных алгоритмов [Текст] : Автореф... канд. физ. мат.наук: 01.01.06 / Жаров В.Г.; МГУ,Мех. мат. фак. — М., 1979. — 10л.
• Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в онтологіях [Текст] : автореф. дис. ... канд. техн. наук : 01.05.02 / Кеберле Н.Г. ; Харк. нац. ун-т ім. В.Н. Каразіна. — Харків, 2011. — 20 с.

1    2    3    4   5    6    7    8