Информационно-библиотечный центр Поволжского государственного технологического университета

Главная

Упрощенный режим

Описание

Базы данных

Книги- результаты поиска

Вид поиска

Книги

Статьи

Полные тексты изданий ПГТУ

Периодика

Авторефераты и диссертации

Область поиска

в найденном

Найдено в других БД:

Статьи (3)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>)

Общее количество найденных документов : 28
Показаны документы с 1 по 10

1-10 11-20 21-28

   16(03)
   К 64

    Кондаков, Н. И.
    Логический словарь-справочник [Текст] : словарь / Н. И. Кондаков ; отв. ред. Д. П. Горский ; Ин-т философии (Москва). - 2-е изд., испр. и доп. - М. : Изд-во "Наука", 1975. - 720 с. : ил. ; 26 см. - Библиогр.: с. 697-717. - 6.60 р.

ГРНТИ	02.21
УДК	Ю4(0)я20	Ю4(2Рос)я20

Рубрики: Философия

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

Экземпляры всего: 1
НЧЗ (1)
Свободны: НЧЗ (1)

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

   51(03)
   М 18


    Малая математическая энциклопедия [Текст] : энциклопедия / Э. Фрид [и др.] ; пер. с венг. Я. Кочиш, М. Соколов ; ред. пер. Ю. Н. Благовещенский, Б. Кочиш. - Будапешт : Изд-во АН Венгрии, 1976. - 693 с. - 3.60 р.

УДК

51(03)

Рубрики: Математика--энциклопедии

Кл.слова (ненормированные):
алгебра -- теория чисел -- геометрия -- математический анализ -- теория множеств -- теория вероятностей -- математическая статистика -- математическая логика
Доп.точки доступа:
Фрид, Эрвин
Пастор, Иштван
Рейман, Иштван
Ревес, Пал
Ружа, Имре
Кочиш, Я. \пер. с венг.\
Соколов, М. \пер. с венг.\
Благовещенский, Ю. Н. \ред. пер.\
Кочиш, Б. \ред. пер.\

Экземпляры всего: 4
чз№1 (1), кнхр (3)
Свободны: чз№1 (1), кнхр (3)

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

   515
   Г 54

    Глоговский, Валентин Владимирович.
    Начертательная геометрия на алгометрической основе [Текст] : учебное пособие / В. В. Глоговский, Б. М. Гринева, М. О. Гнатюк. - Львов : Вища шк., 1978. - 148 с. : рис. - Библиогр.: с. 144-145. - 0.40 р.

ГРНТИ	27.21
УДК	514.18

Дескрипторы: геометрия -- начертательная геометрия -- алгоритмы -- математическая логика -- графическое отображение -- метрические задачи -- многофигурные задачи -- многомерное пространство -- учебные пособия
Доп.точки доступа:
Гринева, Богуслава Михайловна
Гнатюк, Михаил Онуфриевич

Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

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

   51(083)
   В 62

    Воднев, Владимир Трофимович.
    Основные математические формулы [Текст] / В. Т. Воднев, А. Ф. Наумович, Н. Ф. Наумович ; под ред. Ю. С. Богданова. - Минск : Вышэйшая школа, 1980. - 336 с. : рис., табл. - 0.90 р.

УДК

51(035)

ББК 22.1я2

Кл.слова (ненормированные):
элементарная геометрия -- математический анализ -- алгебра -- уравнения -- неравенства -- аналитическая геометрия -- высшая алгебра -- дифференциальное исчисление -- дифференциальная геометрия -- интегральное исчисление -- теория поля -- дифференциальные уравнения -- математическая логика -- теория вероятностей -- математическая статистика -- геометрия -- комплексные числа -- планиметрия -- стереометрия
Аннотация: В справочнике собраны основные формулы из начальных разделов математики, дифференциального и интегрального исчислений, аналитической и дифференциальной геометрии, линейной алгебры, векторного анализа, теории дифференциальных уравнений, математической логики, теории вероятностей и математической статистики.
Доп.точки доступа:
Наумович, Адольф Федорович
Наумович, Нил Федорович
Богданов, Ю. С. \ред.\

Экземпляры всего: 2
чз№2 (1), кнхр (1)
Свободны: чз№2 (1), кнхр (1)

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

   51(083)
   В 62

    Воднев, В. Т.
    Основные математические формулы [Текст] : справочник / В. Т. Воднев, А. Ф. Наумович, Н. Ф. Наумович ; ред. Ю. С. Богданов. - 2-е изд., перераб. и доп. - Минск : Вышэйш. шк., 1988. - 269 с. : ил. - 1.10 р.

УДК

51(083)

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

Экземпляры всего: 4
абунл (2), чз№2 (1), кнхр (1)
Свободны: абунл (1), чз№2 (1), кнхр (1)

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

   519.1
   А 39

   Акимов, О. Е.
    Дискретная математика [Текст] : учеб. пособие / О. Е. Акимов. - Комсомольск-на-Амуре : Изд-во Комсомольского-на-Амуре гос. техн. ун-та, 1996 - .
   Ч. 1 : Логика. - 117 c. : ил. - ISBN 5-7765-0002-8 : 9.10 р.

27.03.19
УДК	519.1	519.1(075)

Кл.слова (ненормированные):
Дискретная математика -- Математическая логика -- Учебные пособия
Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

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

   51
   В 75

    Воротников, С. М.
    Введение в математическую логику [Текст] : Учеб. пособие для электротехн. спец. вузов региона / С. М. Воротников. - Комсомольск-на-Амуре : Комсомольский-на-Амуре гос. техн. ун-т, 1996. - 128 c. : ил. - ISBN 5-230-21447-3 : 9-10 р.

27.03.19
УДК	51	510.6(075)

Кл.слова (ненормированные):
Математическая логика -- Учебные пособия
Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

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

   51
   Л 65

    Лихтарников, Л. М.
    Математическая логика [Текст] : Курс лекций : Задачник-практикум и решения : Учеб. пособие для студ-ов вузов, обуч. по мат. спец. / Л. М. Лихтарников, Т. Г. Сукачева. - Санкт-Петербург : Лань, 1998. - 285 c. - ISBN 5-8114-0082-9 : 24.70 р.

27.03.19
УДК	51	510.6(076)

Кл.слова (ненормированные):
Математическая логика -- Лекции -- Математическая логика -- Задачники
Доп.точки доступа:
Сукачева, Т. Г.

Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

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

   51
   Л 13

    Лавров, Игорь Андреевич.
    Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : сборник задач / И. А. Лавров, Л. Л. Максимова. - 4-е изд. - М. : Физматлит, 2001. - 255 c. - ISBN 5-9221-0026-2 : 80.83 р.

27.03
УДК	510.6(076)	510.54(076)	510.22(076)

Кл.слова (ненормированные):
Теория множеств -- Математическая логика -- Алгоритмы (теория) -- Задачи -- Учебные пособия
Доп.точки доступа:
Максимова, Л. Л.

Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

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

10.

   519.1
   А 39

    Акимов, Олег Евгеньевич.
    Дискретная математика: логика, группы, графы [Текст] : [учеб. изд.] / О. Е. Акимов. - 2-е изд., доп. - М. : Лаборатория Базовых Знаний, 2001. - 376 c. - (Технический университет). - ISBN 5-93208-025-6 : 112.00 р., 112.00 р.

27.45
УДК	519.1	519.1(075)

Кл.слова (ненормированные):
Дискретная математика -- Математическая логика -- Группы алгебраические -- Графы (теория) -- Учебные пособия
Экземпляры всего: 28
чз№1 (2), чз№2 (3), кнхр (1), абунл (22)
Свободны: чз№1 (2), чз№2 (3), кнхр (1), абунл (22)

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

1-10 11-20 21-28

Тематический навигатор

Статистика за 02.06.2024
Число запросов	5421
Число посетителей	642
Число заказов	0