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

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

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

Підтеми:

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

Документи:

• Перельман, Я. І. Жива математика. Математичні оповідання і головоломки [Текст] / Я. І. Перельман. – Вид. восьме, перероб. і доп. – К. : Техніка, 1968. – 152 с. : іл.
• Петер, Р. Игра с бесконечностью [Текст] / Р. Петер ; пер. с нем. Кисунько В. – М. : Молодая гвардия, 1967. – 368 с. : ил.
• Петер, Р. Игра с бесконечностью. Математика для нематематиков [Текст] / Р. Петер ; пер. с венг. Боцу В. М., Маргулиса А. Я., Мейлихзона А. – М. : Просвещение, 1968. – 270 с. : ил. – (Математическое просвещение).
• Петров, Ю. А. Математическая логика и материалистическая диалектика [Текст] / Ю. А. Петров. – М. : Московский ун-т, 1974. – 192 с. – 190-191.
• Попов, А. И. Введение в математическую логику [Текст] / А. И. Попов. – Л. : Ленинград. ун-т, 1959. – 108 с.
• Рвачев, В. Л. Геометрические приложения алгебры логики [Текст] / В. Л. Рвачев. – К. : Техніка, 1967. – 212 с.
• Реньи, А. Диалоги о математики [Текст] / А. Реньи ; пер. с англ. Гнеденко Д. Б., Масловой Е. А. – М. : Мир, 1969. – 96 с. : ил.
• Різник, О. Я. Логічне програмування [Текст] : навч. посіб. / О. Я. Різник. – Львів : Львів. політехніка, 2008. – 332 с. – ISBN 978-966-553-736-6.
• Рыбников, К. А. История математики [Текст] : учеб. пособие. Т. 2 / К. А. Рыбников. – М. : Москов. ун-т, 1963. – 336 с. : ил. – 319-323.
• Семигин, Н. Я. Сборник задач по высшей математике [Текст] / Н. Я. Семигин, А. И. Карасев, М. С. Лебедев ; Маркович Э.С., ред. – М. : Высш. школа, 1967. – 230 с.
• Смирнов, В. И. Курс высшей математики [Текст] : учеб. пособие. Т. 5 / В. И. Смирнов. – М. : Физматгиз, 1959. – 656 с.
• Смирнов, В. И. Курс высшей математики [Текст]. Т.2 / В. И. Смирнов. – 20-е изд., стереотип. – М. : Наука, 1967. – 655 с.
• Смирнов, В. И. Курс высшей математики [Текст]. Т. 4. Ч. 1 / В. И. Смирнов. – 6-е изд.,перераб. и доп. – М. : Наука, 1974. – 336 с. – 88к.
• Смирнов, В. И. Курс высшей математики [Текст]. Т. 3. Ч. 2 / В. И. Смирнов. – 10-е изд., стер. – М. : Наука, 1974. – 672 с.
• Смирнов, В. И. Курс высшей математики [Текст] : учебник. Т. 1 / В. И. Смирнов. – Изд. восемнадцатое, стер. – М. : Физматгиз, 1958. – 480 с. : ил.
• Смирнов, В. И. Курс высшей математики [Текст] : учеб. пособие. Т. 4 / В. И. Смирнов. – Изд. второе. – М. : Гостехиздат, 1951. – 804 с.
• Смирнов, В. И. Курс высшей математики [Текст] : учебник. Т. 1 / В. И. Смирнов ; Изд. двадцать второе, стер. – М. : Наука, 1967. – 480 с. : ил., табл.
• Смирнов, В. И. Курс высшей математики [Текст] : Учеб. пособ. для физико-математ. ф-тов у-тов. Т.3. Ч.1 / В. И. Смирнов. – 4-е изд. – Л.-М. : Гостехтеориздат, 1949. – 335с.
• Смирнов, В. И. Курс высшей математики [Текст]. Т.2 / В. И. Смирнов. – 20-е изд., стереотип. – М. : Наука, 1965. – 655 с. : ил., табл.
• Смирнов, В. И. Курс высшей математики [Текст]. Т.2. / В. И. Смирнов. – 21-е изд., стереотип. – М. : Наука, 1974. – 655 с. : ил., табл.
• Смирнов, В. И. Курс высшей математики [Текст] : Учеб. пособ. для втузов и вузов. Т.2 / В. И. Смирнов. – 7-е изд., испр. – Л.-М. : Гостехтеориздат, 1938. – 500с.
• Смирнов, В. И. Курс высшей математики [Текст]. Т.3. Ч.2 / В. И. Смирнов. – Л.-М. : Гос.изд-во технико-теоретич. лит., 1949. – 672 с. – 2 р. 07 к.
• Смирнов, В. И. Курс высшей математики [Текст]. Т.1. / В. И. Смирнов. – 23-е изд., стереотип. – М. : Наука, 1974. – 479с. – 1р.8к.
• Смирнов, В. И. Курс высшей математики [Текст]. Т.2. / В. И. Смирнов. – 21-е изд., стереотип. – М. : Наука, 1974. – 479с. – 1р.26к.
• Смирнов, В. И. Курс высшей математики [Текст]. Т.3. Ч.1. / В. И. Смирнов. – 10-е изд., стереотип. – М. : Наука, 1974. – 323с. – 1р.65к.
• Смирнов, В. И. Курс высшей математики [Текст]. Т.3. Ч.1 / В. И. Смирнов. – 9-е изд., испр. – М. : Наука, 1967. – 323 с. – 80 коп.
• Смирнов, В. И. Курс высшей математики [Текст] : Учеб. для физико-матем. ф-тов ун-тов. Т.1 / В. И. Смирнов. – 10-е изд. – Л.-М. : Гостехтеориздат, 1940. – 408с.
• Смирнов, В. И. Курс высшей математики [Текст]. Т.3 / В. И. Смирнов. – 3-е изд., перераб. – Л.-М. : ГОНТИ НКТИ СССР, 1939. – 796с.
• Смирнов, В. И. Курс высшей математики [Текст]. Т.3. Ч.2 / В. И. Смирнов. – 8-е изд., испр. и доп. – М. : Наука, 1969. – 672 с. – 1 руб. 52 к.
• Соломинский, И. С. Метод математической индукции [Текст] / И. С. Соломинский. – М. : Физматгиз, 1959. – 48 с. – (Популярные лекции по математике).
• Соломинский, И. С. О математической индукции [Текст] / И. С. Соломинский, Л. И. Головина, И. М. Яглом. – М. : Наука, 1967. – 144 с. – 24 к.
• Столл, Р. Р. Множества. Логика. Аксиоматические теории [Текст] / Р. Р. Столл ; .Шахинович Ю. А., ред. – М. : Просвещение, 1968. – 230 с.
• Столл, Р. Р. Множества. Логика. Аксиоматические теории [Текст] / Р. Р. Столл ; .Шахинович Ю. А., ред. – М. : Просвещение, 1968. – 230 с.
• Столяр, А. А. Как математика ум в порядок приводит [Текст] / А. А. Столяр. – Минск : Вышэйшая шк., 1982. – 205 с.
• Стяжкин, Н. И. Формирование математической логики [Текст] / Н. И. Стяжкин. – М. : Наука, 1967. – 508 с. – 456-505.
• Тростников, В. Н. Всемирный конгресс математиков в Москве [Текст] / В. Н. Тростников. – М. : Знание, 1967. – 64 с. : ил. – (Математика, кибернетика).
• Тростников, В. Н. Конструктивные процессы в математике. (Философский аспект) [Текст] / В. Н. Тростников. – М. : Наука, 1975. – 254 с. – 88 к.
• Фильчаков, П. Ф. Справочник по высшей математике [Текст] / П. Ф. Фильчаков. – К. : Наук. думка, 1973. – 743 с. – 722-728.
• Фильчаков, П. Ф. Справочник по высшей математике [Текст] / П. Ф. Фильчаков. – К. : Наук. думка, 1972. – 743 с.
• Фильчаков, П. Ф. Справочник по высшей математике [Текст] / П. Ф. Фильчаков. – К. : Наукова думка, 1974. – 743 с.
• Фихтенгольц, Г. М. Математика для инженеров [Текст]. ч.1 / Г. М. Фихтенгольц. – 3-е стереотипное издание. – Л.-М. : Государственное технико-теоретическое издательство, 1933. – 488с.
• Фихтенгольц, Г. М. Математика для инженеров [Текст]. ч.1 / Г. М. Фихтенгольц. – М.-Л. : Государственное научно-техническое издание, 1931. – 488с.
• Фор, Р. Современная математика [Текст] / Р. Фор, А. Кофман, М. Дени-Папен ; Колмогоров А.Н., ред. ; пер. с франц. Гайдуков Е.В., Родман Н.Н. – М. : Мир, 1966. – 271с. – 266. – 95 к.
• Фролов, С. В. Курс высшей математики [Текст] : учебник. Т. 1 / С. В. Фролов, Р. Я. Шостак. – 2-е изд., перераб. и доп. – М. : Высшая шк., 1973. – 480 с. : ил.
• Хао, В. Аксиоматические системы теории множеств [Текст] / В. Хао, Р. Мак-Нотон ; пер. с фр. Погребысский И.Б. – М. : Изд-во иностранной лит-ры, 1963. – 54 с. – 36-48.
• Хаскелл, Б. Карри Основания математической логики [Текст] / Б. Карри Хаскелл ; Гастев Ю.А., ред. ; пер. Донченко В.В. – М. : Мир, 1969. – 568 с. – 518-547.
• Цейтен, Г. Г. История математики в 16 и 17 веках [Текст] / Г. Г. Цейтен ; пер. с нем. Новикова П. – 2-е изд., испр. и доп. – М.-Л. : ОНТИ, 1938. – 456с.
• Чери, С. Логическое программирование и базы данных [Текст] / С. Чери, Г. Готлоб, Л. Танка ; пер. с англ. – М. : Мир, 1992. – 352 с.
• Черч, А. Введение в математическую логику [Текст]. Т.1 / А. Черч ; пер. с англ. Чернявский В.С. – М. : Изд-во иностр. л-ры, 1960. – 488 с.
• Шабанов-Кушнаренко, Ю. П. Теория интелекта: Пробемы и перспективы [Текст] / Ю. П. Шабанов-Кушнаренко. – Харьков : Вища шк., 1987. – 160 с. : ил. – 155-156.

1    2    3   4