Новые поступления (книга в стадии обработки) Гильберт, Д. Основы теоретической логики [Текст] / Д. Гильберт, В. Аккерман ; под ред. С. А. Яновской ; пер. с нем. А. А. Ерофеева = Grunbzuge er theoretischen logik / D. Hilbert, W. Ackermann : переводное издание. - М. : Изд-во иностр. лит-ры, 1947. - 304 с. : ил. ; 20 см. - Библиогр.: с. 297-298. - 14.60 р. Тит. л. парал. на нем. яз.
Кл.слова (ненормированные): ЛОГИЧЕСКИЕ СВЯЗИ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- АКСИОМЫ -- ЛОГИЧЕСКИЕ ПАРАДОКСЫ -- СТУПЕНЧАТЫЕ ИСЧИСЛЕНИЯ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Аккерман, В. Ackermann W. Яновская, С. А. Ерофеев, А. А. |
Новые поступления (книга в стадии обработки) Кузичев, А. С. Диаграммы Венна [Текст] : история и применение / А. С. Кузичев ; отв. ред. С. А. Яновская ; Акад. наук СССР, Науч. совет по комплексной проблеме "Кибернетика" (Москва). - М. : Изд-во "Наука", 1968. - 252 с. : ил. ; 20 см. - Библиогр.: с. 241-245 (110 назв.) . - Предм. указ.: с. 246-250. - 0.74 р.
Кл.слова (ненормированные): ЛОГИКА КЛАССОВ -- ЛОГИЧЕСКИЕ УРАВНЕНИЯ -- СИМВОЛИЧЕСКИЙ ЯЗЫК ВЕННА -- КЛАССИЧЕСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЯ ОДНОМЕСТНЫХ ПРЕДИКАТОВ -- ФОРМАЛЬНЫЕ НЕЙРОННЫЕ СХЕМЫ Аннотация: Книга посвящена графическому аппарату математической логики - диаграммам Венна, их истории и применению. Автор показывает, что диаграммы Венна могут облегчать решение различных задач математической логики и задач, связанных с построением надежных автоматов из не вполне надежных элементов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Яновская, С. А. |
Новые поступления (книга в стадии обработки) Петров, Ю. А. Логические проблемы абстракций бесконечности и осуществимости [Текст] : научное издание / Ю. А. Петров ; отв. ред. С. А. Яновская ; Акад. наук СССР, Науч. совет по комплексной проблеме "Кибернетика" (Москва). - М. : Изд-во "Наука", 1967. - 162 с. : ил. ; 21 см. - Библиогр.: с. 160-162. - 0.50 р.
Кл.слова (ненормированные): АБСТРАКЦИИ -- КОНЕЧНЫЕ МНОЖЕСТВА -- БЕСКОНЕЧНЫЕ МНОЖЕСТВА -- КОНСТРУКТИВНЫЕ МНОЖЕСТВА -- АБСТРАКЦИИ БЕСКОНЕЧНОСТИ -- АБСТРАКЦИИ ОСУЩЕСТВИМОСТИ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Яновская, С. А. |
Новые поступления (книга в стадии обработки) Яновская, С. А. Методологические проблемы науки [Текст] : научное издание / С. А. Яновская ; под ред. И. Г. Башмаковой, Д. П. Горского, В. А. Успенского ; Ин-т философии (Москва). - М. : Мысль, 1972. - 280 с. : портр., ил. ; 21 см. - 1.10 р.
Рубрики: Математика--Философские вопросы математики Кл.слова (ненормированные): АКСИОМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ СТРОГОСТЬ -- РАЗВИТИЕ МАТЕМАТИКИ -- ТВОРЧЕСКОЕ РАЗВИТИЕ -- МИРОВОЗЗРЕНИЕ -- МЕТОДОЛОГИЧЕСКИЕ ПРОБЛЕМЫ -- ПРОБЛЕМЫ НАУКИ -- КИБЕРНЕТИКА Аннотация: В книгу включены основные работы по философским и методологическим проблемам науки известного советского математика и философа С. А. Яновской. Для читателя представляют безусловный интерес статьи, в которых освещаются основные философские и историко-методологические проблемы математики и математической логики. В сборник включены также работы, связанные с анализом методологических вопросов кибернетики и критикой современной буржуазной философии. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Башмакова, И. Г. Горский, Д. П. Успенский, В. А. |
Новые поступления (книга в стадии обработки) Пойа, Д. Математика и правдоподобные рассуждения [Текст] : научное издание / Д. Пойа ; пер. с англ. И. А. Вайнштейна ; под ред. С. А. Яновской = Mathematics and Plausible Reasoning : Vol 1. Induction and Analogy in Mathematics : Vol 2. Patterns of Plausible Inference / G. Polya. - 2-е изд., испр. - М. : Изд-во "Наука", 1975. - 463 с. : ил. ; 22 см. - Библиогр.: с. 463. - 1.71 р. Тит. л. парал. на англ. яз.
Рубрики: Математика Кл.слова (ненормированные): ИНДУКЦИЯ -- АНАЛОГИЯ -- ПРОСТРАНСТВЕННАЯ ГЕОМЕТРИЯ -- ТЕОРИЯ ЧИСЕЛ -- МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ -- МАКСИМУМЫ -- МИНИМУМЫ -- ФИЗИЧЕСКАЯ МАТЕМАТИКА -- ПРАВДОПОДОБНЫЕ ДОВОДЫ -- ПРАВДОПОДОБНЫЕ УМОЗАКЛЮЧЕНИЯ Аннотация: Данная книга обращена прежде всего к тем, кто изучает математику, - начиная от учащихся старших классов и студентов и кончая специалистами в различных областях, которым приходится встречаться с применением математических методов исследования. Читатель узнает, какими путями добываются новые факты в математике, с какой степенью доверия следует относиться к той или иной математической гипотезе - одним словом, перед ними раскрывается подлинный процесс математического творчества. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Вайнштейн, И. А. Яновская, С. А. |
Новые поступления (книга в стадии обработки) Яновская, С. А. Передовые идеи Н. И. Лобачевского - орудие борьбы против идеализма в математике [Текст] / С. А. Яновская. - Москва ; Ленинград : Издательство Академии наук СССР, 1950. - 83 с. - 0.40 р. Рубрики: Математика--Общие вопросы математики Кл.слова (ненормированные): геометрия Лобачевского -- неевклидова геометрия Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Математика в СССР за тридцать лет, (1917-1947) [Текст] : сборник статей / ред.: А. Г. Курош, А. И. Маркушевич, П. К. Рашевский. - Москва ; Ленинград : ОГИЗ, 1948. - 1044 с. - Библиогр. в конце глав. - Именной указ.: с. 1035-1044. - 5.40 р. Содержание: Яновская, С. А. Основания математики и математическая логика / С. А. Яновская. - С .11-52 Гельфонд, Александр Осипович. Теория чисел / А. О. Гельфонд. - С .53-84 Чеботарев, Н. Г. Алгебра I (алгебра полиномов и полей) / Н. Г. Чеботарев. - С .85-105 Курош, Александр Геннадиевич. Алгебра II (группы, кольца и структуры) / А. Г. Курош. - С .106-133 Мальцев, Анатолий Иванович. Топологическая алгебра и группы Ли / А. И. Мальцев. - С .134-182 Марков, Андрей Андреевич. Топология / А. А. Марков. - С .183-242 Ляпунов, Алексей Алексеевич. Дескриптивная теория множеств / А. А. Ляпунов, П. С. Новиков. - С .243-255 Бари, Н. К. Метрическая теория функций действительного переменного / Н. К. Бари [и др.]. - С .256-287 Другие авторы: Ляпунов А.А., Меньшов Д.Е., Толстов Г.П. Никольский, Сергей Михайлович. Приближение многочленами функций действительного переменного / С. М. Никольский Бермант, Анисим Федорович. Теория функций комплексного переменного / А. Ф. Бермант, А. И. Маркушевич. - С .319-480 Немыцкий, В. В. Обыкновенные дифференциальные уравнения / В. В. Немыцкий, В. В. Степанов. - С .481-517 Соболев, Сергей Львович. Дифференциальные уравнения в частных производных / С. Л. Соболев. - С .518-584 Степанов, В. В. Вариационное исчисление / В. В. Степанов, Л. Э. Эльсгольц. - С .585-597 Смирнов, В. И. Интегральные уравнения / В. И. Смирнов. - С .598-607 Клейн, М. Г. Функциональный анализ / М. Г. Клейн, Л. А. Люстерник. - С .608-700 Гнеденко, Борис Владимирович. Теория вероятностей / Б. В. Гнеденко, А. Н. Колмогоров. - С .701-727 Смирнов, Н. В. Математическая статистика / Н. В. Смирнов. - С .728-758 Канторович, Л. В. Приближённые методы / Л. В. Канторович, В. И. Крылов. - С .759-801 Семендяев, К. А. Вспомогательные средства вычислений / К. А. Семендяев. - С .802-814 Бахвалов, С. В. Номография / С. В. Бахвалов. - С .815-860 Фиников, С. П. Дифференциальная геометрия трёхмерного пространства / С. П. Фиников. - С .861-882 Рашевский, П. К. Тензорная дифференциальная геометрия / П. К. Рашевский. - С .883-918 Александров, А. Д. Геометрия "в целом" / А. Д. Александров. - С .919-938 Бюшгенс, С. С. Синтетическая геометрия / С. С. Бюшгенс, А. А. Глаголев. - С .939-992 Юшкевич, А. П. История математики / А. П. Юшкевич. - С .993-1022 Лусис, А. Я. Работы латвийских математиков за тридцать лет / А. Я. Лусис. - С .1023-1030 Хумал, А. К. Работы эстонских математиков за тридцать лет / А. К. Хумал. - С .1031-1034 Рубрики: Математика--История математики, 1917-1947 гг. СССР Кл.слова (ненормированные): алгебра -- геометрия -- графические методы -- дифференциальные уравнения -- история математики -- латвийские математики -- математическая логика -- математическая статистика -- теория вероятностей -- теория множеств -- теория функций -- теория чисел -- топология -- функциональный анализ -- численные методы -- эстонские математики Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Курош, А.Г. Маркушевич, А.И. Рашевский, П.К. |