Математична логіка
Документи:
- 4-й съезд румынских математиков 27.05-4.06 1956 г. [Текст]. — Стеклогр. изд. — Бухарест, 1956. — 283 с.
- Алгебра и математическая логика [Текст] / Калужнин Л.А. — Киев, 1966. — 140 с.
- Алгебра, логика и теория чисел [Текст] / Лупанов О.Б. — Москва, 1986. — 102 с.
- Алгоритмы решения логико-коминаторных задач [Текст] / Закревский А.Д. — Минск, 1977. — 162 с.
- Введение в дискретную математику [Текст] : Учеб. пособие для вузов, обучающихся по специальности "Прикладная математика" / С.В. Яблонский; МГУ им. М.В. Ломоносова. — 4-е изд., стер. — Москва : Высшая школа, 2006. — 392с.
- Введение в теорию моделей и метаматематику алгебры. [Текст] / А. Робинсон. — Москва : Наука, 1967. — 376 с.
- Вища математика й елементи логіки [Текст] : означення, формули, приклади : навч. посібник для студ. вищ. навч. закладів / В.Н. Гладунський ; М-во освіти і науки України, Львів. ін-т банк. справи Ун-ту банк. справи Нац. банку України. — Вид. 2-ге, доповн. — Львів : Афіша, 2008. — 502, [2] с. : табл.
- Дослідження композиційно-номінативних модальних та темпоральних логік [Текст] : автореф. дис. ... канд. фіз.- мат. наук : 01.05.01 / Шкільняк О.С. ; КНУТШ. — Київ, 2011. — 19 с.
- Дослідження композиційно-номінативних модальних та темпоральних логік [Текст] : дис. ... канд. фіз.- мат. наук : 01.05.01 / Шкільняк О.С. ; КНУТШ. — Київ, 2011. — 143 л.
- Елементи математичної логіки та теорії рекурсії [Текст] : навч. посібник / М. Комарницький, В. Андрійчук, І. Мельник ; М-во освіти і науки України, Львів. нац. ун-т ім. Івана Франка. — Львів : ЛНУ ім. Івана Франка, 2013. — 281, [1] с. : іл.
- Задачі з математичної логіки [Текст] : навчальний посібник / О.Ю. Дрозд-Корольова ; КНУТШ. — Київ : Київський університет, 2010. — 95 с.
- Исследования по теории множеств и неклассическим логикам [Текст]. — Москва : Наука, 1976. — 328 с.
- Конструктивная математическая логика с точки зрения классической [Текст] / П.С. Новиков. — Москва, 1977. — 328 с.
- Логика, алгебра и базы данных [Текст] / П. Грэй. — Москва : Машиностроение, 1989. — 359 с.
- Логика Открытого Синтеза [Текст] = The logic of the open synthesis : в 2 т. / В.И. Моисеев. — Санкт-Петербург : Міръ, 2010. — 741, [3] с. : ил.
- Логика Открытого Синтеза [Текст] = The logic of the open synthesis : в 2 т. / В.И. Моисеев. — Санкт-Петербург : Міръ, 2010. — 742, [2] с. : ил., табл.
- Логические исследования [Текст] : Сб. ст. / АН СССР; Ин-т философии. — Москва : Изд-во АН СССР, 1959. — 467с.
- Математическая логика в программировании [Текст] / Захарьящев М.В. — Москва, 1991. — 408 с.
- Математическая логика и алгоритмы [Текст] / В.К. Иножарский. — Орел, 1971. — 144 с.
- Математическая логика и дискретная математика [Текст] : Учеб. пособие для ун-тов по специальности "Прикл. математика") / В.Г. Карпов. — Минск, 1977. — 254 с.
- Математическая логика и математическая лингвистика [Текст] / Гладкий А.В. — Калинин, 1981. — 171 с.
- Математическая логика и теория алгоритмов [Текст] : уч. пособие / В.И. Игошин. — Саратов, 1991. — 255 с.
- Математическая логика, математическая лингвистика и теория алгоритмов [Текст] / Гладкий А.В. — Калинин, 1983. — 116 с.
- Математическая логика [Текст] / А.Н. Колмогоров, А.Г. Драгалин. — Москва : Издательство Московского университета, 1984. — 119 с.
- Математическая логика [Текст] / Д.Р. Шенфилд. — Москва : Наука, 1975. — 527 с.
- Математическая логика [Текст] / И.Л. Никольская. — Москва, 1981. — 127 с.
- Математическая логика [Текст] / К.А. Михайлова. — Москва, 1972. — 39 с.
- Математическая логика [Текст] / Лототин Л.А. — Минск : Вышэйшая школа, 1991. — 269 с.
- Математическая логика [Текст] / М.И. Каменский. — Москва, 1982. — 62 с.
- Математическая логика [Текст] / Р.Л. Гудстейн. — Москва, 1961. — 162 с.
- Математическая логика [Текст] / С.К. Клини. — Москва : Мир, 1973. — 480 с.
- Математическая логика [Текст] / С.Л. Эдельман. — Москва : Высшая школа, 1975. — 176 с.
- Математическая логика [Текст] : Учебное пособие / Ю.Л. Ершов, Е.А. Палютин. — 4-е изд., стереотип. — Санкт-Петербург : Лань, 2005. — 336с.
- Математическая логика [Текст] / Ю.Л. Ершов. — 2-е изд. — Москва : Наука, 1987. — 336 с.
- Математическая логика [Текст] / Ю.Л. Ершов. — Москва, 1973. — 159 с.
- Математическая логика [Текст] / Ю.Л. Ершов. — Москва, 1979. — 320 с.
- Математична логіка в шкільному курсі математики [Текст] / В.Ю. Середа. — Київ, 1984. — 144 с.
- Математична логіка: Основи теорії алгоритмів [Текст] : навч. посібник / С.С. Шкільняк ; Міжрегіон. Акад. упр. персоналом. — Київ : Персонал, 2009. — 279, [1] с.
- Математична логіка та теорія алгоритмів [Текст] : підручник для студентів кібернетичних факультетів вищих навч. закладів / М.С. Нікітченко, С.С. Шкільняк ; КНУТШ. — Київ : Київський університет, 2008. — 528 с.
- Математична логіка [Текст] / І.В. Вітенько. — Ужгород, 1971. — 214 с.
- Математична логіка [Текст] : Навчальний посібник для студ. спеціальності "Інформатика" / КНУТШ. — Київ : Київський університет, 2004. — 77с.
- Математична логіка [Текст] : Навчальний посібник / КНУТШ; Факультет кібернетики. — Київ : Київський університет, 2003. — 120с.
- Математична логіка [Текст] : навч. посібник для студ. ін-тів / А.С. Олійник, В.І. Сущанський ; Київ. нац. ун-т ім. Тараса Шевченка. — Київ : Київський університет, 2013. — 171, [1] с. : табл.
- Математична логіка [Текст] / Я.В. Хромой. — Київ : Вища школа, 1983. — 208с.
- Методическая разработка по курсу "Математическая логика и дискретная математика" [Текст]. — Саратов, 1982. — 134 с.
- Методична розробка з курсу "математична логіка" [Текст] / В.І. Сущанський. — Київ, 1979. — 51 с.
- Моделирование цепи поставок: Теория менеджмента [Текст] / Дж. Шапиро. — СПб. : Питер, ИД, 2006. — 720.
- Основи математичної логіки [Текст] : Курс лекцій / КНУТШ. — Київ : Київський університет, 2005. — 126с.
- Очерки о кристаллах [Текст] / Сост.: В.А. Тихомирова, А.И. Черноуцан. — Москва : БюроКвантум, 2002. — 128с.
- Приклади й задачі з теорії алгоритмів і математичної логіки [Текст] : навч. посібн. / О.І. Провотар, О.С. Шкільняк ; Київ. нац. ун-т ім. Тараса Шевченка. — Київ : Київський університет, 2012. — 167, [1] с.
1
2
|
