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

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
в найденном
В текущей базе данных найдено документов :260
 В других БД по вашему запросу найдено:Электронный каталог (125)ЭБС "ЛАНЬ" (9)Публикации учёных СГУ (3)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=математическая логика<.>)
Общее количество найденных документов : 260
Показаны документы с 1 по 20
 1-20    21-40   41-60   61-80   81-100   101-120      
1.

Вид документа : Однотомное издание
Шифр издания : 519(075)/М 21
Автор(ы) : Мальцев И. А.
Заглавие : Дискретная математика : учеб. пособие . -2-е изд., испр.
Выходные данные : СПб.; М.; Краснодар: Лань, 2018
Колич.характеристики :304 с.: ил.; 22 см
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 278-279 (33 назв.)
ISBN, Цена 978-5-8114-1010-1: 892.10 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): теория множеств--комбинаторика--графы--математическая логика--конечные автоматы--теория алгоритмов--теория чисел--алгебраические системы--множества
Аннотация: Содержи следующие разделы: теория множеств, комбинаторика, графы, математическая логика, конечные автоматы, теория алгоритмов, теория чисел, алгебраические системы. Материал иллюстрирован многочисленными примерами.
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 51(075)/М 34
Автор(ы) : Шепелева Р. П., Головко Н. И., Иванов Б. Н., Первухин М. А., Полещук Г. С., Коробецкая Ю. И., Бондрова О. В., Крылова Д. С.
Заглавие : Математика : учеб. пособие
Выходные данные : Саратов: Ай Пи Эр Медиа, 2018
Колич.характеристики :194 с.: ил.; 22 см
Коллективы : Дальневост. федер. ун-т, Шк. естеств. наук, Каф. алгебры, геометрии и анализа (Владивосток), М-во образования и науки РФ (Москва)
Серия: Университетский учебник
Примечания : Библиогр.: с. 188-190
ISBN, Цена 978-5-4486-0107-1: 50.00 р.
ГРНТИ : 27.01.33
УДК : 51(075.8)
ББК : 22.1
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): алгебра--пределы--неопределенный интеграл--определенный интеграл--дифференциальные уравнения--степенные ряды--теория вероятностей--математическая статистика--обработка информации--математическая логика--дискретная математика
Аннотация: Содержит общее описание учебного процесса по дисциплине; конспекты лекций; материалы практических занятий; классные, домашние задания, задания для самостоятельной работы. образцы зданий контрольных работ; тесты, список литературы для самостоятельной работы.
Найти похожие
3.

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

Вид документа : Однотомное издание
Шифр издания : 519(076)/Я 79
Автор(ы) : Ярыгин А. Н., Ярыгин О. Н.
Заглавие : Лекции и задачи по дискретной математике : (от теории к алгоритмам) : учеб. пособие
Выходные данные : Старый Оскол: ТНТ, 2017
Колич.характеристики :392 с.: ил.; 21 см
Примечания : Библиогр.: с. 389-391. - Гриф: допущено Умо по напр. пед. образования М-ва образования и науки РФ в качестве учеб. пособия для студ. вузов, обуч. по напр. "Прикл. математика и физика"
ISBN, Цена 978-5-94178-310-6: 504.00 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(076)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): теория множеств--математическая логика--комбинаторика--теория чисел--теория графов--дискретная математика--теория диофантовых уравнений
Аннотация: Представлен курс лекций по базовым дисциплинам дискретной математики от теории множеств до теории графов. Рассмотрен круг вопросов в соответствии с ФГОС по информационно-технологическим и управленческим направлениям.
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 510.5(076.1)
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Сборник задач по математической логике и теории алгоритмов : учебное пособие
Выходные данные : Москва: КУРС: ИНФРА-М, 2017
Колич.характеристики :392 с.: ил., табл.
Серия: Бакалавриат
Примечания : Библиогр.: с. 388-390 (50 назв.). - Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению 44.03.01 "Педагогическое образование" (квалификация Бакалавр)
ISBN, Цена 978-5-906818-08-9 (в пер.): 1078.00 р.
ISBN, Цена 978-5-16-011429-3: Б.ц.
УДК : 510.5(076.1) + 510.6(076.1)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--логика высказываний --исчисления высказываний
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 519(076)/Б 82
Автор(ы) : Борзунов С. В., Кургалин С. Д.
Заглавие : Задачи по дискретной математике : учеб. пособие
Выходные данные : СПб.: БХВ-Петербург, 2016
Колич.характеристики :528 с.: ил.; 21 см
Серия: Учебная литература для вузов
Примечания : Библиогр.: с. 499-509 (118 назв.). - риф: допущено УМО по клас. унив. образованию РФ в качестве учеб. пособия для студ. вузов, обучающихся по направлению подгот. ВО 03.03.03 - Радиофизика
ISBN, Цена 978-5-9775-3672-1: 954.00 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(076)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): математическая логика--теория множеств--комбинаторика--функции--графы--булева алгебра--комплексные числа--рекуррентные соотношения--алгоритмы--машина тьюринга--асимптотический анализ--базовые алгоритмы--параллельные алгоритмы
Аннотация: В учебном пособии даны задачи и упражнения вузовского курса дискретной математики, включая разделы, связанные со спецификой информационно-коммуникационных технологий. В каждой главе приводятся теоретические сведения, необходимые для решения задач разного уровня сложности, ответы и во многих случаях подробные пояснения к решениям.
Найти похожие
7.

Вид документа : Многотомное издание
Шифр издания : 519.1(075.8)
Автор(ы) : Розен, Виктор Владимирович
Заглавие : Введение в дискретную математику: учебное пособие для студентов, изучающих курс дискретной математики и смежные дисциплины : 2 ч./ В. В. Розен, Ю. А. Бродская ; Сарат. нац. исслед. гос. ун-т им. Н. Г. Чернышевского. Ч. 1
Выходные данные : Саратов: Издательство Саратовского университета, 2016
Колич.характеристики :90, [2] с.: ил.
Коллективы : Сарат. нац. исслед. гос. ун-т им. Н. Г. Чернышевского
Серия:
Примечания : Библиогр.: с. 89 (13 назв.)
ISBN, Цена 978-5-292-04407-9: 233.59 р.
УДК : 519.1(075.8)
Предметные рубрики: математика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): дискретная математика--математическая логика--математические структуры--логика высказываний --логика предикатов --бинарные отношения--универсальная алгебра--полугруппы--кольца
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 510.6(075.8)
Автор(ы) : Лапшева, Елена Евгеньевна, Огнева, Марина Валентиновна
Заглавие : Математическая логика : учебное пособие для студентов факультета компьютерных наук и информационных технологий
Выходные данные : Саратов: Издательство Саратовского университета, 2015
Колич.характеристики :124 с.: ил.
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 115 (4 назв.)
ISBN, Цена 978-5-292-04346-1: 261.32 р.
УДК : 510.6(075.8)
Ключевые слова (''Своб.индексиров.''): математическая логика--логические функции--карно-вейча метод--алгебра логики--логика высказываний
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 510.6(075.8)
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Сложность вычислений : учебное пособие для студентов и магистров факультета компьютерных наук и информационных технологий
Выходные данные : Саратов: Издательство Саратовского университета, 2015
Колич.характеристики :79, [4] с.: ил., табл.
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 81 (6 назв.)
ISBN, Цена 978-5-292-04343-0: 235.95 р.
УДК : 510.6(075.8) + 519.6(075.8)
Предметные рубрики: математика-- математическая логика-- вычислительная математика
Ключевые слова (''Своб.индексиров.''): математическая логика--тьюринга машина--вычислительная сложность--приближенные вычисления
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 510.63(075.8)
Автор(ы) : Молчанов, Владимир Александрович
Заглавие : Логика высказываний : учебное пособие для студентов факультета компьютерных наук и информационных технологий
Выходные данные : Саратов: Издательство Саратовского университета, 2014
Колич.характеристики :60, [3] с.: рис., табл.
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 59
ISBN, Цена 978-5-292-04256-3: 182.81 р.
УДК : 510.63(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--алгебра высказываний--аксиоматика--исчисления высказываний
Найти похожие
11.

Вид документа : Однотомное издание
Шифр издания : 519.1(075.8)
Автор(ы) : Бабичева, Ирина Владимировна
Заглавие : Дискретная математика. Контролирующие материалы к тестированию : учебное пособие . -2-е изд. испр.
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2013
Колич.характеристики :159, [1] с.: ил.
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 156-157 (17 назв.)
ISBN (в пер.), Цена 978-5-8114-1456-7: 214.00 р.
УДК : 519.1(075.8)
Предметные рубрики: математика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): дискретная математика--множеств теория--графов теория--комбинаторика--математическая логика--тестирование
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : 519(076)/П 82
Автор(ы) : Просветов Г. И.
Заглавие : Дискретная математика : задачи и решения : учебно-практ. пособие . -2-е изд., доп.
Выходные данные : М.: Альфа-Пресс, 2013
Колич.характеристики :240 с. ; 20 см
Примечания : Библиогр.: с. 233-234
ISBN, Цена 978-5-94280-419-0
ГРНТИ : 27.41.41.01.33
УДК : 519.1(076)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебраические системы--теория кодирования--комбинаторика--теория графов--множество--булевы функции--функции--алгоритмы--кодирование--математическая индукция
Аннотация: В пособии рассмотрены основные методы и приемы дискретной математики. Пособие состоит из четырех разделов: математическая логика, алгебраические системы и теория кодирования, комбинаторика, теория графов. Каждый раздел книги можно рассматривать как самостоятельный курс. Приведенные в учебном материале примеры и задачи позволяют успешно овладеть знаниями по изучаемой дисциплине. Издание рассчитано на преподавателей и студентов вузов.
Найти похожие
13.

Вид документа : Однотомное издание
Шифр издания : 51(075)/Т 87
Автор(ы) : Турецкий В. Я.
Заглавие : Математика и информатика : учебник . -3-е изд., перераб. и доп.
Выходные данные : М.: Инфра-М, 2013
Колич.характеристики :558 с.: ил.; 22 см
Серия: Высшее образование
Примечания : Библиогр.: с. 557-558 ( 26 назв.). - Гриф: допущено М-вом образования РФ в качестве учеб. пособия для студ. вузов, обуч. по гуманит. напр. и спец.
ISBN, Цена 978-5-16-005296-0: 453.00 р.
ГРНТИ : 27.01.33 + 50.01.33
УДК : 51+004(075.8)
ББК : 22.1 + 32.97
Предметные рубрики: Математика
Вычислительная техника-- Информатика
Ключевые слова (''Своб.индексиров.''): математика--множества--математическая логика--алгебра--аналитическая геометрия--линейная алгебра--математический анализ--функции--теория вероятностей--математическая статистика--информатика--архиваторы--электронные таблицы--графические редакторы--базы данных--текстовые редакторы
Аннотация: Содержит базовые разделы математики и основы информатики. материал изложен с учетом требований, предъявляемых к студентам гуманитарных направлений и специальностей.
Найти похожие
14.

Вид документа : Однотомное издание
Шифр издания : 519(075)/К 90
Автор(ы) : Куликов В. В.
Заглавие : Дискретная математика : учеб. пособие
Выходные данные : М.: РИОР, 2012
Колич.характеристики :174 с.: ил.; 22 см
Серия: Высшее образование
Примечания : Библиогр.: с. 171 (8 назв.). - Гриф: рек. УМО по образованию в обл. телекоммуникаций в качестве учеб. пособия для студ. вузов, обуч. по спец. 071700 "Физика и техника оптической связи", 200900 "Сети связи и системы коммутации", 201000 "Многоканальные телекоммуникационные системы", 201100 "Радиосвязь, радиовещание и телевидение", 201200 "Средства связи с подвижными объектами", 201300 "Защищенные системы связи"
ISBN, Цена 978-5-369-00205-6: 187.10 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): математическая логика--логическое следование--теория множеств--теория алгоритмов--теория графов--комбинаторика--конечные автоматы--алгоритмы
Аннотация: В пособии рассмотрены элементы математической логики, теории множеств и теории графов, приведены основные принципы комбинаторики. Описаны алгоритмы, позволяющие решать различные задачи с помощью компьютера. Изложены основные понятия теории конечных автоматов.
Найти похожие
15.

Вид документа : Однотомное издание
Шифр издания : 51(072.8)
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика в обучении математике. Логико-дидактическая подготовка учителя математики : научное издание
Выходные данные : Saarbrücken: Palmarium Academic Publishing, 2012
Колич.характеристики :513, [1] с
Примечания : Библиогр. в конце разд.
ISBN, Цена 978-5-659-98033-6: 450.00 р.
УДК : 51(072.8)
Предметные рубрики: математика-- математика
Ключевые слова (''Своб.индексиров.''): математическая логика--математика--математическое образование--дидактика--методика преподавания--учителя математики--доказательства--аксиоматические теории--обучение
Найти похожие
16.

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

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

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

Вид документа : Однотомное издание
Шифр издания : 22.176я73
Автор(ы) : Канцедал, Сергей Андреевич
Заглавие : Дискретная математика : учеб. пособие для сред. проф. образования
Выходные данные : Москва: ФОРУМ: ИНФРА-М, 2011
Колич.характеристики :224 с
Серия: Профессиональное образование
Примечания : Библиогр.: с. 218- 219
ISBN, Цена 978-5-8199-0304-9: 130.46 р.
ББК : 22.176я73
Предметные рубрики: Математика-- Комбинаторный анализ
Ключевые слова (''Своб.индексиров.''): адресные машины--алгоритмы--бинарные отношения--булевы функции--дискретная математика--комбинаторика--математическая логика--машины тьюринга--множества--модели вычислений--направленные графы--неориентированные графы--орграфы--отношения--пособия для среднего профессионального образования--производящие функции--рам--рекуррентные соотношения--современная алгебра--теория булевых функций--теория графов--теория комбинаторики--теория множеств--теория отношений--тьюрингово программирование--учебники для среднего профессионального образования--учебные пособия для среднего профессионального образования--экстремальные задачи
Аннотация: Изложены традиционные разделы дискретной математики и содержится раздел "экстремальные задачи", где на примерах показано применение ее основ.
Найти похожие
20.

Вид документа : Однотомное издание
Шифр издания : 341235
Автор(ы) : Хворостухина, Екатерина Владимировна
Заглавие : Логико-алгебраические методы теории гиперграфических автоматов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09
Выходные данные : Саратов: [б. и.], 2011
Колич.характеристики :16 с
Коллективы : Сарат. гос. социал.-экон. ун-т
Примечания : Библиогр.: с. 13-15 (28 назв.)
ISBN, Цена [Б. и.]
УДК : 519.713(043.3)
Предметные рубрики: автоматика.кибернетика-- математическая кибернетика
Ключевые слова (''Своб.индексиров.''): автоматов теория--универсальные гиперграфические автоматы--полугруппы--гиперграфы--универсальная алгебра--математическая логика
Найти похожие
 1-20    21-40   41-60   61-80   81-100   101-120      
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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