| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
в найденном
В текущей базе данных найдено документов :260
 В других БД по вашему запросу найдено:Электронный каталог (125)ЭБС "ЛАНЬ" (9)Публикации учёных СГУ (3)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>)
Общее количество найденных документов : 260
Показаны документы с 1 по 20
 1-20    21-40   41-60   61-80   81-100   101-120      
1.

   Герн, Б.

    Новое изложение логики, основанное на элементарных курсах математики и физики [Текст] / Б. Герн. - Москва : Тип. Г. Лисснера и А. Гешеля, 1902 - . - Загл. в старой орфографии : Новое изложенiе логики, основанное на элементарныхъ курсахъ математики и физики.
   Ч. 1 : Логика дедуктивная. Логика математики. - Москва : Тип. Г. Лисснера и А. Гешеля, 1902. - 76 с. - ISBN [Б. и.] (в пер.) : 26.00 р.
Прил. къ циркулярамъ по Моск. учеб. округу, изд. подъ ред. Вл. Исаенкова
УДК

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгебра -- геометрия -- арифметика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

2.

    Ляпунов, Александр Михайлович.
    Избранные труды [Текст] / А. М. Ляпунов ; ред. В. И. Смирнов. - Москва : Издательство Академии наук СССР, 1948. - 540 с. - (Классики науки). - 3.20 р.
ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
задача Дирихле -- математическая логика -- предел вероятности -- свойства движения -- теоремы -- теория вероятностей -- устойчивость движения -- форма небесных тел
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)


Доп. точки доступа:
Смирнов, В. И.
Найти похожие

3.

   
    Математика в СССР за тридцать лет, (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
ББК 22.1

Рубрики: Математика--История математики, 1917-1947 гг.

   СССР
Кл.слова (ненормированные):
алгебра -- геометрия -- графические методы -- дифференциальные уравнения -- история математики -- латвийские математики -- математическая логика -- математическая статистика -- теория вероятностей -- теория множеств -- теория функций -- теория чисел -- топология -- функциональный анализ -- численные методы -- эстонские математики
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)


Доп. точки доступа:
Курош, А.Г.
Маркушевич, А.И.
Рашевский, П.К.
Найти похожие

4.

    Математика в СССР за сорок лет [Текст] : в 2 т. : 1917-1957 / гл. ред. А. Г. Курош ; под ред. В. И. Битюцкова [и др.]. - М. : Гос. изд-во физ.-мат. лит., 1959.
   Т. 1 : Обзорные статьи. - 1959. - 1002 с. ; 26 см. - Алф. указ.: с. 987-1002. - 43.80 р.
ГРНТИ
УДК

Рубрики: Математика--История математики

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ ЧИСЕЛ -- ОБЩАЯ АЛГЕБРА -- ТЕОРИЯ ПОЛЕЙ -- ТЕОРИЯ МНОГОЧЛЕНОВ -- ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ -- ВАРИАЦИОННЫЕ ИСЧИСЛЕНИЯ -- ЛИНЕЙНЫЕ ИНТЕГРАЛЬНЫЕ УРАВНЕНИЯ -- ФУНКЦИОНАЛЬНЫЙ АНАЛИЗ -- ТЕОРИЯ ВЕРОЯТНОСТЕЙ -- МАТЕМАТИЧЕСКАЯ СТАТИСТИКА
Аннотация: Настоящий сборник выходит в двух томах. Первый из них посвящен обзорам работ советских ученых в различных разделах математики за 1947-1957 гг.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Курош, А. Г. \\гл. ред.\\
Битюцков, В. И. \\ред.\\
Болтянский, В. Г. \\ред.\\
Дынкин, Е. Б. \\ред.\\
Шилов, Г. Е. \\ред.\\
Юшкевич, А. П. \\ред.\\
Найти похожие

5.

   
    О точных методах исследования языка [Текст] : о так называемой "математической лингвистике" / О. С. Ахманова [и др.] ; под ред. О. С. Ахмановой. - М. : Изд-во Моск. ун-та, 1961. - 162 с. : ил. ; 21 см. - Библиогр.: с. 150-160. - 0.60 р.
ГРНТИ
УДК

Рубрики: Языкознание--Лингвистика

Кл.слова (ненормированные):
ЯЗЫКОВЕДЕНИЕ -- МАШИННЫЙ ПЕРЕВОД -- СТАТИСТИЧЕСКИЕ МЕТОДЫ -- ТЕОРИЯ ИНФОРМАЦИИ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Аннотация: Предлагаемая книга представляет собой попытку осветить некоторые результаты, достигнутые наукой в области применения точных методов к исследованию языка. Понятие точных методов в науке и, далее точных наук неразрывно связано с математикой : отсюда возникло выражение "математическая лингвистика" для обозначения этого нового направления в исследовании языка.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Ахманова, О. С.
Мельчук, И. А.
Падучева, Е. В.
Фрумкина, Р. М.
Ахманова, О. С.
Найти похожие

6.

    Чупахин, И. Я.
    Вопросы теории понятия [Текст] : научное издание / И. Я. Чупахин ; Ленинградский гос. ун-т. - Л. : Изд-во Ленингр. ун-та, 1961. - 139 с. : ил. ; 21 см. - 0.56 р.
УДК

Кл.слова (ненормированные):
ТЕОРИЯ ПОНЯТИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- СТРУКТУРА СУЖДЕНИЯ -- ОТРИЦАТЕЛЬНЫЕ ПОНЯТИЯ -- ФОРМАЛЬНАЯ ЛОГИКА -- ОБЪЕМ ПОНЯТИЙ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.



Найти похожие

7.

    Чкнаверянц, А. А.
    Закон тождества [Текст] : историко-логический очерк / А. А. Чкнаверянц. - М. : Гос. изд-во "Высшая школа", 1961. - 1000 с. ; 21 см. - 0.14 р.
УДК

Кл.слова (ненормированные):
ФОРМАЛЬНО-ЛОГИЧЕСКИЕ ЗАКОНЫ -- ЗАКОН ТОЖДЕСТВА -- МЕТАФИЗИКА -- ИДЕАЛИЗМ -- КОНЦЕПЦИИ ЗАКОНА ТОЖДЕСТВА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Аннотация: Данная работа представляет собой попытку раскрыть истинную сущность закона тождества как закона познающей мысли в свете теории познания диалектического материализма.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

8.

    Стяжкин, Н. И.
    Краткий очерк истории общей и математической логики в России [Текст] / Н. И. Стяжкин, В. Д. Силаков. - Москва : Высшая школа, 1962. - 86 с. - Библиогр.: с. 80. - 0.15 р.
ББК 87.4

Рубрики: Логика--Общие вопросы логики, 14 век; 15 век; 16 век; 17 век; 18 век; 19 век; 20 век

   Россия
Кл.слова (ненормированные):
история логики -- история математической логики -- логические идеи -- математическая логика
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)


Доп. точки доступа:
Силаков, В. Д.
Найти похожие

9.

   
    Международный математический конгресс в Эдинбурге 1958 г. [Текст] : обзор. доклады : пер. с англ., фр. и нем. / Междунар. мат. конгресс (14-21 августа, 1958 г. ; Эдинбург) ; ред. Е. Ф. Мищенко. - М. : Гос. изд-во физико-мат. лит., 1962. - 276 с. : ил. ; 20 см. - (Современные проблемы математики). - Библиогр. в конце ст. - 0.92 р.
УДК

Кл.слова (ненормированные):
ТЕОРИЯ ПОВЕРХНОСТЕЙ -- КОНГРЕСС -- КВАНТОВАЯ ТЕОРИЯ ПОЛЯ -- КОМПЛЕКСНЫЕ ПЕРЕМЕННЫЕ -- АЛГЕБРАИЧЕСКИЕ ГРУППЫ -- ТЕОРИЯ ВЕРОЯТНОСТЕЙ -- КОМПЛЕКСНЫЕ МНОГООБРАЗИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ВАРИАЦИОННЫЕ МЕТОДЫ -- ЛИНЕАРИЗАЦИЯ -- ДЕЛИНЕАРИЗАЦИЯ -- СТАТИСТИЧЕСКАЯ ФИЗИКА
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Мищенко, Е. Ф.
Найти похожие

10.

   
    Проблемы логики [Текст] : сб. статей / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во Акад. наук СССР, 1963. - 151 с. : ил. ; 21 см. - Библиогр. в конце ст. - 0.44 р.
УДК

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИМПЛИКАЦИЯ АККЕРМАНА -- МЕТОД СПЕЦРЕФЕРИРОВАНИЯ -- СИЛЛОГИСТИКА -- ОБЩАЯ ТЕОРИЯ ДЕДУКЦИИ -- ЛОГИЧЕСКИЕ СХЕМЫ АЛГОРИТМОВ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Таванец, П. В.
Найти похожие

11.

    Зенченко, В. П.
    Воздух управляет автоматами (пневматические системы машин-автоматов) [Текст] : научное издание / В. П. Зенченко, Г. В. Крейнин ; Акад. наук СССР. - М. : Изд-во "Академия наук СССР", 1963. - 109 с. : ил. ; 21 см. - (Научно-популярная серия). - 0.16 р.
УДК

Кл.слова (ненормированные):
ПНЕВМАТИЧЕСКИЕ ПРИВОДЫ -- ЛОГИЧЕСКИЕ МАШИНЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ -- ГИДРОЦИЛИНДРЫ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Крейнин, Г. В.
Найти похожие

12.

    Алексеев, М. Н.
    Актуальные проблемы логической науки [Текст] : научное издание / М. Н. Алексеев ; Гос. ун-т им. Ломоносова, Филос. фак., Каф. Логики (Москва). - М. : Изд-во Моск. ун-та, 1964. - 94 с. ; 20 см. - 0.30 р.
УДК

Кл.слова (ненормированные):
ФОРМАЛЬНАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ДИАЛЕКТИЧЕСКАЯ ЛОГИКА -- ПРЕПОДАВАНИЕ ЛОГИКИ -- ЛОГИЧЕСКИЕ КАДРЫ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.



Найти похожие

13.

    Стяжкин, Н. И.
    Становление идей математической логики [Текст] : научное издание / Н. И. Стяжкин ; отв. ред. А. Л. Субботин ; Акад. наук СССР (Москва). - М. : Изд-во "Наука", 1964. - 304 с. : ил. ; 20 см. - Библиогр.: с. 277-298 (460 назв.). - 0.95 р.
УДК

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- СИМВОЛИЧЕСКАЯ ЛОГИКА -- ЛОГИСТИКА -- АЛГЕБРО-ЛОГИЧЕСКАЯ ПРОБЛЕМАТИКА
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Субботин, А. Л.
Найти похожие

14.

    Дьедонне, Ж.
    Основы современного анализа [Текст] / Ж. Дьедонне ; пер. с англ. И. А. Вайнштейна = Foundations of modern analysis / J. Dieudonne : научное издание. - М. : Изд-во "Мир", 1964. - 430 с. ; 22 см. - Библиогр.: с. 415-416 (26 назв.). - 2.06 р.
Тит. л. парал. на англ. яз.
ГРНТИ
УДК

Рубрики: Математика--Анализ

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛИНЕЙНАЯ АЛГЕБРА -- МАТЕМАТИЧЕСКИЙ АНАЛИЗ -- ВЕКТОРНОЕ ПРОСТРАНСТВО -- ИНТЕГРАЛ ЛЕБЕГА -- ТЕОРИЯ ФУНКЦИЙ -- КОМПЛЕКСНЫЕ ПЕРЕМЕННЫЕ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Вайнштейн, И. А.
Найти похожие

15.

    Калужнин, Л. А.
    Что такое математическая логика? [Текст] : научное издание / Л. А. Калужнин. - М. : Изд-во "Наука", 1964. - 152 с. : ил., граф., табл. ; 20 см. - Библиогр.: с. 149-150 (29 назв.). - 0.21 р.
УДК

Кл.слова (ненормированные):
ЛОГИКА ВЫСКАЗЫВАНИЙ -- ФОРМУЛЫ ЛОГИКИ -- ПРЕДИКАТЫ -- КВАНТОРЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

16.

    Столяр, А. А.
    Элементарное введение в математическую логику [Текст] : научное издание / А. А. Столяр. - М. : Изд-во "Просвещение", 1965. - 162 с. : ил. ; 21 см. - Библиогр.: с. 162. - 0.22 р.
УДК

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- МНОЖЕСТВА -- ТРАДИЦИОННАЯ ЛОГИКА -- КВАНТОРЫ -- ЭКВИВАЛЕНТНЫЕ ФОРМУЛЫ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

17.

    Слупецкий, Е.
    Элементы математической логики и теории множеств [Текст] : научное издание / Е. Слупецкий, Л. Борковский ; пер. с пол. О. Ф. Серебрянникова. - М. : Прогресс, 1965. - 386 с. ; 21 см. - . - 1.23 р.
ГРНТИ
УДК

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИКА -- ТЕОРЕТИЧЕСКАЯ ЛОГИКА -- СИМВОЛИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИКА
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Борковский, Л.
Серебрянников, О. Ф.
Найти похожие

18.

    Перекрестов, А. В.
    Построение релейных схем гидроавтоматики [Текст] / А. В. Перекрестов. - М. ; Л. : Энергия, 1965. - 73 с. : черт. ; 20 см. - (Б-ка по автоматике. Вып. 126). - Библиогр. в конце ст.72 (23 назв.)
ГРНТИ
УДК

Рубрики: Автоматика--Устройства автоматики

Кл.слова (ненормированные):
ГИДРАВЛИЧЕСКИЕ СИСТЕМЫ -- ПРОЕКТИРОВАНИЕ ГИДРОСИСТЕМ -- ГИДРАВЛИЧЕСКИЕ ЦЕПИ -- ГИДРОПРИВОДЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЭЛЕКТРИЧЕСКИЕ СХЕМЫ
Аннотация: В книге рассматриваются способы построения системы релейных гидравлических участков по заданным условиям работы, их подключение в цепь реверсивных и нереверсивных гидрадвигателей, построение гидравлических схем релейного действия, а также построение смешанных гидравлических и электрических схем релейного действия.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

19.

    Субботин, А. Л.
    Теория силлогистики в современной формальной логике [Текст] : научное издание / А. Л. Субботин ; отв. ред. П. В. Таванец ; Ин-т философии (Москва). - М. : Изд-во "Наука", 1965. - 126 с. ; 20 см. - Библиогр.: с. 122-123 (35 назв.). - 0.31 р.
УДК

Кл.слова (ненормированные):
СИЛЛОГИСТИКА -- АРИСТОТЕЛЕВСКАЯ СИЛЛОГИСТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ФОРМАЛЬНАЯ СИЛЛОГИСТИКА -- АЛГЕБРАИЧЕСКАЯ ТЕОРИЯ СИЛЛОГИСТИКА -- ПОЛУСТРУКТУРА
Аннотация: В этой работе дано наиболее адекватное оригинальному аристотелевскому замыслу формально-аксиоматическое изложение силлогистики с точки зрения и на базе современной символической логики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Таванец, П. В.
Найти похожие

20.

    Кольман, Э.
    Занимательная логика [Текст] : научно-популярная литература / Э. Кольман, О. Зих. - М. : Изд-во "Наука", 1966. - 127 с. : ил. ; 19 см. - (Научно-популярная серия). - 0.20 р.
УДК

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА КЛАССОВ -- СИМВОЛИЧЕСКАЯ ЛОГИКА -- ЛОГИЧЕСКИЕ УРАВНЕНИЯ -- ЭЛЕМЕНТЫ АРИФМЕТИКИ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Зих, О.
Найти похожие

 1-20    21-40   41-60   61-80   81-100   101-120      
 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)