| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Электронный каталог - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
в найденном
В текущей базе данных найдено документов :125
 В других БД по вашему запросу найдено:ЭБС "ЛАНЬ" (9)Публикации учёных СГУ (3)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (260)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=математическая логика<.>)
Общее количество найденных документов : 125
Показаны документы с 1 по 20
 1-20    21-40   41-60   61-80   81-100   101-120      
1.
Учебные отделы, A996154-ОХФ, A996155-ОХФ-ЧЗ-4,
    Игошин, Владимир Иванович.
    Сборник задач по математической логике и теории алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : КУРС : ИНФРА-М, 2017. - 392 с. : ил., табл. - (Бакалавриат). - Библиогр.: с. 388-390 (50 назв.). - ISBN 978-5-906818-08-9 (КУРС) (в пер.). - ISBN 978-5-16-011429-3 (ИНФРА-М) : 1078.00 р.
Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению 44.03.01 "Педагогическое образование" (квалификация Бакалавр)
УДК
510.5(076.1)
510.6(076.1)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- логика высказываний -- исчисления высказываний
Экземпляры всего: 80
ОХФ (1), ОХФ-ЧЗ-4 (1), ОУОЕН (78)
Найти похожие
2.
Учебные отделы, A996156-ОХФ,
    Игошин, Владимир Иванович.
    Математическая логика [Текст] : учебное пособие / В. И. Игошин. - Москва : ИНФРА-М, 2017. - 398, [2] с. : ил., табл. - (Высшее образование: Бакалавриат). - Библиогр.: с. 389-392. - ISBN 978-5-16-011691-4 (print) (в пер.) : 1006.39 р.
Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению подгот. 44.03.05 "Педагогическое образование" (квалификация (степень) "бакалавр")
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- высказывания -- логика предикатов -- аксиоматические теории
Экземпляры всего: 24
ОХФ (1), ОУОЕН (23)
Найти похожие
3.
Учебные отделы, A997145-ОХФ, A997146-ОХФ, A997147-ОХФ,
   Розен, Виктор Владимирович
    Введение в дискретную математику [Текст] : учебное пособие для студентов, изучающих курс дискретной математики и смежные дисциплины : 2 ч. / В. В. Розен, Ю. А. Бродская ; Сарат. нац. исслед. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2016 - . - ISBN 978-5-292-04411-6.
   Ч. 1. - Саратов : Издательство Саратовского университета, 2016. - 90, [2] с. : ил. - ). - Библиогр.: с. 89 (13 назв.). - ISBN 978-5-292-04407-9 (ч. 1) : 233.59 р., 233.76 р.
УДК
519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

Кл.слова (ненормированные):
дискретная математика -- математическая логика -- математические структуры -- логика высказываний -- логика предикатов -- бинарные отношения -- универсальная алгебра -- полугруппы -- кольца


Доп. точки доступа:
Бродская, Юлия Анатольевна
Экземпляры всего: 38
ОХФ (3), ОУОЕН (35)
Найти похожие
4.
Учебные отделы, A994299-ОХФ, A994300-ОХФ, A994301-ОХФ-ЧЗ-4,
    Лапшева, Елена Евгеньевна.
    Математическая логика [Текст] : учебное пособие для студентов факультета компьютерных наук и информационных технологий / Е. Е. Лапшева, М. В. Огнева ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2015. - 124 с. : ил. - Библиогр.: с. 115 (4 назв.). - ISBN 978-5-292-04346-1 : 261.32 р., 261.31 р.
УДК
510.6(075.8)

Кл.слова (ненормированные):
математическая логика -- логические функции -- Карно-Вейча метод -- алгебра логики -- логика высказываний


Доп. точки доступа:
Огнева, Марина Валентиновна
Экземпляры всего: 38
ОХФ (2), ОХФ-ЧЗ-4 (1), ОУОЕН (35)
Найти похожие
5.
Учебные отделы, A994305-ОХФ, A994306-ОХФ, A994307-ОХФ-ЧЗ-4,
    Гамова, Алла Николаевна.
    Сложность вычислений [Текст] : учебное пособие для студентов и магистров факультета компьютерных наук и информационных технологий / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2015. - 79, [4] с. : ил., табл. - Библиогр.: с. 81 (6 назв.). - ISBN 978-5-292-04343-0 : 235.95 р., 235.94 р.
УДК
510.6(075.8)
519.6(075.8)

Рубрики: математика--математическая логика--вычислительная математика

Кл.слова (ненормированные):
математическая логика -- Тьюринга машина -- вычислительная сложность -- приближенные вычисления



Экземпляры всего: 33
ОХФ (2), ОХФ-ЧЗ-4 (1), ОУОЕН (30)
Найти похожие
6.
Учебные отделы, A992038-ОХФ, A992039-ОХФ, A992040-ОХФ,
    Молчанов, Владимир Александрович.
    Логика высказываний [Текст] : учебное пособие для студентов факультета компьютерных наук и информационных технологий / В. А. Молчанов ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2014. - 60, [3] с. : рис., табл. - Библиогр.: с. 59. - ISBN 978-5-292-04256-3 : 182.81 р.
УДК
510.63(075.8)

Рубрики: математика--математическая логика

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



Экземпляры всего: 38
ОХФ (3), ОУОЕН (35)
Найти похожие
7.
A998185-ОХФ
    Бабичева, Ирина Владимировна.
    Дискретная математика. Контролирующие материалы к тестированию [Текст] : учебное пособие / И. В. Бабичева. - 2-е изд. испр. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2013. - 159, [1] с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 156-157 (17 назв.). - ISBN 978-5-8114-1456-7 (в пер.) : 214.00 р.
УДК
519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

Кл.слова (ненормированные):
дискретная математика -- множеств теория -- графов теория -- комбинаторика -- математическая логика -- тестирование
Экземпляры всего: 1
ОХФ (1)
Найти похожие
8.
A989306-ОХФ
    Игошин, Владимир Иванович.
    Математическая логика [Текст] : учебное пособие / В. И. Игошин. - Москва : Инфра-М, 2012. - 398, [2] с. + 1 эл. опт. диск (CD-ROM). - (Высшее образование). - Библиогр.: с. 389-392. - ISBN 978-5-16-005204-5 (в пер.) : 229.00 р.
Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65-математика
УДК
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- высказывания -- логика предикатов -- аксиоматические теории
Экземпляры всего: 1
ОХФ (1)
Найти похожие
9.
Учебные отделы, A998212-ОХФ, A998213-ОХФ,
    Глухов, Михаил Михайлович.
    Математическая логика. Дискретные функции. Теория алгоритмов [Текст] : учебное пособие / М. М. Глухов, А. Б. Шишков. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2012. - 405, [9] с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 398-401 (76 назв.). - ISBN 978-5-8114-1344-7 (в пер.) : 767.00 р.
Рекомендовано УМО вузов России по образованию в обл. информац. безопасности в качестве учеб. пособия для студентов вузов, обучающихся по направлению подгот. (специальности) 090301 - "Компьютерная безопасность" и 090303 - "Информационная безопасность автоматизированных систем"
УДК
510.5(075.8)

Рубрики: математика--математическая логика

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


Доп. точки доступа:
Шишков, Алексей Борисович
Экземпляры всего: 4
ОХФ (2), ОУОЕН (2)
Найти похожие
10.
A989709-ОХФ
    Игошин, Владимир Иванович.
    Математическая логика в обучении математике. Логико-дидактическая подготовка учителя математики [Текст] / В. И. Игошин. - Saarbrücken : Palmarium Academic Publishing, 2012. - 513, [1] с. - Библиогр. в конце разд. - ISBN 978-5-659-98033-6 : 450.00 р.
УДК
51(072.8)

Рубрики: математика--математика

Кл.слова (ненормированные):
математическая логика -- математика -- математическое образование -- дидактика -- методика преподавания -- учителя математики -- доказательства -- аксиоматические теории -- обучение
Экземпляры всего: 1
ОХФ (1)
Найти похожие
11.
A606776-ОХФ
    Хворостухина, Екатерина Владимировна.
    Логико-алгебраические методы теории гиперграфических автоматов [Текст] : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Е. В. Хворостухина ; науч. рук. В. А. Молчанов ; Сарат. гос. социал.-экон. ун-т. - Саратов : [б. и.], 2011. - 16 с. - Библиогр.: с. 13-15 (28 назв.). - ISBN [Б. и.]
Издание является приложением к документу:
Логико-алгебраические методы теории гиперграфических автоматов : дис. ... канд. физ.-мат. наук : 01.01.09 : защищена 24.02.2011 / Е. В. Хворостухина ; науч. рук. В. А. Молчанов. - Саратов : [б. и.], 2011. - 132. - ISBN [Б. и.]. Шифр 225678
УДК
519.713(043.3)

Рубрики: автоматика.кибернетика--математическая кибернетика

Кл.слова (ненормированные):
автоматов теория -- универсальные гиперграфические автоматы -- полугруппы -- гиперграфы -- универсальная алгебра -- математическая логика. - Является приложением к Логико-алгебраические методы теории гиперграфических автоматов : дис. ... канд. физ.-мат. наук : 01.01.09 : защищена 24.02.2011 / Е. В. Хворостухина ; науч. рук. В. А. Молчанов\par


Доп. точки доступа:
Молчанов, Владимир Александрович
Экземпляры всего: 1
ОХФ (1)
Найти похожие
12.
A894030-ОХФ
    Попов, Сергей Викторович.
    Прикладная логика [Текст] / С. В. Попов, Н. В. Брошкова. - Москва : ФИЗМАТЛИТ, 2011. - 212, [4] с. : ил., табл. - Библиогр.: с. 210-212 (45 назв.). - ISBN 978-5-9221-1340-3 (в пер.) : 380.00 р.
УДК
16:51

Рубрики: логика--логика

Кл.слова (ненормированные):
математическая логика -- логические формулы -- математические методы -- логика -- логические задачи -- логический анализ


Доп. точки доступа:
Брошкова, Наталья Леонидовна
Экземпляры всего: 1
ОХФ (1)
Найти похожие
13.
A998655-ОХФ
    Иванов, Борис Николаевич.
    Дискретная математика. Алгоритмы и программы. Расширенный курс [Текст] : учебное пособие / Б. И. Иванов. - Москва : Известия, 2011. - 511, [1] с. : ил., табл. - Библиогр.: с. 501-502 (35 назв.). - Предм. указ.: с. 503-509. - ISBN 978-5-206-00824-1 (в пер.) : 643.00 р.
Рекомендовано М-вом образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Прикладная математика и информатика"
УДК
519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

Кл.слова (ненормированные):
дискретная математика -- математическая логика -- комбинаторные схемы -- алгоритмы -- сортировка -- графов теория -- групп теория -- чисел теория -- кодирование
Экземпляры всего: 1
ОХФ (1)
Найти похожие
14.
A993154-ОХФ
    Мальцев, Иван Анатольевич.
    Дискретная математика [Текст] : учебное пособие / И. А. Мальцев. - 2-е изд., испр. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2011. - 287, [15] с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 278-279 (33 назв.). - Предм. указ.: с. 280-287. - ISBN 978-5-8114-1010-1 (в пер.) : 720.00 р.
УДК
519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

Кл.слова (ненормированные):
дискретная математика -- комбинаторика -- алгоритмов теория -- графы -- алгебраические системы -- математическая логика
Экземпляры всего: 1
ОХФ (1)
Найти похожие
15.
10510/Р-ОХФ-ЧЗ-3(Дисс. фонд)
    Хворостухина, Екатерина Владимировна.
    Логико-алгебраические методы теории гиперграфических автоматов [Рукопись] : диссертация на соискание ученой степени кандидата физико-математических наук : 01.01.09 : защищена 24.02.2011 / Е. В. Хворостухина ; науч. рук. В. А. Молчанов ; Сарат. гос. социал.-экон. ун-т. - Саратов : [б. и.], 2011. - 132 л. : рис. + 1 автореф. - Библиогр.: л. 126-129. - ISBN [Б. и.] (в пер.)
Приложение:
Логико-алгебраические методы теории гиперграфических автоматов : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Е. В. Хворостухина. - Саратов : [б. и.], 2011. - 16 с. - ISBN [Б. и.]. Шифр 341235
УДК
519.713(043.3)

Рубрики: автоматика.кибернетика--математическая кибернетика

Кл.слова (ненормированные):
автоматов теория -- универсальные гиперграфические автоматы -- полугруппы -- гиперграфы -- универсальная алгебра -- математическая логика. - Приложение:Логико-алгебраические методы теории гиперграфических автоматов : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Е. В. Хворостухина


Доп. точки доступа:
Молчанов, Владимир Александрович
Экземпляры всего: 1
ОХФ-ЧЗ-3(Дисс. фонд) (1)
Найти похожие
16.
A989308-ОХФ
    Игошин, Владимир Иванович.
    Тетрадь по математической логике [Текст] / В. И. Игошин. - 3-е изд., доп. - Саратов : Издательский центр "Наука", 2010. - 64 с. - ISBN 978-5-9999-0269-6 : 54.00 р.
На обл. авт. не указан
УДК
510.6(072.3)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- высказывания -- множества -- предикаты -- Булевы функции -- релейно-контактные схемы
Аннотация: Математическая логика - необязательный и необычный предмет для школы. Он преподаётся в качестве факультатива или спецкурса далеко не в каждой современной школе. Включение элементов математической логики в курс информатики средней школы, а также в единый государственный экзамен (ЕГЭ) по информатике и по математике сделало этот предмет широко известным в школе, но не сделало его родным для школы. Но этот предмет важен прежде всего не для информатики, а для математики. В информатике заключена прикладная сторона математической логики. В математике - её сущность: логика анализирует процессы и формы мышления. Именно поэтому данный предмет выбирают не только школы и классы с углубленным изучением предметов естественнонаучного цикла, но и школы и классы гуманитарного профиля.
Экземпляры всего: 1
ОХФ (1)
Найти похожие
17.
A983160-ОХФ-ЧЗ-4
    Гринченков, Дмитрий Валерьевич.
    Математическая логика и теория алгоритмов для программистов [Текст] : учеб. пособие / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. - Библиогр.: с. 205-206 (24 назв.). - ISBN 978-5-406-00120-2 (в пер.) : 140.00 р.
Допущено М-вом образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
УДК
510.5(075.8)
510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булева алгебра -- множеств теория -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования


Доп. точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 1
ОХФ-ЧЗ-4 (1)
Найти похожие
18.
A497693-ОХФ
   
    Logic in Computer Science [Текст] / ed. by Z. Ognjanović. - Beograd : Matematički institut SANU, 2009. - 215, [1] p. - (Zbornik radova ; 12 (20)). - Bibliogr.: p. 208-215. - ISBN 978-86-80593-40-1 : 25.00 р.
УДК
[004:510.6](082)

Рубрики: вычислительная техника--информационные технологии

   математика--математическая логика

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


Доп. точки доступа:
Ognjanović, Zoran
Экземпляры всего: 1
ОХФ (1)
Найти похожие
19.
Новые поступления (книга в стадии обработки)
   
    Методы решения логических задач [Текст] : учебное пособие / Н. А. Александрова [и др.] ; Сарат. гос. ун-т им. Н. Г. Чернышевского, Пед. ин-т. - Саратов : Рата, 2009. - 49 с. - ISBN 978-5-91659-066-1 (в пер.) : 5.00 р.
УДК
510.6(075.8)

Рубрики: математика--математическая логика

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


Доп. точки доступа:
Александрова, Наталья Алексеевна
Голубцов, Валерий Николаевич
Козырев, Андрей Кириллович
Храмова, Марина Викторовна
Экземпляры всего: 1
ОУООПН-ЧЗ 13 (1)
Найти похожие
20.
Учебные отделы,
    Спирина, М. С.
    Дискретная математика [Текст] : учеб. для студентов / М. С. Спирина, П. А. Спирин. - 5-е изд., стер. - Москва : Академия, 2009. - 368 с. - (Среднее профессиональное образование). - ISBN 978-5-7695-6209-9 (в пер.) : 399.00 р.
УДК
519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

Кл.слова (ненормированные):
математика -- дискретная математика -- математическая логика
Аннотация: Учебник содержит теоретический материал по традиционным темам дискретной математики и некоторые вопросы классической логики.


Доп. точки доступа:
Спирин, П. А.
Экземпляры всего: 5
ОУООПН-ЧЗ 13 (1), ОУООПН-АБ 3 (4)
Найти похожие
 1-20    21-40   41-60   61-80   81-100   101-120      
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)