Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


ЭБС IPRBooks- результаты поиска

Вид поиска
Электронный каталог
Картотека журнальных статей
Систематический имидж-каталог
Авторефераты диссертаций
Учебники и учебно-методические пособия СПХФУ
ЭБС IPRBooks
ЭБС Консультант студента
ЭБС Юрайт
Диссертации, защищенные в СПХФУ
Журнальный фонд СПХФУ
Библиотечный фонд техникума
ВКР
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=математическая логика<.>)
Общее количество найденных документов : 53
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-53 
1.

Вид документа : Однотомное издание
Шифр издания : 10772
Автор(ы) : Балюкевич Э. Л., Ковалева Л. Ф.
Заглавие : Математическая логика и теория алгоритмов : Учебное пособие
Выходные данные : Москва: Евразийский открытый институт, 2009
Колич.характеристики :188 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-374-00220-1: Б.ц.
УДК : 519.1
ББК : 22.176
Ключевые слова (''Своб.индексиров.''): математическая логика--математический аппарат--теория алгоритмов--учебное пособие
Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов.
(для доступа требуется авторизация)

Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 1
Автор(ы) : Гетманова А. Д.
Заглавие : Классическая и неклассические логики — необходимый компонент науки и современного образования : Научно-методическое пособие для аспирантов всех специальностей
Выходные данные : Москва: Московский городской педагогический университет, 2010
Колич.характеристики :96 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 1
ББК : 87.4
Ключевые слова (''Своб.индексиров.''): классическая логика--математическая логика--неклассическая логика--умозаключение
Аннотация: В пособии для аспирантов, сдающих кандидатский экзамен по философии и истории науки, изложены основные идеи и результаты классической, традиционной или «аристотелевой» логики. Значительное внимание автор уделяет изложению основ математической логики как классической двузначной логики, так и неклассическим логикам: интуиционистской, многозначным, конструктивным, а также предлагает собственные варианты бесконечнозначных логик. Материал этого раздела будет полезен преподавателям математики, информатики, программистам и специалистам в области других наук. В конце текста в Приложении I даны задачи и их решение (по многим темам классической логики).
(для доступа требуется авторизация)

Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 10660
Автор(ы) : Ковалёва Л. Ф.
Заглавие : Дискретная математика в задачах : Учебное пособие
Выходные данные : Москва: Евразийский открытый институт, 2011
Колич.характеристики :142 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-374-00514-1: Б.ц.
УДК : 218
ББК : 22.176
Ключевые слова (''Своб.индексиров.''): дискретная математика в задачах--логика предикатов--математика--математическая логика--множества--теория графов--учебное пособие
Аннотация: Данная работа содержит сведения по трем разделам курса «Дискретная математика» – множества, математическая логика, графы, составлена в соответствии с программой курса и представляет собой сборник задач, значительная часть которых носит экономический характер. Каждый раздел содержит разбор типовых задач, ссылки на используемую автором литературу. Задачи снабжены ответами. Работа предназначена для освоения прикладных методов математики в экономике студентами экономических специальностей как дневной, так и заочной формы обучения.
(для доступа требуется авторизация)

Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 64571
Автор(ы) : Чернышов В. Н., Чернышов А. В.
Заглавие : Системный анализ и моделирование при разработке экспертных систем : Учебное пособие
Выходные данные : Тамбов: Тамбовский государственный технический университет, ЭБС АСВ, 2012
Колич.характеристики :128 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 303.732
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): алгоритм декомпозиции--генерирование альтернатив--графический метод--математическая логика--моделирование--синектика--системный анализ--содержательная модель--человеко-машинная система--экспертная система
Аннотация: Рассматриваются основные понятия и определения системного анализа, определено его место среди других научных направлений и учебных дисциплин. Особое место занимают вопросы, связанные с моделированием в системном анализе, определением понятия модели и моделирования, подробно рассмотрены виды моделей и уровни моделирования, а также целевое назначение моделей. В работе изложены основные процедуры системного анализа, подробно описаны его неформализованные этапы. Большое внимание в работе уделено методам выбора при принятии решений в условиях неопределенности, подробно рассмотрены вопросы целей системного анализа и генерирования альтернатив при решении системных задач. Предназначено в качестве учебного пособия для магистрантов магистерских программ 230700.01 «Прикладная информатика в юриспруденции» и 230400.02 «Управление данными».
(для доступа требуется авторизация)

Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 8091
Автор(ы) : Жоль К. К.
Заглавие : Логика : Учебное пособие для вузов
Выходные данные : Москва: ЮНИТИ-ДАНА, 2012
Колич.характеристики :400 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 5-238-00664-0: Б.ц.
УДК : 16(075.8)
ББК : 87.4я73
Ключевые слова (''Своб.индексиров.''): классическая логика--логика--логическая семантика--логическое исследование--логическое программирование--математическая логика--символическая логика--учебное пособие
Аннотация: Дается изложение важнейших понятий, идей и методов современной символической логики, являющейся расширением математической логики. В общедоступной форме объясняются смысл и предметная направленность логических исследований, их связь с философией, кибернетикой и другими науками. Впервые в одной книге, имеющей характер учебного пособия, рассчитанного не только на студентов первых курсов вузов и колледжей и старшеклассников, а также всех, кто серьезно интересуется логикой и хочет иметь ясные представления о ней, излагаются не только основы классической логики, но и описываются неклассические логики, в отдельной главе дается характеристика логической семантики и демонстрируется практическая ценность логики для решения проблем, связанных с логическим программированием компьютеров.
(для доступа требуется авторизация)

Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 15974
Автор(ы) : Важдаев В. П., Важдаев В. П., Коган М. М., Лиогонький М. И., Протасова Л. А.
Заглавие : 64 лекции по математике. Книга 2 (лекции 40-64): Учебник. 64 лекции по математике. Книга 2 (лекции 40-64)
Выходные данные : : Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ Б.м., 2012
Колич.характеристики :199 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 5-211-02065-0: Б.ц.
УДК : 51
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): математика--учебное пособие--теория дифференциальных уравнений--криволинейный интеграл--теория рядов--теория множеств--теория графов--математическая логика
Аннотация: Лекции по математике в двух книгах написаны преподавателями кафедры математики Нижегородского государственного архитектурно-строительного университета для студентов различных «нематематических» специальностей: будущих инженеров-строителей, экологов, экономистов и других. Вторая книга включает в себя основные понятия теории дифференциальных уравнений, кратные и криволинейные интегралы, теорию рядов, а также элементы теории множеств, теории графов и математической логики.
(для доступа требуется авторизация)

Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 16957
Автор(ы) : Грес П. В.
Заглавие : Математика для бакалавров. Универсальный курс для студентов гуманитарных направлений : Учебное пособие
Выходные данные : Москва: Логос, 2013
Колич.характеристики :288 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-98704-751-4: Б.ц.
УДК : 51
ББК : 22.11
Ключевые слова (''Своб.индексиров.''): дискретная математика--математическая логика--математический метод--теория вероятностей--теория множеств
Аннотация: Содержит краткий курс математики. Рассмотрены предмет математики, ее методологические проблемы и принципы, а также элементы теории множеств, дискретной математики и математической логики. Представлены важнейшие разделы математического анализа. Изложены математические методы, используемые в рамках теории вероятностей, математической статистики, математического моделирования и принятия решений. Приведены основные определения и методы, примеры решения типовых задач, задания для самостоятельной работы. В отличие от предыдущих изданий представлены разделы по линейной и векторной алгебре, аналитической геометрии, а также глубже рассмотрены вопросы теории вероятностей и математической статистики. В учебном пособии нашел отражение опыт преподавания математики на гуманитарных специальностях вузов Новосибирска. Изложение материала адаптировано для обучения бакалавров. Для студентов высших учебных заведений, обучающихся по направлениям и специальностям «Философия», «Психология», «Социология», «Юриспруденция», «Политология», «Социальная работа» и др.
(для доступа требуется авторизация)

Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 55105
Автор(ы) : Ткаченко С. В., Сысоев А. С.
Заглавие : Математическая логика : Учебное пособие
Выходные данные : Липецк: Липецкий государственный технический университет, ЭБС АСВ, 2013
Колич.характеристики :99 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-88247-649-5: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): дискретная математика--логика--математика--математическая логика--теория графов
Аннотация: Пособие является одной из частей системы учебных пособий по дискретной математике. Рассматриваются основные разделы дисциплины «Теория графов и математическая логика», в частности математическая логика. Данное пособие может быть рекомендовано студентам направлений 231300.62 «Прикладная математика», 221400.62 «Управление качеством», 221700.62 «Стандартизация и метрология», а также преподавателям, которые преподают математическую логику студентам всех направлений.
(для доступа требуется авторизация)

Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 16494
Автор(ы) : Крайзель Г.
Заглавие : Биография Курта Геделя
Выходные данные : Москва, Ижевск: Регулярная и хаотическая динамика, Ижевский институт компьютерных исследований, 2013
Колич.характеристики :144 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 5-93972-213-X: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): биография курта гёделя--математика--математическая логика--теорема о неполноте--элементарная логика
Аннотация: Имя выдающегося математика К. Геделя широко известно не только математикам прежде всего благодаря его знаменитой «теореме о неполноте». Биография Геделя, написанная известным логиком Крайзелем, содержит не только достаточно доступное изложение результатов Геделя в математической логике, но и раскрывает их философские истоки и смысл. Эта книга — единственная опубликованная на русском языке биография одного из самых знаменитых ученых двадцатого века. Книга будет интересна не только специалистам по математике, философии и методологии науки, но и самому широкому кругу читателей.
(для доступа требуется авторизация)

Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 45037
Автор(ы) : Забуга А. А.
Заглавие : Теоретические основы информатики : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2013
Колич.характеристики :168 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-2312-7: Б.ц.
УДК : 004
ББК : 32.81
Ключевые слова (''Своб.индексиров.''): алгоритм--информатика--информационная система--математическая логика--машина тьюринга--мера информации--теоретические основы
Аннотация: В учебном пособии рассматриваются такие разделы классической математики, как комбинаторика, теория вероятностей, математическая логика, дискретная математика, а также ряд технических вопросов реализации информационных систем, ставшие предпосылками к появлению информатики как отдельной самостоятельной дисциплины. В главах, посвященных математическим и алгоритмическим аспектам организации вычислительных процессов, даны примеры задач и их решения. Издание предназначено для студентов-бакалавров, обучающихся по направлениям 080500 «Бизнес-информатика» и 230700 «Прикладная информатика», а также для всех, кто интересуется математическими и теоретическими основами информатики. Приведены поясняющие иллюстрации, поэтому оно может быть предложено и неподготовленному читателю.
(для доступа требуется авторизация)

Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-53 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 01.07.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)