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

Базы данных


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

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
в найденном
 Найдено в других БД:Труды учёных ПГНИУ (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03.19$<.>)
Общее количество найденных документов : 34
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-34 
1.
   517
   Г 977

    Гуц, Александр Константинович.
    Математическая логика и теория алгоритмов : Учеб. пособие / Омский гос. ун-т. - Омск : Наследие: Диалог-Сибирь, 2003. - 108 с. - Библиогр.: с. 105-107. - ISBN 5-8239-0126-7 : 50.00 р.
27.03.19
27.03.17
УДК
510.6
510.51](075.8)
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
   Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- Логика высказываний -- Логика предикатов -- Алгоритмы

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

    Успенский, Владимир Андреевич.
    Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2002. - 128 с. - Библиогр.: с. 122. - На обл. авт. не указаны. - ISBN 5-9221-0278-8 : 100.00 р., 100.00 р.
27.03.19
УДК
510.6(075.8)
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Множеств теория -- Алгоритмов теория -- Языки первого порядка -- Доказательств теория -- Учебные издания


Доп.точки доступа:
Верещагин, Николай Константинович
Экземпляры всего: 2
Х (1), ЧЗЕ (1)
Свободны: Х (1), ЧЗЕ (1)
Найти похожие
3.
   517
   Л 656

    Лихтарников, Леонид Моисеевич.
    Математическая логика : Курс лекций. Задачник-практикум и решения: Учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева. - СПб. : Лань, 1999. - 288 с. - (Учебники для вузов). - Библиогр.: с. 282. - ISBN 5-8114-0082-9 : 60.00 р.
ГРНТИ
27.03.19
УДК
510.6(075.8)
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- Исчисление высказываний -- Логика предикатов -- Алгоритмы -- Практикумы -- Сборники задач


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

    Зюзьков, В. М.
    Математическая логика и теория алгоритмов : учебное пособие / В. М. Зюзьков, А. А. Шелупанов ; Томский государственный университет систем управления радиоэлектроники (ТУСУР). - Томск : Томский межвузовский центр дистанционного образования, 2001. - 154 с. - 105.60 р., 105.60 р.
27.03.19
27.03.17
УДК
510.6
510.51](075.8)
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
   Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Множеств теория -- Логика высказываний -- Булевы алгебры -- Логика предикатов


Доп.точки доступа:
Шелупанов, А. А.; Томский государственный университет систем управления радиоэлектроники (ТУСУР)
Экземпляры всего: 10
Х (1), ЧЗЕ (1), АБУ (8)
Свободны: Х (1), ЧЗЕ (1), АБУ (8)
Найти похожие
5.
   517
   К 608

    Колмогоров, Андрей Николаевич.
    Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет им. М. В. Ломоносова. - 3-е изд., стер. - Москва : КомКнига, 2006. - 240 с. - (Классический университетский учебник). - ISBN 5-484-00520-5 : 129 р.
27.03.19
УДК
510.6(075.8)
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МНОЖЕСТВ ТЕОРИЯ -- АЛГОРИТМОВ ТЕОРИЯ -- ДОКАЗАТЕЛЬСТВ ТЕОРИЯ


Доп.точки доступа:
Драгалин, Альберт Григорьевич; Московский государственный университет им. М. В. Ломоносова
Экземпляры всего: 15
АБУ (15)
Свободны: АБУ (15)
Найти похожие
6.
   517
   К 493

    Клини, Стивен Коул.
    Математическая логика / С. К. Клини ; ред. Г. Е. Минц ; пер. Ю. А. Гастев. - Москва : Ком Книга, 2007. - 480 с. - ISBN 5-484-00802-6. - ISBN 978-5-484-00802-5 : 244.00 р., 244.00 р., 244 р.
27.03.19
УДК
510.6(075.8)
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- РАЗРЕШИМОСТЬ


Доп.точки доступа:
Минц, Г. Е. \ред.\; Гастев, Ю. А. \пер.\
Экземпляры всего: 3
Х (1), ЧЗЕ (1), АБУ (1)
Свободны: Х (1), ЧЗЕ (1), АБУ (1)
Найти похожие
7.
   51од
   R 19

    Ramsey, Frank Plumpton.
    The foundation of mathematics and other logical essays / F. P. Ramsey ; ed. by R. B. Btaithwaite; pref. by G. E. Moore. - London ; New York : Routledge, 2002. - xviii, 292 с. - (The international library of philosophy) (Philosophy of logic and mathematics in 8 volumes ; vol. V). - Библиогр.: с. xv-xvi. - ISBN 0-415-22546-9 : 4500.00 р.
Примечания о происхождении:
Оксфордский Российский Фонд
27.03.19
УДК
510.6
Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Логика -- Истина и вероятность


Доп.точки доступа:
Braithwaite, R. B. \ред.\; Moore, G. E. \авт. предисл.\
Экземпляры всего: 1
ОИЛ (1)
Свободны: ОИЛ (1)
Найти похожие
8.
   51
   Я 919

    Яхъяева, Гульнара Эркиновна.
    Нечеткие множества и нейронные сети : учебное пособие / Г. Э. Яхъяева. - Москва : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 2006. - 316 с. : ил., табл. - (Основы информационных технологий). - Библиогр.: с. 315. - ISBN 5-94774-510-0. - ISBN 5-9556-0049-3 : 234.00 р., 234.00 р., 234 р.
27.03.19
УДК
510.64+519.711.7](075.8)
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА -- СЕТЕЙ ТЕОРИЯ -- НЕЧЕТКИЕ МНОЖЕСТВА -- НЕЙРОННЫЕ СЕТИ -- ПЕРСЕПТРОНЫ

Экземпляры всего: 48
Х (1), ЧЗЕ (1), АБУ (46)
Свободны: Х (1), ЧЗЕ (1), АБУ (46)
Найти похожие
9.
   51
   Т 338

   
    Теория моделей в Казахстане : сб. науч. работ, посвящ. памяти А. Д. Тайманова / под ред. М. М. Еримбетова. - Алматы : [б. и.], 2006. - 448 с. : табл. - Библиогр.: с. 408-413. - ISBN 996597-18-3-8 : 230 р., 250.00 р.
27.03.19
УДК
510.67(082)
Рубрики: Математическая логика
   Казахстан
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МОДЕЛЕЙ ТЕОРИЯ -- АЛГЕБРА МОДЕЛЬНАЯ -- ЛИНЕЙНЫЕ ГРУППЫ -- МАТРИЧНЫЕ ГРУППЫ -- МАТЕМАТИКИ РОССИИ


Доп.точки доступа:
Еримбетов, М. М. \ред.\; Тайманов, Асан Дабсович (1917-1990)
Экземпляры всего: 3
Х (1), АБН (2)
Свободны: Х (1), АБН (2)
Найти похожие
10.
   517
   И 269

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - Москва : Академия, 2004. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 5-7695-1363-2 : 201.40 р., 201.40 р.
27.03.19
27.03.17
УДК
510.6
510.51](075.8)
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
   Алгоритмы--Теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ

Экземпляры всего: 20
Х (1), ЧЗЕ (1), АБУ (18)
Свободны: Х (1), ЧЗЕ (1), АБУ (18)
Найти похожие
 1-10    11-20   21-30   31-34 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 01.07.2024
Число запросов 563
Число посетителей 289
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)