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

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

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

Підтеми:

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

Документи:

• Шахно, К. У. Как готовиться к приемным экзаменам в вуз по математике [Текст] / К. У. Шахно. – Изд. восьмое, стер. – Минск : Вышэйшая шк., 1971. – 392 с. : ил.
• Эдельман, С. Л. Математическая логика [Текст] : учеб. пособие / С. Л. Эдельман. – М. : Высшая школа, 1975. – 176 с.
• Ющенко, Ю. О. Вступ до логічного програмування [Текст] : навч. посіб. / Ю. О. Ющенко. – К. : Вид-во Європ. ун-ту, 2006. – 116 с. – 111-115. – ISBN 966-301-101-7.
• Яблонский, С. В. Функции алгебры логики и классы поста [Текст] / С. В. Яблонский, Г. П. Гаврилов, В. Б. Кудрявцев. – М. : Наука, 1966. – 120 с. – (Математическая логика и основания математики). – 113-115. – 38 к.
• Seffart, E. Lineare optimierung. Mathematik fur ingeniere, naturwissenschaftler okonomen und landwirte [Текст] / E. Seffart, R. Manterffel. – 1974. – 196 c.
• Вопросы прикладной математики [Текст] / Квеселава Д. А., ред. – Тбилиси : Мецниереба, 1972. – 216 с. : ил.
• Высшая математика. Основы векторной алгебры. I курс, I семестр. Лекции 9-16 [Текст] / Солодовников А. С., ред. – Казань : Казан. ун-т, 1965. – 44 с.
• Историко-математические исследования [Текст]. Вып. 4 / Рыбкин Г. Ф., Юшкевич А. П., ред. – М.; Л. : Гостехиздат, 1951. – 512 с. : ил.
• Историко-математические исследования [Текст]. Вып. 10 / Рыбкин Г. Ф., Юшкевич А. П., ред. – М. : Гостехиздат, 1957. – 820 с. : ил.
• Кибернетика и логика. Математико-логические аспекты, становления идей кибернетики и развития вычислительной техники [Текст] / Бирюков Б.В., Спиркин А.Г., ред. – М. : Наука, 1978. – 334 с.
• Математизация знаний и научно-технический прогресс [Текст] / Митропольский Ю. А., ред. – К. : Наук. думка, 1975. – 256 с. : ил.
• Математики о математике [Текст] : сб. ст. – М. : Знание, 1967. – 32 с. – (Математика, кибернетика).
• Математическая логика, теория алгоритмов и теория множеств [Текст] : труды. вып. 133 / Никольский С. М., ред. – М. : Наука, 1973. – 276 с.
• Математическая теория логического вывода [Текст] : сб. переводов / Идельсон А.В., Минц Г.Е., ред. – М. : Наука, 1967. – 352 с.
• Математическое просвещение. Математика, ее преподавание, приложения и история [Текст]. Вып. 3 / Дубнов Я. С., Ляпунов А. А., Маркушевич А. И., ред. – М. : Физматгиз, 1958. – 320 с. : ил.
• Математическое просвещение. Математика, ее преподавание, приложения и история [Текст]. Вып. 1 / Дубнов Я. С., Ляпунов А. А., Маркушевич А. И., ред. – М. : Гостехиздат, 1957. – 288 с. : ил.
• Математическое просвещение. Математика, ее преподавание, приложения и история [Текст]. Вып. 4 / Бронштейн И. Н., ред. – М. : Физматгиз, 1959. – 320 с. : ил.
• Математическое просвещение [Текст]. Вып. 5 : Математика, ее преподавание, приложения и история / Бронштейн И. Н., ред. – М. : Физматгиз, 1960. – 305 с. : ил.
• Международный математический конгресс в Амстердаме 1954 г. ( обзорные доклады ) [Текст] /  пер. с англ. и фр. Фомина С. В. – М. : Физматгиз, 1961. – 340 с. : ил. – (Современные проблемы математики).
• Питання механіки і математики [Текст]. Т.44 : Серія механіко-математична. Вип.8. – Львів : Львівський ун-т, 1957. – 218 с. – 73 к.
• Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций [Текст] : сб. переводов / Козмидиади В.А., Мучник А.А., ред. – М. : Мир, 1970. – 432 с.
• Сборник задач по элементарной математике [Текст] : пособие для самообразования / Антонов Н.П., Выгодский М.Я., Никитин В.В., ред. – 12-е изд., стереот. – М. : Наука, 1966. – 528 с. – 88 к.
• Справочная книга по математической логике [Текст] : в 4 ч. Ч. 4 : Теория доказательств и конструктивная математика / Барвайс Д., ред. – М. : Наука, 1983. – 391 с.
• Справочная книга по математической логике [Текст] : в 4 ч. Ч. 3 : Теория рекурсии / Барвайс Д., ред. – М. : Наука, 1982. – 360 с.
• Справочная книга по математической логике [Текст] : в 4 ч. Ч. 2 : Теория множеств / Барвайс Д., ред. ; пер. с англ. – М. : Наука, 1982. – 375 с.
• Справочная книга по математической логике [Текст] : в 4 ч. Ч. 1 : Теория моделей / Барвайс Д., ред. ; пер. с англ. – М. : Наука, 1982. – 392 с. – 388-391.
• Справочник по элементарной математике, механике и физике [Текст]. – Изд. одиннадцатое. – Минск : Наука и техника, 1971. – 216 с. : ил., табл.
• Теоретическая и прикладная математика [Текст]. Вып. 1 / Лопатинский Я. Б., ред. – Львов : Львов. ун-т, 1958. – 200 с.
• Теория моделей и ее применение [Текст] : сб. науч. тр. / Ершов Ю. Л., ред. – Новосибирск : Наука, 1988. – 185 с. – (Труды института математики).

1    2    3    4