Електронний каталог науково-технічної бібліотеки ІФНТУНГ

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

510 Фундаментальнi та загальнi питання математики

Підтеми:

• 510.2 Загальні проблеми математичної логіки. Основи математики
• 510.5 Алгоритми. Обчислювальні функції
• 510.6 Математична логіка
• 510.8 Математичні структури. Теорія моделей

Документи:

• Зельдович, Я. Б. Элементы прикладной математики [Текст] / Я. Б. Зельдович, А. Д. Мышкис. – 3-е изд., испр. и доп. – М. : Наука, 1972. – 592 с. – 1руб.23коп.
• Зойтендейк, Г. Методы возможных направлений [Текст] / Г. Зойтендейк ; пер. с англ. Мовшовича С. М. – М. : Изд-во ин. лит., 1963. – 176 с. – 171-174.
• Игнатьева, А. В. Курс высшей математики [Текст] / А. В. Игнатьева, Т. И. Краснощекова, В. Ф. Смирнов ; Романовский П.И., ред. – М. : Высшая школа, 1964. – 683 с.
• Основи дискретної математики [Текст] : навч. посіб. Ч. 2 : Математична логіка. Теорія графів / В. С. Ільків, П. І. Каленюк, І. В. Когут [et al.]. – Львів : Львів. політехніка, 2011. – 184 с. – ISBN 978-617-607-144-0.
• Калужнин, Л. А. Что такое математическая логика [Текст] / Л. А. Калужнин. – М. : Наука, 1964. – 152 с.
• Калужнін, Л. А. Алгоритми і математичні машини [Текст] / Л. А. Калужнін, В. С. Королюк. – К. : Радянська школа, 1964. – 284 с. : іл. – 279-280.
• Кальницкий, Л. А. Специальный курс высшей математики [Текст] : учеб. пособ. / Л. А. Кальницкий, Д. А. Добротин, В. Ф. Жевержев. – М. : Высшая школа, 1976. – 389с. – 75к.
• Кановей, В. Г. Аксиома выбора и аксиома детерминированности [Текст] / В. Г. Кановей. – М. : Наука, 1984. – 65 с. – (Проблемы науки и техн. прогресса).
• Кантор, Г. Труды по теории множеств [Текст] / Г. Кантор ; Колмогоров А. Н., ред. – М. : Наука, 1985. – 430 с.
• Каплан, И. А. Практические занятия по высшей математике [Текст]. Т. 5 : Численное решение алгебраических и трансцендентных уравнений, матричное исчисление, векторный анализ и интегрирование линейных дифференциальных уравнений первого порядка с частными производными / И. А. Каплан. – 2-е изд., стер. – Х. : Изд-во ун-та, 1972. – 412 с.
• Каплан, И. А. Практические занятия по высшей математике (Аналитическая геометрия на плоскости и в пространстве, дифференциальное исчисление функций одной и многих независимых переменных) [Текст] : учебник / И. А. Каплан. – 2-е изд., доп. и перераб. – Харьков : Изд-во Харьковского ун-та, 1965. – 575 с.
• Каплан, И. А. Практические занятия по высшей математике [Текст]. Аналитическая геометрия на плоскости и в пространстве. Дифференциальное исчисление функций одной и многих независимых переменных. / И. А. Каплан. – 4-е изд. – Х. : Изд. Харьковского ун-та, 1970. – 575 с.
• Каплан, И. А. Практические занятия по высшей математике [Текст]. Т.4 : Краткие и криволинейные интегралы / И. А. Каплан. – 3-е изд., стереотип. – Харьков : Изд-во ун-та, 1972. – 235 с. – 61 коп.
• Каплан, И. А. Практические занятия по высшей математике [Текст]. Т. 3 : Интегральное исчисление функций одной независимой переменной, интегрирование дифференциальных уравнений. Ч. 4 : Краткие и криволинейные интегралы. / И. А. Каплан. – Харьков : Изд-во ун-та им. Горького, 1971. – 497 с.
• Каплан, И. А. Практические занятия по высшей математике [Текст] / И. А. Каплан. – 3-е изд. – Х. : Изд-во ун-та, 1967. – 946 с.
• Каплан, И. А. Практические занятия по высшей математике [Текст]. Ч. V. : Численное решение алгоритмических и трансценд. уравнений, матрич. исчисл., вект. анализ ... / И. А. Каплан. – Х. : Изд. Харьковского ун-та, 1968. – 412 с.
• Каплан, И. А. Практические занятия по высшей математике [Текст]. Ч. 4. : Двойные, тройные и криволинейные интегралы, числовые, степенные и тригонометрические ряды / И. А. Каплан. – Харьков : Изд-во Харьковского ун-та, 1966. – 236 с.
• Каплан, И. А. Практические занятия по высшей математике. В 2-х частях. [Текст] : учеб. пособ. Ч.1. : Аналитическая геометрия на плоскости и в пространстве / И. А. Каплан. – Х. : Изд. ун-та, 1960. – 227 с. – 45 коп.
• Карлесон, Л. Избранные проблемы теории исключительных множеств [Текст] / Л. Карлесон ; Мазьи В.Г., ред. ; пер. Хавин В.П. – М. : Мир, 1971. – 128 с. – (Математика). – 122-125.
• Карпов, В. Г. Математическая логика и дискретная математика [Текст] : учеб. пособие / В. Г. Карпов, В. А. Мощенский. – Минск : Вышейшая школа, 1977. – 254с. : ил.
• Касаткин, В. Н. Логическое программирование в занимательных задачах [Текст] / В. Н. Касаткин. – К. : Техніка, 1980. – 79 с. : ил.
• Кейслер, Г. Теория моделей [Текст] / Г. Кейслер, Ч. Чэн. – М. : Мир, 1977. – 616 с. – 592-604.
• Корн, Г. Справочник по математике для научных работников и инженеров. Определения, теоремы, формулы [Текст] / Г. Корн, Т. Корн ; пер. с англ. Аромановича И. Г. – М. : Наука, 1974. – 831 с.
• Корн, Г. Справочник по математике для научных работников и инженеров. Определения, теоремы, формулы [Текст] / Г. Корн, Т. Корн ; Араманович И. Г. ред. ; пер. с амер. – М. : Наука, 1973. – 831 с.
• Корн, Г. Справочник по математике для научных работников и инженеров. Определения, теоремы, формулы. [Текст] / Г. Корн, Т. Корн ; пер. с англ. Аромановича И.Г. – М. : Наука, 1968. – 720 с. – 682-684. – 3руб.3к.
• Корн, Г. Справочник по математике для научных работников и инженеров. Определения, теоремы, формулы. [Текст] / Г. Корн, Т. Корн ; пер. с англ. Аромановича И. Г. – 2-е изд. – М. : Наука, 1970. – 720 с.
• Косовский, Н. К. Основы теории элементарных алгоритмов [Текст] / Н. К. Косовский. – Л. : ЛГУ, 1987. – 152 с. – 148-151.
• Кравченко, Ю. А. Использование знаний в системах картографического отображения [Текст] / Ю. А. Кравченко // Геодезия и картография. – 2004. – № 12. – С.36-43.
• Крайзель, Г. Исследования по теории доказательств [Текст] : сб. ст. / Г. Крайзель. – М. : Мир, 1981. – 289 с. – (Математика).
• Крихівський, М. В. Математичні основи інформаційної діяльності [Текст] : самостійна робота / М. В. Крихівський, Т. О. Ваврик. – Івано-Франківськ : ІФНТУНГ, 2017. – 17 с. – (Каф. інформатики).
• Крылов, Н. М. Избранные труды [Текст]. Т. 2 / Н. М. Крылов. – К. : АН УССР, 1961. – 308 с.
• Крылов, Н. М. Избранные труды [Текст]. Т. 1 / Н. М. Крылов. – К. : АН УССР, 1961. – 268 с.
• Крылов, Н. М. Избранные труды [Текст]. Т. 3 / Н. М. Крылов. – К. : АН УССР, 1961. – 400 с.
• Кудрявцев, В. А. Краткий курс высшей математики [Текст] : учеб. пособ. для вузов / В. А. Кудрявцев, Б. П. Демидович. – М. : Физматгиз, 1962. – 528с.
• Куратовский, К. Теория множеств [Текст] / К. Куратовский, А. Мостовский ; пер. с англ. Кратко М.И. – М. : Мир, 1970. – 416 с. – 395-402.
• Литлвуд, Дж. Математическая смесь [Текст] / Дж. Литлвуд ; пер. с англ. Левина В. И. – Изд. третье. – М. : Наука, 1973. – 144 с. : ил.
• Лихолетов, И. И. Высшая математика, теория вероятностей и математическая статистика [Текст] : Учебник / И. И. Лихолетов. – Минск : Вышейшая школа, 1976. – 719с.
• Лихолетов, И. И. Руководство к решению задач по высшей математике, теории вероятностей и математической статистике [Текст] / И. И. Лихолетов, И. П. Мацкевич. – 3-е изд., стереотип. – Минск : Вышейшая школа, 1976. – 452 с.
• Манин, Ю. И. Доказуемое и недоказуемое [Текст] / Ю. И. Манин. – М. : Советское радио, 1979. – 168 с. : ил. – (Кибернетика).
• Маркович, Э. С. Курс высшей математики с элементами теории вероятностей и математической статистики [Текст] : учеб. пособие / Э. С. Маркович. – Изд. второе, перераб. и доп. – М. : Высшая шк., 1972. – 480 с. : ил., табл. – 470.
• Минорский, В. П. Сборник задач по высшей математике [Текст] : учеб. для вузов / В. П. Минорский. – 11-е изд., стер. – М. : Наука, 1971. – 852 с.
• Минорский, В. П. Сборник задач по высшей математике [Текст] : учеб. пособие / В. П. Минорский. – Изд. девятое, стер. – М. : Наука, 1967. – 360 с. : ил., табл.
• Минорский, В. П. Сборник задач по высшей математике [Текст] : учеб. пособие / В. П. Минорский. – Изд. десятое. – М. : Наука, 1969. – 352 с. : ил., табл.
• Моденов, П. С. Сборник задач по специальному курсу элементарной математики [Текст] : учеб. пособие / П. С. Моденов. – Изд. второе, доп. и испр. – М. : Высшая шк., 1960. – 768 с. : ил.
• Моденов, П. С. Сборник задач по специальному курсу элементарной математики [Текст] : учеб. пособие / П. С. Моденов. – М. : Совет. наука, 1957. – 668 с. : ил.
• Мышкис, А. Д. Лекции по высшей математике [Текст] : учеб. пособие / А. Д. Мышкис. – М. : Наука, 1964. – 608 с. : ил.
• Натансон, И. П. Краткий курс высшей математики [Текст] : учебник / И. П. Натансон. – М. : Физматгиз, 1968. – 729 с. : ил.
• Натансон, И. П. Краткий курс высшей математики [Текст] : учебник / И. П. Натансон. – М.; Л. : Физматгиз, 1963. – 748 с. : ил.
• Новиков, П. С. Конструктивная математическая логика с точки зрения классической [Текст] / П. С. Новиков. – М. : Наука, 1977. – 328 с. – 318-320.
• Пак, В. В. Инженер, математика и другие. Простные методы математического моделирования природных и технологических процессов. [Текст] / В. В. Пак. – Донецк : ДонГТУ, 1995. – 224 с.

1    2   3    4