Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

ЭБС "ЛАНЬ" - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

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

В текущей базе данных найдено документов :9

В других БД по вашему запросу найдено:

Электронный каталог (125)

Публикации учёных СГУ (3)

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (260)

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

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

Поисковый запрос: (<.>KL=математическая логика<.>)

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

Глухов, М. М.
Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов [Электронный ресурс] : сборник задач / М. М. Глухов, О. А. Козлитин, В. А. Шапошников, А. Б. Шишков. - 1-е изд. - Санкт-Петербург : Лань, 2008. - 112 с. - ISBN 978-5-8114-0853-5 : Б. ц.
Книга из коллекции Лань - Математика. Рекомендовано Учебно-методическим объединением по образованию в области информационной безопасности в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальностям в области 090100 - "Информационная безопасность" .

УДК

510.51](076.1)

ББК 22.12я73

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

Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- учебное пособие -- дискретные функции -- алгебра предикатов -- алгоритм -- булевы функции -- аксиоматическое построение -- алгебра -- алгебра теории алгоритмов математическая логика -- алгоритмов теория -- алгоритмы -- булева -- булевы алгебры -- булевые функции -- высказывание -- высшая математика -- дискретная математика -- задачи -- исчисление -- математика -- математическая логика дискретные функции -- математическая логика теория алгоритмов учебные пособия алгебра высказываний булевы алгебры дискретные функции булевы функции функциональные схемы алгоритмы задачи -- отношение -- предикаты -- сложность -- учебник и пособие * -- учебные пособия -- функциональные схемы
Аннотация: Данное учебное пособие содержит набор задач и упражнений необходимый для закрепления и расширения лекционного материала дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции», изучаемых в рамках подготовки студентов высших учебных заведений, обучающихся по специальностям в области информационной безопасности. Пособие включает задачи, относящиеся к алгебре и исчислению высказываний, алгебре и исчислению предикатов, теории дискретных функций, включая вопросы их групповой классификации, теории алгоритмов и вопросы сложности алгоритмов. Учебное пособие будет полезно также студентам вузов, в которых изучается дискретная математика и математическая логика.
Перейти к внешнему ресурсу Ссылка на документ в ЭБС Лань,
Перейти к внешнему ресурсу Обложка книги.

Доп. точки доступа:
Козлитин, О. А.
Шапошников, В. А.
Шишков, А. Б.
Найти похожие

Карташев, А. П.
Математический анализ [Электронный ресурс] : учебное пособие / А. П. Карташев, Б. Л. Рождественский. - 2-е изд. - Санкт-Петербург : Лань, 2007. - 448 с. - ISBN 978-5-8114-0700-2 : Б. ц.
Книга из коллекции Лань - Математика

УДК

517

ББК 22.161

Рубрики: Математика--Математический анализ--Лань

Кл.слова (ненормированные):
анализ математический (основы) -- действительные числа -- дифференциальные уравнения -- интегралы -- исчисление дифференциальное (основы) -- логика математическая -- математика -- математика (логика) -- математическая логика -- математический анализ -- теория множеств вещественные числа комплексные числа числовые последовательности ряды теорема больцано формула тейлора ряды фурье интеграл фурье -- учебные пособия -- функции математические -- функции многих переменных -- функции нескольких переменных -- функции одной переменной -- числа действительные
Аннотация: Книга написана на основе лекций, читавшихся авторами в течение ряда лет студентам Московского инженерно-физического института и Московского физико-технического института. При изложении материала особое внимание уделяется вопросам, существенным для математического образования физиков и инженеров. В отличие от большинства существующих книг по математическому анализу в данном учебном пособии при сравнительно малом объеме изложен курс, полностью соответствующий программе физических и инженерных специальностей вузов.
Перейти к внешнему ресурсу Ссылка на документ в ЭБС Лань,
Перейти к внешнему ресурсу Обложка книги.

Доп. точки доступа:
Рождественский, Б. Л.
Найти похожие

Кузнецов, О. П.
Дискретная математика для инженера [Электронный ресурс] : учебное пособие / О. П. Кузнецов. - 6-е изд., стер. - Санкт-Петербург : Лань, 2009. - 400 с. - ISBN 978-5-8114-0570-1 : Б. ц.
Книга из коллекции Лань - Математика

УДК

519.713

ББК 32.815

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

Кл.слова (ненормированные):
математика для инженера -- дискретная математика -- автоматы -- автоматы (матем) -- алгебра -- алгебра логики -- алгебра логика теория графов теория алгоритмов -- алгебра теории алгоритмов математическая логика -- алгоритмов теория -- алгоритмы -- алгоритмы теория -- булева алгебра -- введение в логику -- вычислимость -- грамматики (матем) -- графы -- исчисления логические -- логика -- логика введение -- математика -- математическая логика -- множества -- общая алгебра -- отношения -- предикатов исчисление -- предикаты логика язык -- разрешимость -- сложности вычислений -- теория автоматов -- теория алгоритмов -- тьюринга машина -- учебники для вузов -- формальные системы -- функции -- функция логическая -- функция рекурсивная -- элементы общей алгебры -- языки -- языки (матем)
Аннотация: В книге изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем, теории автоматов. По сравнению с изданием 1988г. заново написаны разделы по теории графов и сложности вычислений. Для инженеров, специализирующихся в области автоматизированного управления и проектирования, вычислительной техники, информационных технологий, передачи информации, а также для студентов и аспирантов соответствующих специальностей.
Перейти к внешнему ресурсу Ссылка на документ в ЭБС Лань,
Перейти к внешнему ресурсу Обложка книги.
Найти похожие

Лихтарников, Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения [Электронный ресурс] : сборник задач / Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер. - Санкт-Петербург : Лань, 2009. - 288 с. - ISBN 978-5-8114-0082-9 : Б. ц.
Книга из коллекции Лань - Математика

УДК

510.6(075)

ББК 22.122я73

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

Кл.слова (ненормированные):
математическая логика -- учебное пособие -- алгоритм -- алгебра логики -- курс лекций -- задачник -- аксиома логическая -- алгебра -- алгоритмы -- буля -- буля алгебра -- вычислимая -- геделя -- двойственность -- двойственность закон -- дедукция теорема -- дизъюнктивная -- доказуемость -- задачи -- задачи решения -- закон -- исчисление высказываний -- исчисление аксиоматическое -- исчисления высказываний -- конъюнктивная -- курсы лекций -- логика -- логика предикатов -- математика -- математика логика -- математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи -- математические теории -- машина -- операция логическая -- разрешимость -- рекурсивная -- решение задач -- тавтология -- терма -- тьюринга -- тьюринга машина -- учебник и пособие -- учебные пособия -- форма дизъюнктивная -- формула доказуемая -- функция -- функция вычислимая -- функция рекурсивная
Аннотация: Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.
Перейти к внешнему ресурсу Ссылка на документ в ЭБС Лань,
Перейти к внешнему ресурсу Обложка книги.

Доп. точки доступа:
Сукачева, Т. Г.
Найти похожие

Мальцев, И. А.
Дискретная математика [Электронный ресурс] : учебное пособие / И. А. Мальцев. - 2-е изд. - Санкт-Петербург : Лань, 2011. - 304 с. - ISBN 978-5-8114-1010-1 : Б. ц.
Книга из коллекции Лань - Математика

УДК

519.7(075.8)

ББК 22.176я73

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

Кл.слова (ненормированные):
теория алгоритмов -- учебное пособие -- множества -- дискретная математика -- графы -- комбинаторика -- математическая логика -- конечный автомат -- алгебры итеративные -- клон -- комбинаторика (мат) -- конечные автоматы -- коэффициент биномиальный -- коэффициент полиномиальный -- логические функции -- маршрут -- матрица -- модулярное кодирование -- предикат логика язык -- теория графов -- тьюринга машина
Аннотация: Книга содержит следующие разделы: теория множеств, комбинаторика, графы, математическая логика, конечные автоматы, теория алгоритмов, теория чисел, алгебраические системы. Поскольку дискретная математика обычно читается студентам младших курсов, материал излагается доступно и иллюстрируется многочисленными примерами. Книга адресована студентам, аспирантам и преподавателям вузов, а также лицам, желающим самостоятельно познакомиться с основными разделами дискретной математики.
Перейти к внешнему ресурсу Ссылка на документ в ЭБС Лань,
Перейти к внешнему ресурсу Обложка книги.
Найти похожие

Гурова, Л. М.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Л. М. Гурова, Е. В. Зайцева. - Москва : Горная книга, 2006. - 262 с. - ISBN 5-7418-0451-9 : Б. ц.
Книга из коллекции Горная книга - Инженерно-технические науки. Допущено Учебно-методическим объединением вузов по университетскому политехническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».

УДК

510.5(075.8)

ББК В12я73

Рубрики: Инженерно-технические науки--Горное дело--Горная книга

Кл.слова (ненормированные):
информатика -- исчисление высказываний -- математическая логика -- теория алгоритмов -- элементы теории множеств
Аннотация: Изложен материал основного курса «Математическая логика и теория алго¬ритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики. Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».
Перейти к внешнему ресурсу Ссылка на документ в ЭБС Лань,
Перейти к внешнему ресурсу Обложка книги.

Доп. точки доступа:
Зайцева, Е. В.
Найти похожие

Бабичева, И. В.
Дискретная математика. Контролирующие материалы к тестированию [Электронный ресурс] : учебное пособие / И. В. Бабичева. - 2-е изд. - Санкт-Петербург : Лань, 2013. - 160 с. - ISBN 978-5-8114-1456-7 : Б. ц.
Книга из коллекции Лань - Математика

УДК

517.8

ББК 22.176я73

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

Кл.слова (ненормированные):
бинарные отношения -- булевы функции -- дискретная математика -- импликация -- кванторы -- комбинаторный анализ -- кортежи -- логика предикатов -- математика -- математическая логика -- множества -- операции над множествами -- ориентированные графы -- теория графов -- теория множеств -- тестирование -- тесты -- учебное пособие -- числовые множества
Аннотация: Учебное пособие содержит кодификатор, тестовые задания и типовой расчет к разделу «Дискретная математика». Раздел представлен четырьмя темами: элементы теории множеств, элементы комбинаторного анализа, элементы теории графов и элементы математической логики. Каждая тема снабжена справочным материалом, оформленным в виде таблиц, схем, рисунков. Имеются тестовые задания с решениями, тестовые задания для самопроверки и индивидуальные типовые задания с образцом для их выполнения. К тестовым заданиям для самопроверки прилагаются ответы. Данное пособие можно использовать для подготовки студентов к компьютерному тестированию по дискретной математике на этапах текущего, промежуточного контроля и проверки остаточных знаний. Пособие адресовано студентам и преподавателям математики технических вузов.
Перейти к внешнему ресурсу Ссылка на документ в ЭБС Лань,
Перейти к внешнему ресурсу Обложка книги.
Найти похожие

Глухов, М. М.
Алгебра [Электронный ресурс] : учебник / М. М. Глухов, В. П. Елизаров, А. А. Нечаев. - 2-е изд., испр. и доп. - Санкт-Петербург : Лань, 2015. - 608 с. - ISBN 978-5-8114-1961-6 : Б. ц.
Книга из коллекции Лань - Математика. Рекомендовано ФГКОУ ВПО «Академия Федеральной службы безопасности Российской Федерации» в качестве учебник для студентов вузов, обучающихся по укрупненной группе направлений подготовки и специальностей «Информационная безопасность»

ББК 22.14я73

Рубрики: Математика--Высшая алгебра и теория групп--Лань

Кл.слова (ненормированные):
алгебраические структуры -- векторные пространства -- евклидовы пространства -- квадратичные формы -- конечные поля -- линейные преобразования -- математическая логика -- многочлены -- рекуррентные последовательности -- системы линейных неравенств -- системы линейных уравнений -- теория групп -- теория множеств -- элементы комбинаторики
Аннотация: В первой половине учебника излагается материал, содержащий основные понятия и теоремы современной алгебры, который может использоваться студентами, обучающимися по направлениям подготовки и специальностям математического и технического профиля. Последующие главы содержат такие важные для специалистов по защите информации разделы, как теория конечных полей, многочлены над конечными полями, группы подстановок, определяющие соотношения групп, линейные рекуррентные последовательности и др. Содержание учебника полностью соответствует примерным программам учебных дисциплин алгебраического цикла при реализации федеральных государственных образовательных стандартов по направлениям подготовки и специальностям, входящим в укрупненную группу «Информационная безопасность».
Перейти к внешнему ресурсу Ссылка на документ в ЭБС Лань,
Перейти к внешнему ресурсу Обложка книги.

Доп. точки доступа:
Елизаров, В. П.
Нечаев, А. А.
Найти похожие

Старолетов, С. М.
Основы тестирования и верификации программного обеспечения [Электронный ресурс] : учебное пособие / С. М. Старолетов. - 1-е изд. - Санкт-Петербург : Лань, 2018. - 344 с. - ISBN 978-5-8114-3041-3 : Б. ц.
Книга из коллекции Лань - Информатика

ББК 32.973.26-018

Рубрики: Информатика--Программирование--Лань

Кл.слова (ненормированные):
тестирование -- верификация -- программирование -- инженерия -- объектно-ориентированный язык -- математическая логика -- теория автоматов
Аннотация: Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия – пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах IntelliJ IDEA, MS Visual Studio, изучаются методы разработки программного обеспечения, исходя от тестирования (TDD) и поведения (BDD) в среде IDEA на языке Java, рассматривается функциональное автоматизированное тестирование в среде IBM Rational Tester, тестирование Web-приложений с помощью Selenium. Вторую часть пособия занимают перспективные методы, связанные с верификацией и моделированием ПО. Рассматривается технология разработки и проектирования - контрактное программирование и язык Eiffel, .NET Code Contracts, технология Model Based Testing и средство MS Spec Explorer, Model Based Checking и средство Spin в среде iSpin, платформа Frama-C. Пособие может быть использовано на специальности «Программная инженерия» и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.
Перейти к внешнему ресурсу Ссылка на документ в ЭБС Лань,
Перейти к внешнему ресурсу Обложка книги.
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

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