Библиотека АГГПУ

Головна

Спрощенний режим

Опис

Бази даних

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

Вид пошуку

Каталог книг

Труды преподавателей

Каталог периодических изданий

Межвузовская электронная библиотека

ФЭРУ

Зона пошуку

у знайденому

Знайдено у інших БД:

Труды преподавателей (2)

Каталог статей (29)

IPRbooks книги (55)

Межвузовская электронная библиотека (4)

ФЭРУ (1)

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

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=математическая логика<.>

Загальна кількість знайдених документів : 68
Показані документи с 1 за 20

1-20 21-40 41-60 61-68

   22.1
   С 89

    Судоплатов, Сергей Владимирович.
    Элементы дискретной математики : учебник для втузов / С. В. Судоплатов, Е. В. Овчинникова. - М. : ИНФРА-М ; Новосибирск : Новосибирский гос. технический университет, 2002. - 280 с. - 6 000 прим.. - ISBN 5-16-000957-4

27.45

ББК 22.176 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ДИСКРЕТНЫЙ АНАЛИЗ (ДИСКРЕТНАЯ МАТЕМАТИКА, КОНЕЧНАЯ МАТЕМАТИКА)
Кл.слова (ненормовані):
множества -- компьютерная арифметика -- комбинаторика -- математическая логика -- дискретная математика

Дод.точки доступу:
Овчинникова, Елена Викторовна
Примірників всього: 29
Аб. (29)
Свободны: Аб. (29)
Знайти схожі

   22.1
   А 39

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

27.45

ББК 22.176
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ДИСКРЕТНЫЙ АНАЛИЗ (ДИСКРЕТНАЯ МАТЕМАТИКА, КОНЕЧНАЯ МАТЕМАТИКА)
Кл.слова (ненормовані):
математика -- математическая логика -- группы -- графы

Примірників всього: 27
Аб. (27)
Свободны: Аб. (27)
Знайти схожі

   32.97
   К 26

    Карпов, Юрий Глебович.
    Теория автоматов : учебник для вузов / Ю. Г. Карпов. - СПб. : Питер, 2003. - 208 с. : ил. - ISBN 5-318-00537-3

ББК 32.973 я73
Рубрики: ТЕХНИКА И ТЕХНИЧЕСКИЕ НАУКИ В ЦЕЛОМ--РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--КОМПЬЮТЕРЫ
Кл.слова (ненормовані):
информационные технологии -- математическая логика -- кибернетика -- вычислительная техника -- информатика

Примірників всього: 4
Аб. (4)
Свободны: Аб. (4)
Знайти схожі

   74.262.21
   К 17

    Калужнин, Лев Аркадьевич.
    Элементы теории множеств и математической логики в школьном курсе математики [Текст] : пособие для учителей / Л. А. Калужнин. - М. : Просвещение, 1978. - 88 с. : ил. - 80000 прим.. -

14.25.09

ББК 74.262.21
Рубрики: ОБРАЗОВАНИЕ. ПЕДАГОГИЧЕСКИЕ НАУКИ--МЕТОДИКА ПРЕПОДАВАНИЯ МАТЕМАТИКИ
Кл.слова (ненормовані):
математика -- методика преподавания математики -- математическая логика -- теория множеств

Примірників всього: 1
Аб. (1)
Свободны: Аб. (1)
Знайти схожі

   22.1
   С 81

    Столяр, Абрам Аронович.
    Логическое введение в математику [Текст] / А. А. Столяр. - Минск : Вышэйшая школа, 1971. - 222 с. - 19000 прим.. -

27.03

   22.1
   С 89

    Судоплатов, Сергей Владимирович.
    Математическая логика и теория алгоритмов : учебник для вузов / С. В. Судоплатов, Е. В. Овчинникова. - М. : ИНФРА-М ; Новосибирск : Новосибирский гос. технический университет, 2004. - 224 с. - (Высшее образование). - ISBN 5-16-001975-8

27.03

ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика -- алгоритмы

Дод.точки доступу:
Овчинникова, Елена Викторовна
Примірників всього: 24
Аб. (24)
Свободны: Аб. (24)
Знайти схожі

   22.1
   Е 80

    Ершов, Юрий Леонидович.
    Математическая логика [Текст] : учебное пособие для вузов / Ю. Л. Ершов , Е. А. Палютин. - 2-е изд., испр. и доп. - Москва : Наука, 1987. - 336 с. - 30000 прим.. -

27.03

ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математика -- математическая логика

Дод.точки доступу:
Палютин, Евгений Андреевич
Примірників всього: 57
Аб. (57)
Свободны: Аб. (57)
Знайти схожі

   22.1
   С 72

    Спирина, Марина Савельевна.
    Дискретная математика [Текст] : учебник для студентов учреждений среднего профессионального образования / М. С. Спирина, П. А. Спирин. - М. : Академия, 2004. - 368 с. - (Информатика и вычислительная техника). - 5100 прим.. - ISBN 5-7695-1496-5
Рекомендовано Мин. образования

27.45

ББК 22.176 я72
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ДИСКРЕТНЫЙ АНАЛИЗ (ДИСКРЕТНАЯ МАТЕМАТИКА, КОНЕЧНАЯ МАТЕМАТИКА)
Кл.слова (ненормовані):
информатика -- математика -- дискретный анализ -- математическая логика

Дод.точки доступу:
Спирин, Павел Алексеевич
Примірників всього: 2
Аб. (2)
Свободны: Аб. (2)
Знайти схожі

   22.1
   Д 14

    Дадаян, Александр Арсенович.
    Алгебра и геометрия [Текст] : учебное пособие для физико-математических факультетов пед. вузов / А. А. Дадаян, В. А. Дударенко. - Минск : Вышэйшая школа, 1989. - 288 с. : ил. - 16700 прим.. - ISBN 5-339-00138-5
Рекомендовано Мин. образования

27.17

27.21

ББК 22.14 я73 + 22.151 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--АЛГЕБРА
ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ГЕОМЕТРИЯ
Кл.слова (ненормовані):
математика -- алгебра -- множества -- математическая логика -- комплексные числа -- матрицы -- определители -- линейные уравнения -- векторная алгебра -- метод координат -- прямая линия на плоскости -- плоскость -- прямая линия в пространстве -- линии -- поверхности -- линейные операторы -- тензоры

Дод.точки доступу:
Дударенко, Владимир Александрович
Примірників всього: 34
Аб. (32), фмф (2)
Свободны: Аб. (32), фмф (2)
Знайти схожі

10.

   22.1
   У 77

    Успенский, Владимир Андреевич.
    Что такое нестандартный анализ / В. А. Успенский. - М. : Наука, 1987. - 128 с. - 27 500 прим.. -

27.03

11.

   22.1
   В 75

    Воронов, Михаил Владимирович.
    Математика для студентов гуманитарных факультетов : учебник для вузов / М. В. Воронов, Г. П. Мещерякова. - Ростов н/Д : Феникс, 2002. - 375 с. - (Учебники, учебные пособия). - Библиогр.: с.361 - 365 . - Предм. указ.: с. 366 - 370. - 10 000 прим.. - ISBN 5-222-02212-9
Рекомендовано Мин. образования

ББК 22.1 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА
Кл.слова (ненормовані):
математика -- множества -- подмножества -- дискретная математика -- булевы функции -- математическая логика -- графы -- комбинаторика -- пространства -- матрицы -- линейные уравнения -- математический анализ -- пределы -- производная функции -- интеграл -- дифференциальные уравнения -- математические методы -- теория вероятностей -- моделирование -- математические модели

Дод.точки доступу:
Мещерякова, Галина Пантелеевна
Примірників всього: 1
Аб. (1)
Свободны: Аб. (1)
Знайти схожі

12.

   22.1
   Р 33

    Редькин, Н. П.
    Дискретная математика [Текст] : курс лекций для студентов-механиков : учебное пособие для вузов по специальности "Математика", "Прикладная математика" / Н. П. Редькин. - 2-е изд., стер. - СПб. : Лань, 2006. - 96 с. : ил. - (Учебники для вузов. Специальная литература). - 3000 прим.. - ISBN 5-8114-0522-7
Рекомендовано Мин. образования

27.45

ББК 22.176 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ДИСКРЕТНЫЙ АНАЛИЗ (ДИСКРЕТНАЯ МАТЕМАТИКА, КОНЕЧНАЯ МАТЕМАТИКА)
Кл.слова (ненормовані):
математика -- комбинаторика -- кодирование -- комбинаторный анализ -- математическая логика

Примірників всього: 2
Аб. (2)
Свободны: Аб. (2)
Знайти схожі

13.

   74.262.21
   Е 45

    Екимова, Марина Алексеевна.
    Задачи на разрезание / М. А. Екимова, Г. А. Кукин. - 2-е изд., стер. - М. : Московский центр непрерывного математического образования, 2005. - 120 с. - (Секреты преподавания математики). - ISBN 5-94057-051-8

14.25.09

ББК 74.262.21
Рубрики: ОБРАЗОВАНИЕ. ПЕДАГОГИЧЕСКИЕ НАУКИ--МЕТОДИКА ПРЕПОДАВАНИЯ МАТЕМАТИКИ
Кл.слова (ненормовані):
математика -- математическая логика -- развивающая логика -- 5 класс -- 6 класс -- 7 класс -- методика преподавания математики

Дод.точки доступу:
Кукин, Георгий Петрович
Примірників всього: 1
Ч.з.№3 (1)
Свободны: Ч.з.№3 (1)
Знайти схожі

14.

   22.1
   И 26

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов по специальности "Математика" / В. И. Игошин. - 3-е изд., стер. - М. : Академия, 2007. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - 2 000 прим.. - ISBN 5-7695-3728-0
Рекомендовано отраслевым мин-вом

27.03

15.

   22.1
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - 2-е изд., стер. - М. : Академия, 2008. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - 1 500 прим.. - ISBN 978-5-76954593-1
Рекомендовано Мин. образования

27.03

ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика -- теория алгоритмов -- прикладная математика -- алгебра высказываний -- высказывания -- формулы алгебраических высказываний -- тавтологии алгебраических высказываний -- логическая равносильность формул -- нормальные формы для формул алгебры высказываний -- логическое следование формул -- логико-математическая практика -- булевы функции -- релейно-контактные схемы в эвм -- формализованное исчисление высказываний -- логика предикатов -- предикат -- логические операции над предикатами -- квантовые операции над предикатами -- формулы логики предикатов -- формализованное исчисление предикатов -- неформальные аксиоматические теории -- аксиоматический метод в математике -- аксиоматические теории -- формальные аксиоматические теории -- элементы теории алгоритмов -- интуитивное представление об алгоритмах -- машины тьюринга -- рекурсивные функции -- нормальные алгоритмы маркова -- разрешимость множеств -- перечислимость множеств -- неразрешимые алгоритмические проблемы -- теорема геделя -- математическая логика и программное обеспечение компьютеров -- программное обеспечение -- компьютер -- логическое программирование -- математическая логика и информатика -- математическая логика и искусственный интеллект -- искусственный интеллект -- законы мышления -- познание законов мышления

Примірників всього: 20
Аб. (20)
Свободны: Аб. (20)
Знайти схожі

16.

   22.1
   Ш 76

    Шнеперман, Лев Борисович.
    Сборник задач по алгебре и теории чисел [Текст] : учебное пособие для вузов / Л. Б. Шнеперман. - 3-е изд., стер. - СПб. : Лань, 2008. - 224 с. - 2000 прим.. - ISBN 978-5-8114-0885-6

27.15

27.17

ББК 22.14 я73 + 22.13 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--АЛГЕБРА
ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ТЕОРИЯ ЧИСЕЛ
Кл.слова (ненормовані):
задачи по алгебре -- задачи по теории чисел -- математическая логика -- теория множеств -- комплексные числа -- матрицы -- определители -- линейные пространства -- линейные операторы -- линейные неравенства -- делимость -- группы -- кольца -- кольцо множеств -- алгебраические числа
Анотація: Сборник составлен в соответствии с программой курса "Алгебра и теория чисел". Большое количество задач достаточно, чтобы обеспечить и практические занятия, и домашние задания. Пособие содержит задачи по следующим темам курса: элементы математической логики и теории множеств, комплексные числа, матрицы и определители, линейная алгебра, группы, кольца и поля, делимость и сравнения в кольце целых чисел, кольца многочленов от одной и нескольких переменных, алгебраические числа. Задачи снабжены ответами и указаниями. Учебное пособие предназначено для студентов математических факультетов университетов и педагогических вузов. Хорошо подготовленные студенты найдут в сборнике материал для углубленного изучения алгебры.

Примірників всього: 48
Аб. (41), фмф (7)
Свободны: Аб. (38), фмф (6)
Знайти схожі

17.

   22.1
   И 26

    Игошин, Владимир Иванович.
    Задачник-практикум по математической логике : учебное пособие для студентов-заочников физико-математических факультетов пед. вузов / В. И. Игошин. - М. : Просвещение, 1986. - 157 с. : ил. - 25 000 прим.
Рекомендовано Мин. образования

27.03

ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика -- задачи по математической логике

Примірників всього: 19
Аб. (19)
Свободны: Аб. (19)
Знайти схожі

18.

   22.1
   Н 73

    Новиков, Петр Сергеевич.
    Элементы математической логики [Текст] / П. С. Новиков. - 2-е изд., испр. - М. : Наука, 1973. - 400 с. - (Математическая логика и основания математики). - 30000 прим.. -

27.03

ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика -- основания математики -- алгебра высказываний -- исчисление высказываний -- логика предиктов -- исчисление предиктов -- аксиоматическая арифметика -- элементы теории доказательства

Примірників всього: 5
Аб. (3), фмф (2)
Свободны: Аб. (3), фмф (2)
Знайти схожі

19.

   22.1
   С 81

    Столл, Роберт Р..
    Множества. Логика. Аксиоматические теории [Текст] / Р. Р. Столл ; пер. с англ.: Ю. А. Гастев, И. Х. Шмаин ; ред. Ю. А. Шиханович. - М. : Просвещение, 1968. - 231 с. : ил. - 70000 прим.. -

27.17

ББК 22.14
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--АЛГЕБРА
Кл.слова (ненормовані):
теория множеств -- математическая логика -- основания математики -- интуитивная теория множеств -- отношения эквивалентности -- отношения порядка -- исчисление предикатов -- логическое следствие -- приложения -- сентенциональные связки -- математика -- булева алгебра -- конгруэнтность -- свободные булевы алгебры -- исчисление высказываний

Дод.точки доступу:
Гастев, Ю. А. \пер. с англ.\; Шмаин, И. Х. \пер. с англ.\; Шиханович, Ю. А. \ред.\
Примірників всього: 12
Аб. (12)
Свободны: Аб. (12)
Знайти схожі

20.

   22.1
   Н 73

    Новиков, Петр Сергеевич.
    Элементы математической логики [Текст] / П. С. Новиков. - М. : Физматгиз, 1959. - 400 с. - 15000 прим.. -

27.03

1-20 21-40 41-60 61-68

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)