Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
в найденном
 Найдено в других БД:Труды учёных ПГНИУ (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=ЛОГИКА МАТЕМАТИЧЕСКАЯ<.>)
Общее количество найденных документов : 27
Показаны документы с 1 по 10
 1-10    11-20   21-27 
1.
   517
   Д 720

    Драбкина, М. Е.
    Логические упражнения по элементарной математике : учебное пособие / М. Е. Драбкина. - Минск : Высшая школа, 1965. - 158 с. - 0.28 р.
ГРНТИ
27
УДК
510.6(075.8)
Рубрики: Математическая логика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИКА МАТЕМАТИЧЕСКАЯ

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
2.
   517
   Л 190

    Лакатос, Имре.
    Доказательства и опровержения : как доказываются теоремы / И. Лакатос ; пер. с англ. с предисл. проф. И. Н. Веселовского, отв. ред. д.ф.-м.н. И. Б. Погребысский. - Москва : Наука, 1967. - 150, [2] с. : ил. - Библиогр. в конце кн. - 0.50 р., 0.50 р.
ГРНТИ
27
УДК
510.6
Рубрики: Математический анализ
Кл.слова (ненормированные):
теоремы (доказательства) -- логика математическая -- математика (философия)


Доп.точки доступа:
Академия наук СССР
Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие
3.
   517
   М 917

    Мустафина, Ч. С.
    Задания по математической логике. С методическими указаниями к их выполнению / Ч. С. Мустафина ; КГПИ. - Казань : [б. и.], 1971. - 64 с. - 0.40 р.
УДК
510.6(076.2)
Рубрики: Математический анализ--Учебные издания
Кл.слова (ненормированные):
ЛОГИКА МАТЕМАТИЧЕСКАЯ


Доп.точки доступа:
Калининский государственный педагогический институт
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
4.
   517
   Щ 346

    Щегольков, Е. А.
    Упражнения и задачи по курсу математической логики / Е. А. Щегольков ; Моск. пед. ин-т. - М. : [б. и.], 1971. - 45 с. - 0.15 р.
ГРНТИ
27.03.19
УДК
510.6(076.1)
Рубрики: Математическая логика--Учебные издания
Кл.слова (ненормированные):
Логика математическая


Доп.точки доступа:
Московский педагогический институт им. В. И. Ленина
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
5.
   519
   С 290

    Селезнев, А. И.
    Основы теории множеств и элементов математической логики : учеб. пособие / А. И. Селезнев, Н. Г. Серебрякова, Л. Н. Пантелеева ; ГГУ. - Горький : [б. и.], 1972. - 25 с. : ил. - Библиогр.: с. 24. - 0.06 р.
ГРНТИ
27.23
УДК
519.5(075.8)
Рубрики: Теория вероятностей--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
МНОЖЕСТВ ТЕОРИЯ -- ЛОГИКА МАТЕМАТИЧЕСКАЯ


Доп.точки доступа:
Серебрякова, Н. Г.; Пантелеева, Л. Н.; Горьковский государственный университет
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
6.
   517
   С 424

    Скарынкин, В. С.
    Сборник заданий по математической логике и теории графов : учеб. пособие для студентов специальности "Организация механизированной обработки экономической информации" / В. С. Скарынкин ; Горьк. гос. ун-т. - Горький : [б. и.], 1974. - 94 с. - 0.24 р.
УДК
510.6(076.1)
Рубрики: Математический анализ--Учебные издания
Кл.слова (ненормированные):
логика математическая -- обработка информации -- графов теория


Доп.точки доступа:
Горьковский государственный университет
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
7.
   517
   Ш 477

    Шенфилд, Джозеф.
    Математическая логика / Дж. Шенфилд ; пер. с англ.: И. А. Лавров, И. А. Мальцев ; ред. Ю. Л. Ершов. - Москва : Наука, 1975. - 528 с. : ил. - (Математическая логика и основания математики). - Предм. указ.: с. 520-527. - 2.16 р.
ГРНТИ
27.23
УДК
519.9
Рубрики: Математический анализ
Кл.слова (ненормированные):
логика математическая


Доп.точки доступа:
Лавров, И. А. \пер. с англ.\; Мальцев, И. А. \пер. с англ.\; Ершов, Ю. Л. \ред.\
Экземпляры всего: 1
АБН (1)
Свободны: АБН (1)
Найти похожие
8.
   517
   Э 192

    Эдельман, Самсон Львович.
    Математическая логика : учебное пособие / С. Л. Эдельман. - Москва : Высшая школа, 1975. - 176 с. - Библиогр.: с.172 . - Предм. указ.: с. 173-176. - 00.30 р., 00.30 р.
ГРНТИ
27.03.19
УДК
517.11(075.8)
Рубрики: Математическая логика--Учебные издания
Кл.слова (ненормированные):
ЛОГИКА МАТЕМАТИЧЕСКАЯ

Экземпляры всего: 3
Х (1), АБУ (2)
Свободны: Х (1), АБУ (2)
Найти похожие
9.
   517
   К 950

    Кутасов, Александр Дмитриевич.
    Элементы математической логики : пособие для учащихся 9-10-х кл. / А. Д. Кутасов. - М. : Просвещение, 1977. - 63 с. : ил. - 00.10 р.
УДК
510.6(075.8)

Кл.слова (ненормированные):
логика математическая

Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
10.
   517
   Г 458

    Гжегорчик, Анджей.
    Популярная логика : Общедоступный очерк логики предложений / А. Г. Гжегорчик ; пер. с польск.С. П. Беляев. - 3-е изд., стер. - Москва : Наука, 1979. - 112 с. : ил. - 0.25 р.
ГРНТИ
27.23
УДК
510.6
Рубрики: Математическая логика
Кл.слова (ненормированные):
Логика математическая -- Математическая логика


Доп.точки доступа:
Беляев, С. П. \пер.\
Экземпляры всего: 1
АБН (1)
Свободны: АБН (1)
Найти похожие
 1-10    11-20   21-27 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 19.08.2024
Число запросов 29737
Число посетителей 482
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)