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

Базы данных


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

Виды поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.

Вид документа : Однотомное издание
Шифр издания : 519(07)/Л 43
Автор(ы) : Капитонова Ю. В., Кривой С. Л., Летичевский А. А., Луцкий Г. М.
Заглавие : Лекции по дискретной математике : учебное пособие
Выходные данные : СПб.: БХВ-Петербург, 2004
Колич.характеристики :624 с.: ил.; 24 см
Примечания : Библиогр.: с. 611-614 (83 назв.)
ISBN, Цена 5-94157-546-7: 220.00 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(07)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): множества--отношения--комбинаторика--алгоритмические системы--элементы математической логики--теория графов--алгебраические структуры
Аннотация: Изложены методы и средства дискретной математики как инструментария при обработке информации в компьютерах. Книга состоит из трех частей: математические основы, математические модели и приложения, в которых представлены наиболее часто употребляемые в теоретической и прикладной информатике математические конструкции. Освещаются основные математические свойства той или иной теории вместе с данными, необходимыми для решения упражнений. Материал пособия построен на использовании аксиоматического метода и может служить основой для таких курсов как базы данных и базы знаний, теории сетей. Петри и транзиционных систем, методы оптимизации и обоснования алгоритмов и программ, системы искусственного интеллекта, компьютерная алгебра и геометрия.
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 62-50(075)/О-75
Автор(ы) : Галушкин А. И., Дегтярев Ю. И., Калинин Б. Н., Костюк Г. А.
Заглавие : Основы кибернетики : математические основы кибернетики: учеб. пособие
Выходные данные : М.: Изд-во "Высшая школа", 1974
Колич.характеристики :413 с.: ил., граф., табл.; 20 см
Примечания : Библиогр.: с. 405-406. - Гриф: допущено М-вом высш. и сред. спец. образования СССР в качестве учеб. пособия для студ. вузов, обуч. по спец. "Автоматизированные системы управления"
Цена : 0.88 р.
ГРНТИ : 28.01.33
УДК : 62-50(075)
Предметные рубрики: Кибернетика
Ключевые слова (''Своб.индексиров.''): теории множеств--элементы математической логики--теории графов--дифференциальные уравнения--математическое программирование--математическая статистика--комбинаторный анализ
Аннотация: В книге рассматриваются элементы теории множеств, теории графов, математической логики, комбинаторного анализа, теория случайных процессов, математической статистики. Значительное место отведено рассмотрению методов оптимизации.
Найти похожие

3.

Вид документа : Однотомное издание
Шифр издания : 51(075)/Ж 86
Автор(ы) : Жуков В. М.
Заглавие : Практические занятия по математике : теория, задания, ответы : учеб. пособие
Выходные данные : Ростов н/Д: Феникс, 2012
Колич.характеристики :343 с. ; 20 см
Серия: Высшее образование
Примечания : ФГОС 3 поколения
ISBN, Цена 978-5-222-17544-6: 320.00 р.
ГРНТИ : 27.01.33
УДК : 51(075.8)
ББК : 22.1
Предметные рубрики: Математика-- Высшая математика
Ключевые слова (''Своб.индексиров.''): линейная алгебра--векторная алгебра--аналитическая геометрия--математический анализ--интегралы--дифференциальные уравнения--ряды фурье--уравнения математической физики--дискретная математика--элементы математической статистики--теория вероятностей--случайные величины--элементы математической логики
Аннотация: Учебное пособие «Практические занятия по математике: теория, задания, ответы» выгодно отличается от аналогичных изданий тем, что весь учебно-методический материал разделен на параграфы, каждый из которых соответствует одной теме учебной программы по математике, предлагаемой к проработке на практическом занятии. Каждый параграф содержит: краткую теорию; формулы, используемые на данном практическом занятии; задачи для решения на практических занятиях расположены по возрастанию сложности и представляют интерес для студентов с различной математической подготовкой. Задачи для домашнего задания подобраны так, чтобы студент, выполняя его, мог закрепить и развить навыки, приобретенные на практическом занятии. Данное пособие содержит основные разделы дисциплины «Математика», которые полностью соответствуют содержанию учебной программы обучения математике согласно требованиям Государственного образовательного стандарта (ГОС) высшего профессионального образования для инженерных специальностей. Особенностью учебного пособия является его ориентация не только на студентов инженерных специальностей технических вузов, но и на преподавателей, ведущих практические занятия по математике.
Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : 51/Л 69
Автор(ы) : Айзерман М. А., Гусев Л. А., Розоноэр Л. И., Смирнова И. М.
Заглавие : Логика. Автоматы. Алгоритмы : научное издание
Выходные данные : М.: Гос. изд-во физико-мат. лит., 1963
Колич.характеристики :556 с.: ил.; 20 см
Примечания : Библиогр.: с. 536-549 (284 назв.)
Цена : 1.45 р.
ГРНТИ : 27.03
УДК : 510.6+621-52+681.17
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): элементы математической логики--конечные автоматы--алгоритмы--абстрактная теория автоматов--последовательностные машины
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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