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

Базы данных


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

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
в найденном
 Найдено в других БД:Труды учёных ПГНИУ (10)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03$<.>)
Общее количество найденных документов : 91
Показаны документы с 1 по 20
 1-20    21-40   41-60   61-80      
1.

Вид документа : Однотомное издание
Шифр издания : 51/L 18
Автор(ы) : Lacatos, Imre
Заглавие : Proofs and refutations: the logic of mathematical discovery
Выходные данные : Cambridge; New York: Cambridge University Press, 1999
Колич.характеристики :xii, 174 p. ; 23 cm
Примечания : На англ. яз. - Bibliogr.: p. 155-165
Цена : Б.ц.
ГРНТИ : 27.03
УДК : 51:1 + 164
ББК : Ю4в01
Предметные рубрики: Математика-- Философия
Ключевые слова (''Своб.индексиров.''): символическая логика--математическая логика
Экземпляры :(1)
Свободны : (1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 517/М 340
Заглавие : Математическая логика, математическая лингвистика и теория алгоритмов : сборник научных трудов
Выходные данные : Калинин: КГУ, 1983
Колич.характеристики :116 с
Коллективы : Министерство высшего и среднего специального образования РСФСР, Калининский государственный университет
Примечания : Библиогр. в конце ст.
Цена : 1, 1.00, р.
ГРНТИ : 27.03
УДК : 510.6 + 519.765 + 510.51
Предметные рубрики: Математическая логика
Математическая лингвистика
Алгоритмы-- Теория
Ключевые слова (''Своб.индексиров.''): математическая логика--математическая лингвистика--алгоритмов теория
Экземпляры : всего : Х(1), АБН(1)
Свободны : Х(1), АБН(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 5/Х 204
Автор(ы) : Харин Н. Н.
Заглавие : Математическая логика и теория множеств (О соотношении абстрактного и конкретного)
Выходные данные : Москва: Росвузиздат, 1963
Колич.характеристики :192 с
Примечания : Библиогр.: с. 191-192
Цена : 0.90 р.
ГРНТИ : 27.03.19
УДК : 510.22
Предметные рубрики: Естествознание
Ключевые слова (''Своб.индексиров.''): теория множеств--математическая логика--теория алгоритмов
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 51/M 39
Автор(ы) :
Заглавие : Mathematics of the 19th century/ ed.: A. N. Kolmogorov, A. P. Yushkevich. Vol. 1: Mathematical logic. Algebra. Number theory. Probability theory . -2-е изд., rev.
Выходные данные : Basel: Birkhauser, 2001
Колич.характеристики :308 с.: ил.
Примечания : На англ. яз. - Библиогр.: с. 289-301
ISBN, Цена 3-7643-6442-4: 884.00 р.
ISBN, Цена 3-7643-6441-6: Б.ц.
ГРНТИ : 27.03.19
УДК : 51(091)
Предметные рубрики: Математика-- История
Ключевые слова (''Своб.индексиров.''): математика (история)--алгебра--математическая логика--теория вероятностей--теория чисел
Экземпляры :ОИЛ(1)
Свободны : ОИЛ(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 51/П 292
Автор(ы) : Петер, Роза
Заглавие : Игра с бесконечностью
Выходные данные : Москва: Молодая гвардия, 1967
Колич.характеристики :368 с.: ил., рис.
Серия: Эврика
Цена : 0.93, 0.93, р.
ГРНТИ : 27.03
УДК : 51
Предметные рубрики: Математика-- основные вопросы --Венгрия, 20 в.
Ключевые слова (''Своб.индексиров.''): математическая логика--математика для "чайников"
Экземпляры :АБН(1)
Свободны : АБН(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 519/А 465
Автор(ы) : Александров, Павел Сергеевич
Заглавие : Введение в теорию множеств и общую топологию : учебное пособие [для вузов] . -2-е изд., стер.
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2010
Колич.характеристики :367 с
Серия: Учебники для вузов. Специальная литература .
    Классическая учебная литература по математике .
    Лучшие классические учебники .
    Знание. Уверенность. Успех
Примечания : Библиогр.: с. 362-363
ISBN, Цена 978-5-8114-0981-5: 575.30, 575.30, р.
ГРНТИ : 27.03.15
УДК : 510.22 + 515.12](075.8)
Предметные рубрики: Множеств теория
Ключевые слова (''Своб.индексиров.''): множеств теория--топологические пространства--метризационные теоремы--компактность (математика)--проекционные системы
Содержание : О бесконечных множествах ; Действительные числа ; Упорядоченные и вполне упорядоченные множества. Трансфинитные числа ; Метрические и топологические пространства ; Компактные и полные метрические пространства ; Условия типа компактности и метризация топологических пространств ; Проекционные сферы и абсолют
Экземпляры : всего : АБУ(15)
Свободны : АБУ(15)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 519/Ч-575
Автор(ы) : Чечулин, Виктор Львович
Заглавие : Теория множеств с самопринадлежностью (основания и некоторые приложения) : монография . -2-е изд., испр. и доп.
Выходные данные : Пермь, 2012
Колич.характеристики :126 с
Коллективы : Министерство образования и науки Российской Федерации, Пермский государственный национальный исследовательский университет
Примечания : Библиогр.: с. 115-123
ISBN, Цена 978-5-7944-2061-6: 100, 100.00, р.
ГРНТИ : 27.03.15
УДК : 510.22
Предметные рубрики: Теория множеств
Ключевые слова (''Своб.индексиров.''): множеств теория--множества с самопринадлежностью--неподвижная точка теорема
Экземпляры : всего : Х(1), АБН(12)
Свободны : Х(1), АБН(12)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 517/Т 150
Автор(ы) : Такеути, Гаиси
Заглавие : Теория доказательств
Выходные данные : Москва: Мир, 1978
Колич.характеристики :412 с
Примечания : Предм. указ.: с. 406-410
Цена : 2.10, 2.10, р.
ГРНТИ : 27.03.19
УДК : 510.6
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--доказательств теория
Экземпляры : всего : Х(1), АБН(1)
Свободны : Х(1), АБН(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 517/М 340
Заглавие : Математическая теория логического вывода : сборник переводов
Выходные данные : Москва: Наука, 1967
Колич.характеристики :351 с
Серия: Математическая логика и основания математики
Примечания : Библиогр. в конце ст.
Цена : 1.79, 1.79, р.
ГРНТИ : 27.03
УДК : 510.6
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--логического вывода теория--чисел теория чистая--эрбрана теорема
Экземпляры :АБН(1)
Свободны : АБН(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 517/М 340
Заглавие : Математическая логика в программировании : сборник статей : пер. с англ.
Выходные данные : Москва: Мир, 1991
Колич.характеристики :408 с
Серия: Математическое обеспечение ЭВМ
ISBN, Цена 5-03-001635-X: 7.91, 7.91, р.
ГРНТИ : 27.03
УДК : 510.6
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--функциональное программирование--лямбда- исчисления--логическое программирование
Экземпляры : всего : Х(1), АБН(2)
Свободны : Х(1), АБН(2)
Найти похожие
11.

Вид документа : Однотомное издание
Шифр издания : 517/Г 858
Автор(ы) : Гринченков, Дмитрий Валерьевич, Потоцкий, Сергей Иванович
Заглавие : Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
Выходные данные : Москва: КНОРУС, 2010
Колич.характеристики :206, [2] с.: ил.
Примечания : Библиогр.: с. 205-206
ISBN, Цена 978-5-406-00120-2: 140.00, 112.20, р.
ГРНТИ : 27.03.19 + 27.03.17
УДК : 510.6 + 510.51](075.8)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): булева алгебра--логика математическая--алгоритмов теория--булевы функции--квайна-мак класки метод--логика предикатов--алгоритм редукции--пролог (язык программирования)
Экземпляры : всего : Х(1), ЧЗЕ(1), АБУ(9)
Свободны : Х(1), ЧЗЕ(1), АБУ(9)
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : 513/А 465
Автор(ы) : Александров, Павел Сергеевич (математик; 1896-1982)
Заглавие : Введение в теорию множеств и общую топологию : [учебное пособие для студентов математических специальностей вузов]
Выходные данные : Москва: Физматлит, 2009
Колич.характеристики :356 с
Серия: Классика и современность. Математика
Примечания : Библиогр.: с. 346-347. - Предм. указ.: с. 348-352
ISBN, Цена 978-5-9221-1087-7: 250 р.
ГРНТИ : 27.19.15 + 27.03.15
УДК : 515.12 + 510.22](075.8)
Предметные рубрики: Топология
Множеств теория
Ключевые слова (''Своб.индексиров.''): теория множеств--топологические пространства--метризационные теоремы--компактность (математика)
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
13.

Вид документа : Однотомное издание
Шифр издания : 517/П 350
Автор(ы) : Письменный, Дмитрий Трофимович
Заглавие : Конспект лекций по высшей математике : полный курс : [учебное пособие] . -8-е изд.
Выходные данные : Москва: Айрис Пресс, 2009
Колич.характеристики :608 с.: ил.
Серия: Высшее образование
ISBN, Цена 978-5-8112-3480-6: 240, 240, р.
ГРНТИ : 27.03.15
УДК : 517(075.8)
Предметные рубрики: Высшая математика
Ключевые слова (''Своб.индексиров.''): математика высшая--алгебра векторная--алгебра линейная--геометрия аналитическая--математический анализ--комплексные числа--интегралы--дифференциальные уравнения--числовые ряды--функции комплексного переменного--операционное исчисление--ряды фурье--интеграл фурье--теория поля--функции комплексного переменного
Экземпляры : всего : АБУ(1), АБЗ(1)
Свободны : АБУ(1), АБЗ(1)
Найти похожие
14.

Вид документа : Однотомное издание
Шифр издания : 517/Э 192
Автор(ы) : Эдельман, Самсон Львович
Заглавие : Математическая логика : учебное пособие
Выходные данные : Москва: Высшая школа, 1975
Колич.характеристики :176 с
Примечания : Библиогр.: с.172 . - Предм. указ.: с. 173-176
Цена : 00.30, 00.30, р.
ГРНТИ : 27.03.19
УДК : 517.11(075.8)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): логика математическая
Экземпляры : всего : Х(1), АБУ(2)
Свободны : Х(1), АБУ(2)
Найти похожие
15.

Вид документа : Однотомное издание
Шифр издания : 517/Щ 346
Автор(ы) : Щегольков Е. А.
Заглавие : Упражнения и задачи по курсу математической логики
Выходные данные : М., 1971
Колич.характеристики :45 с
Коллективы : Московский педагогический институт им. В. И. Ленина
Цена : 0.15 р.
ГРНТИ : 27.03.19
УДК : 510.6(076.1)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): логика математическая
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
16.

Вид документа : Однотомное издание
Шифр издания : 519/А 456
Заглавие : Алгоритмы и программы решения задач на графах и сетях
Выходные данные : Новосибирск: Наука, 1990
Колич.характеристики :515 с.: рис., табл.
Коллективы : Академия наук СССР. Сибирское отделение, Вычислительный центр
Примечания : Библиогр.: с. 189-196. - Словарь терминов и определений.: с. 197-214
ISBN, Цена 5-02-028614-1: 6.00, 6.00, р.
ГРНТИ : 27.03.17
УДК : 519.17-37
Предметные рубрики: Теория веоятностей. Математическая статистика
Ключевые слова (''Своб.индексиров.''): связность--симметрия--изоморфизмы
Экземпляры : всего : Х(1), АБН(1)
Свободны : Х(1), АБН(1)
Найти похожие
17.

Вид документа : Однотомное издание
Шифр издания : 51/K 66
Автор(ы) : Koch, Steffen
Заглавие : Mathematik - kurz gefaBt : ein Hilfsbuch zur Wiederholung und Anwendung der Matchematik, Verfahren und Beispiele . -2. Aufl.
Выходные данные : Leipzig: Fachbuch, 1991
Колич.характеристики :160 с.: рис., табл.
ISBN, Цена 3-343-00387-5: 160.00 р.
ГРНТИ : 27.03
УДК : 51(075)
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): математика--алгебра--дифференциальные уравнения--векторная геометрия--аналитическая геометрия
Аннотация: Книга служит не для изучения математики, а лишь предоставляет помощь тем, кому необходимо восстановить в памятии активизировать основные понятия и методы школьной математики. В книге много примеров
Экземпляры :ОИЛ(1)
Свободны : ОИЛ(1)
Найти похожие
18.

Вид документа : Однотомное издание
Шифр издания : 519/А 456
Заглавие : Алгоритмы решения логико-комбинаторных задач : (Сборник научных задач)
Выходные данные : Минск: Институт технической кибернетики, 1979
Колич.характеристики :138 с
Коллективы : Академия наук Белорусской ССР, Институт технической кибернетики
Цена : 1.30 р.
ГРНТИ : 27.03.17
УДК : 519.15/6
Предметные рубрики: Теория вероятностей. Математическая статистика
Ключевые слова (''Своб.индексиров.''): булевые функции--троичные матрицы--комбинационные автоматы
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
19.

Вид документа : Однотомное издание
Шифр издания : 51/K 89
Автор(ы) : Kudrjavcev, Valeriy Borisovitch, Blohina, Galina Nikolayevna, Ziga, Knap, Kudrjavcev, Valeriy Valerievitch
Заглавие : Algebra logike
Выходные данные : Ljubljana: ZOTKS, 2010
Колич.характеристики :200 с.: ил.
Серия: Zbirka Univerza za 21. stoletje
Примечания : На англ. яз. - Библиогр.: с. 198-199
ISBN, Цена 978-961-6243-58-2: 150.00 р.
ГРНТИ : 27.03.19
УДК : 510.63
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра логики--алгебра высказываний--исчисление высказываний--алгебры булевых функций--булевы функции--минимизация булевых функций
Экземпляры :ОИЛ(1)
Свободны : ОИЛ(1)
Найти похожие
20.

Вид документа : Однотомное издание
Шифр издания : 519/А 456
Заглавие : Алгоритмы решения логико-комбинаторных задач : Сб. науч. трудов
Выходные данные : Минск: ИТК, 1980
Колич.характеристики :137 с. ; 20
Коллективы : Институт технической кибернетики (Минск)
Примечания : Библиогр. в конце работ
Цена : 1.30 р.
ГРНТИ : 27.03.17
УДК : 519.15/6
Предметные рубрики: Теория вероятностей. Математическая статистика
Ключевые слова (''Своб.индексиров.''): дискретные устройства--системное программирование--булевые функции
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
 1-20    21-40   41-60   61-80      
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 08.07.2024
Число запросов 68799
Число посетителей 575
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)