Web ИРБИС

Описание

Шлюз Z39.50

Базы данных

Электронный каталог МАУК "Калининградская ЦБС" - результаты поиска

Вид поиска

Электронный каталог МАУК "Калининградская ЦБС"

Каталог оцифрованных изданий

Статьи из журналов и газет

Краеведческая картотека статей

Библиотека ЛитРес

Каталог Библиотеки Калининградского зоопарка

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

в найденном

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

Статьи из журналов и газет (8)

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

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

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

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

1-10 11-20 21-30 31-40 41-51 51-51

   22.12
   Н53

    Непейвода, Н. Н.
    Прикладная логика [Текст] : учеб.пособие / Н. Н. Непейвода ; Ин-т "Открытое о-во". - Ижевск : Изд-во Удмурт. ун-та, 1997. - 384с. - Б. ц.
Библиогр.:с.375-376.-Предм.указ.:с.377-382.-(В пер.)

ББК 22.12Я73

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ -- ИЗУЧЕНИЕ В ВУЗЕ -- МЕТОДОЛОГИЯ -- ПРИКЛАДНАЯ ЛОГИКА

Доп.точки доступа:
Ин-т "Открытое о-во"
Экземпляры всего: 1
аб (1)
Свободны: аб (1)
Найти похожие

   22.1
   О95


    Очерки по истории математики [Текст] : учеб.пособие для вузов / И. Г. Башмакова [и др.] ; ред. Б. В. Гнеденко. - М. : МГУ, 1997. - 494с.:ил. - Б. ц.
Библиогр.в конце очерков.-(В пер.)

ББК 22.1Г.Я73

Кл.слова (ненормированные):
МАТЕМАТИКА -- АЛГЕБРА -- МАТЕМАТИЧЕСКИЙ АНАЛИЗ -- ИСТОРИЯ -- ТЕОРИЯ ВЕРОЯТНОСТЕЙ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ФУНКЦИОНАЛЬНЫЙ АНАЛИЗ -- ТЕОРИЯ ЭКСТРЕМАЛЬНЫХ ЗАДАЧ

Доп.точки доступа:
Башмакова, И.Г.; Гнеденко, Б.В.; Демидов, С.С.; Дорофеева, А.В.; Кузичева, З.А.; Гнеденко, Б.В. \ред.\
Экземпляры всего: 1
аб (1)
Свободны: аб (1)
Найти похожие

   67.0
   Л69


    Логика толерантности и права [Текст] : материалы науч.конф. в г.Екатеринбурге 24-25 дек.2001г./Предисл.;Науч.ред. / Г. Л. Тульчинский [и др.] ; авт.ст. В. О. Лобовиков ; ред. В. О. Лобовиков, А. Г. Кислов ; Уральский гос.ун-т им.А.М.Горького;Уральский межрегион.ин-т обществ.наук.Кафедра онтологии и теории познания УрГУ. - Екатеринбург : Изд-во Урал. ун-та, 2002. - 348с. - Б. ц.
Библиогр.в сносках докладов

ББК 67.0 + 87 + 22.1
Рубрики: РОССИЯ
США
ЕВРОПА
Кл.слова (ненормированные):
ФИЛОСОФИЯ ПРАВА -- ГНОСЕОЛОГИЯ -- ПРАВО -- ЛОГИКА -- СОФИЗМ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ГРАЖДАНСКОЕ -- ФИЛОСОФИЯ -- ИСТОРИЯ -- ПОЛИТИКА -- НАСИЛИЕ -- ТОЛЕРАНТНОСТЬ -- КОНФЕРЕНЦИЯ -- 21 В -- 1920-1950 ГГ -- 18 В -- 19 В -- СРЕДНИЕ ВЕКА -- 2001 Г

Доп.точки доступа:
Тульчинский, Г.Л.; Мазуров, В.Д.; Родин, А.В.; Кислов, А.Г.; Ольховиков, Г.К.; Иванова, И.И.; Лобовиков, В.О. \авт.ст.\; Лобовиков, В.О. \ред.\; Кислов, А.Г. \ред.\; ФУКО, М. \о нем\; РОРТИ, Р. \о нем\; Урал. гос. ун-т им. А.М. Горького; Урал. межрегион. ин-т обществ. наук. Каф. онтологии и теории познания УрГУ
Свободных экз. нет
Найти похожие

   22.12
   Е80

    Ершов, Ю. Л.
    Математическая логика [Текст] : учебник для вузов / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1979. - 320 с., ил. - Б. ц.
(В пер.)

ББК 22.12

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИЗУЧЕНИЕ В ВУЗЕ

Доп.точки доступа:
Палютин, Е.А.
Свободных экз. нет
Найти похожие

   22.12
   К 60

    Колмогоров, А. Н.
    Математическая логика [Текст] : дополнит. гл. : учеб. пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во МГУ, 1984. - 119 с. - Из ЧЗ все экз. списаны. - 0.25 р.

ББК 22.12

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИЗУЧЕНИЕ В ВУЗЕ -- ЕСТЕСТВЕННЫЕ НАУКИ -- МАТЕМАТИКА

Доп.точки доступа:
Драгалин, А. Г.
Экземпляры всего: 1
ф2 (1)
Свободных экз. нет
Найти похожие

   32.97
   М34


    Математическая логика в программировании [Текст] : сб. ст. : Пер. с англ. / Под ред. / ред. М. В. Захарьящев, Ю. И. Янов. - М. : Мир, 1991. - 408 с. - (Математическое обеспечение ЭВМ). - Б. ц.
Библиогр.: с. 395 - 407.

ББК 32.973

Кл.слова (ненормированные):
ТЕХНИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ПРОГРАММИРОВАНИЕ -- РАДИОЭЛЕКТРОНИКА -- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ -- ПЭВМ

Доп.точки доступа:
Захарьящев, М.В. \ред.\; Янов, Ю.И. \ред.\
Свободных экз. нет
Найти похожие

   22.1
   М 34


    Математика XIX века [Текст] : математическая логика. Алгебра. Теория чисел. Теория вероятностей / [И. Г. Башмакова, Б. В. Гнеденко, З. А. Кузичева и др.] ; под ред. [и с предисл.] А. Колмогорова и А. П. Юшкевича. - М. : Наука, 1978. - 255 с. - (в пер.) : 2.10 р.

ББК 22.1г

Кл.слова (ненормированные):
МАТЕМАТИКА -- ИСТОРИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА -- ТЕОРИЯ ЧИСЕЛ -- ТЕОРИЯ ВЕРОЯТНОСТЕЙ -- 19 В -- НАУКА

Доп.точки доступа:
Башмакова, И. Г.; Гнеденко, Б. В.; Кузичева, З. А.; Колмогоров, А. Н. \ред., авт. предисл.\; Юшкевич, А. П. \ред., авт. предисл.\
Экземпляры всего: 2
ф4 (1), аб (1)
Свободны: аб (1)
Найти похожие

   22.1
   Е80

    Ершов, Ю. Л.
    Математическая логика [Текст] : учеб. пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - 4-е изд., стер. - СПб. ; М. ; Краснодар : Лань, 2005. - 336с. - Б. ц.
Предм. указ.: с.335-336.-На корешке авт. не указ.-(В пер.)

ББК 22.12Я73

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ -- ИЗУЧЕНИЕ В ВУЗЕ -- АЛГОРИТМ -- ТЕОРИЯ МНОЖЕСТВ -- ИСЧИСЛЕНИЕ -- ВЫСКАЗЫВАНИЕ -- МОДЕЛЬ -- ДОКАЗАТЕЛЬСТВО

Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
аб (1)
Свободны: аб (1)
Найти похожие

   22.1
   И26

    Игошин, В. И.
    Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие для вузов / В. И. Игошин. - М. : Академия, 2005. - 302с. - (Высшее профессиональное образование). - ISBN 5-7695-1364-0 : Б. ц.
Библиогр.: с.301.-(В пер.)

ББК 22.12Я73

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ -- ИЗУЧЕНИЕ В ВУЗЕ -- АЛГОРИТМ -- ИСЧИСЛЕНИЕ -- ВЫСКАЗЫВАНИЕ -- ТЕОРИЯ ФУНКЦИЙ -- ЛОГИКА

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

10.

   22.1
   А60

    Аляев, Ю. А.
    Дискретная математика и математическая логика [Текст] : [Учебник для вузов] / Ю. А. Аляев, С. Ф. Тюрин. - М. : Финансы и статистика, 2006. - 365 с. - ISBN 5-279-03045-7 : Б. ц.
Библиогр.:с.355-357

ББК 22.176Я73-1 + 22.12Я73-1

Кл.слова (ненормированные):
МАТЕМАТИКА -- ДИСКРЕТНАЯ МАТЕМАТИКА -- АЛГЕБРА -- МАТЕМАТИЧЕСКИЙ МЕТОД -- МАТЕМАТИЧЕСКИЙ АНАЛИЗ -- КОМБИНАТОРИКА -- ФУНКЦИЯ -- КОДИРОВАНИЕ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГОРИТМ -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ ГРАФОВ -- ИЗУЧЕНИЕ В ВУЗЕ -- ТЕОРИЯ

Доп.точки доступа:
Тюрин, С.Ф.
Экземпляры всего: 1
аб (1)
Свободны: аб (1)
Найти похожие

11.

   32.81
   С37

    Симонович, С. В.
    Общая информатика: новое издание [Текст] : [универсальный курс] / С. В. Симонович. - СПб. : Питер, 2007. - 431 с.: ил. - ISBN 5-469-01335-9 : 219.89 р.
Алф. указ.: с.428-431.-(В пер.)

ББК 32.81Я7 + 32.973.26Я7

Кл.слова (ненормированные):
ТЕХНИКА -- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА -- ИНФОРМАТИКА -- ИНФОРМАЦИОННОЕ ОБЩЕСТВО -- ОПЕРАЦИОННАЯ СИСТЕМА -- WINDOWS -- АСУ -- ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ -- ПРОГРАММИРОВАНИЕ -- ЛОГИКА -- ЦИФРОВОЕ -- ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ -- ИНФОРМАЦИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ -- МОДЕЛИРОВАНИЕ -- ИЗОБРАЖЕНИЕ -- КОДИРОВАНИЕ -- ЭЛЕКТРОННЫЕ РЕСУРСЫ -- ДОКУМЕНТОВЕДЕНИЕ -- АВТОМАТИЗАЦИЯ -- МУЛЬТИМЕДИА ТЕХНОЛОГИЯ -- ПЭВМ -- АППАРАТНОЕ ОБЕСПЕЧЕНИЕ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ

Экземпляры всего: 4
ф2 (1), ф4 (1), ф9 (1), ф10 (1)
Свободных экз. нет
Найти похожие

12.

   22.12
   П88

    Пуанкаре, А.
    Математика и логика [Текст] : / пер. с фр. / А. Пуанкаре, Л. Кутюра ; пер.: П. Юшкевич, А. Долин. - 2-е изд. - М. : ЛКИ, 2007. - 148 с. - (Из наследия мировой философской мысли : философия науки). - ISBN 978-5-382-00019-0 : 157.96 р.
[Репринт. изд. 1915 г.]

ББК 22.12 + 87.4

Кл.слова (ненормированные):
МАТЕМАТИКА -- ФИЛОСОФИЯ -- ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ДОКАЗАТЕЛЬСТВО

Доп.точки доступа:
Кутюра, Л.; Юшкевич, П. \пер.\; Долин, А. \пер.\
Экземпляры всего: 1
ф5 (1)
Свободных экз. нет
Найти похожие

13.

   32.81
   С37

    Симонович, С. В.
    Общая информатика: новое издание [Текст] : [универсальный курс] / С. В. Симонович. - СПб. : Питер, 2007. - 431 с. : ил. - ISBN 5-469-01335-9 : 219.89 р.
Алф. указ.: с.428-431.-(В пер.)

ББК 32.81Я7 + 32.973.26Я7

Кл.слова (ненормированные):
ТЕХНИКА -- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА -- ИНФОРМАТИКА -- ИНФОРМАЦИОННОЕ ОБЩЕСТВО -- ОПЕРАЦИОННАЯ СИСТЕМА -- WINDOWS -- АСУ -- ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ -- ПРОГРАММИРОВАНИЕ -- ЛОГИКА -- ЦИФРОВОЕ -- ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ -- ИНФОРМАЦИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ -- МОДЕЛИРОВАНИЕ -- ИЗОБРАЖЕНИЕ -- КОДИРОВАНИЕ -- ЭЛЕКТРОННЫЕ РЕСУРСЫ -- ДОКУМЕНТОВЕДЕНИЕ -- АВТОМАТИЗАЦИЯ -- МУЛЬТИМЕДИА ТЕХНОЛОГИЯ -- ПЭВМ -- АППАРАТНОЕ ОБЕСПЕЧЕНИЕ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ

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

14.

   22.1
   Ц97

    Цыпкин, А. Г.
    Справочное пособие по математике с методами решения задач для поступающих в вузы [Текст] : учебное пособие / А. Г. Цыпкин, А. И. Пинский. - 3-е изд., испр. - М. : Оникс : Мир и Образование, 2007. - 639 с. - ISBN 5-488-00721-0. - ISBN 5-94666-341-0 : 189.97 р.

ББК 22.1Я727

Кл.слова (ненормированные):
МАТЕМАТИКА -- ИЗУЧЕНИЕ В ШКОЛЕ -- ПОДГОТОВКА В ВУЗ -- УРАВНЕНИЯ -- ТРИГОНОМЕТРИЯ -- ПЛАНИМЕТРИЯ -- СТЕРЕОМЕТРИЯ -- ВЕКТОРНАЯ АЛГЕБРА -- КОМБИНАТОРИКА -- ТЕОРИЯ ВЕРОЯТНОСТЕЙ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА

Доп.точки доступа:
Пинский, А.И.
Экземпляры всего: 2
ф1 (1), ф2 (1)
Свободных экз. нет
Найти похожие

15.

   87.4
   Г44

    Гетманова, А. Д.
    Логика. Углубленный курс [Текст] : учеб. пособие [для вузов] / А. Д. Гетманова. - М. : КНОРУС, 2007. - 192 с. - ISBN 978-5-85971-778-1 : 157.41 р.
Библиогр. в сносках

ББК 87.4Я73

Кл.слова (ненормированные):
ЛОГИКА -- ИЗУЧЕНИЕ В ВУЗЕ -- ФИЛОСОФИЯ -- КЛАССИФИКАЦИЯ -- ПОНЯТИЕ -- ЛОГИСТИЧЕСКИЕ СИСТЕМЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ГИПОТЕЗА -- МЫШЛЕНИЕ

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

16.

   87.4
   Т99

    Тягунов, Ф. Ф.
    Логика [Текст] : учеб. пособие [для вузов] / Ф. Ф. Тягунов ; Рос. академия образования; Моск. психолого-социальный ин-т. - 3-е изд. - М. : Моск. психол.-соц. ин-т (МПСИ) ; Воронеж : МОДЭК, 2007. - 190 с. - (Библиотека студента). - ISBN 978-5-9770-0112-0. - ISBN 978-5-89395-829-4 : 102.85 р.
Библиогр.:с.188-189

ББК 87.4Я73

Кл.слова (ненормированные):
ФИЛОСОФИЯ -- АРГУМЕНТАЦИЯ -- ЛОГИКА -- ИЗУЧЕНИЕ В ВУЗЕ -- ПОНЯТИЕ -- ЛОГИСТИЧЕСКИЕ СИСТЕМЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ГИПОТЕЗА -- МЫШЛЕНИЕ -- СУЖДЕНИЕ -- УМОЗАКЛЮЧЕНИЕ

Доп.точки доступа:
РАО; Моск. психолого-соц. ин-т
Экземпляры всего: 4
аб (1), ф1 (1), ф2 (1), ф9 (1)
Свободны: аб (1)
Найти похожие

17.

   22.12
   К71

    Косовский, Н. К.
    Основы теории элементарных алгоритмов [Текст] : учеб.пособие для вузов / Н. К. Косовский. - Л. : Изд-во ЛГУ, 1987. - 153с. - Б. ц.
Библиогр.:с.148-151

ББК 22.12

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГОРИТМ -- ТЕОРИЯ -- ИЗУЧЕНИЕ В ВУЗЕ

Свободных экз. нет
Найти похожие

18.

   22.1
   П58

    Попов, Ю. П.
    Математика в образах [Текст] : св / Ю. П. Попов, Ю. В. Пухначев. - М. : Знание, 1989. - 207с.:ил. - (Народный университет. Естественнонаучный фак.). - Б. ц.

ББК 22.1

Кл.слова (ненормированные):
ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ -- ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ -- ВЫСШАЯ МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА

Доп.точки доступа:
Пухначев, Ю.В.
Свободных экз. нет
Найти похожие

19.

   МЛ22.1
   П18

    Паронджанов, В. Д.
    Занимательная информатика,или Волшебный Дракон в гостях у Мурзика [Текст] : списан утеряна 1 экз. Ф14 акт №579/04 / В. Д. Паронджанов ; худ. А. Лукьянов. - М. : РОСМЭН, 2000. - 157с.:ил. - (Школьнику для развития интеллекта). - 42.00 р.
Авт.указ.на тит.л.-(В пер.)

ББК 22.1Я92

Кл.слова (ненормированные):
МАТЕМАТИКА -- АЛГОРИТМ -- ИНФОРМАТИКА -- РАЗВИВАЮЩЕЕ ОБУЧЕНИЕ -- ИНТЕЛЛЕКТ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА

Доп.точки доступа:
Лукьянов, А. \худ.\
Экземпляры всего: 3
ф15 (1), ф16 (1), ф18 (1)
Свободных экз. нет
Найти похожие

20.

   22.12
   Б59

    Бизам, Д.
    Многоцветная логика : 175 логических задач [Текст] : /Пер.с венг.,предисл. / Д. Бизам, Я. Герцер ; авт.ст. Ю. А. Данилов ; пер. Ю. А. Данилов. - М. : Мир, 1978. - 433с.:ил. - Б. ц.
(В пер.)

ББК 22.12
Рубрики: ВЕНГРИЯ
Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- РАЗВИВАЮЩЕЕ ОБУЧЕНИЕ -- 20 В

Доп.точки доступа:
Герцер, Я.; Данилов, Ю.А. \авт.ст.\; Данилов, Ю.А. \пер.\
Свободных экз. нет
Найти похожие

1-10 11-20 21-30 31-40 41-51 51-51

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)