Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: 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

IPRBooks-10772

10772

Балюкевич, Э. Л.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Балюкевич Э. Л. - Москва : Евразийский открытый институт, 2009. - 188 с. - ISBN 978-5-374-00220-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

519.1

ББК 22.176

Кл.слова (ненормированные):
математическая логика -- математический аппарат -- теория алгоритмов -- учебное пособие
Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов.

(для доступа требуется авторизация)

Доп.точки доступа:
Ковалева, Л. Ф.
Свободных экз. нет
Найти похожие

IPRBooks-26501

26501

Гетманова, А. Д.
Классическая и неклассические логики — необходимый компонент науки и современного образования [Электронный ресурс] : научно-методическое пособие для аспирантов всех специальностей / Гетманова А. Д. - Москва : Московский городской педагогический университет, 2010. - 96 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 87.4

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-10660

10660

Ковалёва, Л. Ф.
Дискретная математика в задачах [Электронный ресурс] : учебное пособие / Ковалёва Л. Ф. - Москва : Евразийский открытый институт, 2011. - 142 с. - ISBN 978-5-374-00514-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

218

ББК 22.176

Кл.слова (ненормированные):
дискретная математика в задачах -- логика предикатов -- математика -- математическая логика -- множества -- теория графов -- учебное пособие
Аннотация: Данная работа содержит сведения по трем разделам курса «Дискретная математика» – множества, математическая логика, графы, составлена в соответствии с программой курса и представляет собой сборник задач, значительная часть которых носит экономический характер. Каждый раздел содержит разбор типовых задач, ссылки на используемую автором литературу. Задачи снабжены ответами. Работа предназначена для освоения прикладных методов математики в экономике студентами экономических специальностей как дневной, так и заочной формы обучения.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-64571

64571

Чернышов, В. Н.
Системный анализ и моделирование при разработке экспертных систем [Электронный ресурс] : учебное пособие / Чернышов В. Н. - Тамбов : Тамбовский государственный технический университет, ЭБС АСВ, 2012. - 128 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

303.732

ББК 32.97

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

(для доступа требуется авторизация)

Доп.точки доступа:
Чернышов, А. В.
Свободных экз. нет
Найти похожие

IPRBooks-8091

8091

Жоль, К. К.
Логика [Электронный ресурс] : учебное пособие для вузов / Жоль К. К. - Москва : ЮНИТИ-ДАНА, 2012. - 400 с. - ISBN 5-238-00664-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

16(075.8)

ББК 87.4я73

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

(для доступа требуется авторизация)

Доп.точки доступа:
Конферский, А. Е. \ред.\
Свободных экз. нет
Найти похожие

IPRBooks-15974

15974

64 лекции по математике. Книга 2 (лекции 40-64) [Электронный ресурс] : учебник. - [Б. м.] : Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ, 2012 - .64 лекции по математике. Книга 2 (лекции 40-64) / Важдаев В. П. - 2012. - 199 с. - ISBN 5-211-02065-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 22.1

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

(для доступа требуется авторизация)

Доп.точки доступа:
Коган, М. М.; Лиогонький, М. И.; Протасова, Л. А.
Свободных экз. нет
Найти похожие

IPRBooks-16957

16957

Грес, П. В.
Математика для бакалавров. Универсальный курс для студентов гуманитарных направлений [Электронный ресурс] : учебное пособие / Грес П. В. - Москва : Логос, 2013. - 288 с. - ISBN 978-5-98704-751-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 22.11

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-55105

55105

Ткаченко, С. В.
Математическая логика [Электронный ресурс] : учебное пособие / Ткаченко С. В. - Липецк : Липецкий государственный технический университет, ЭБС АСВ, 2013. - 99 с. - ISBN 978-5-88247-649-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

517

ББК 22.1

Кл.слова (ненормированные):
дискретная математика -- логика -- математика -- математическая логика -- теория графов
Аннотация: Пособие является одной из частей системы учебных пособий по дискретной математике. Рассматриваются основные разделы дисциплины «Теория графов и математическая логика», в частности математическая логика. Данное пособие может быть рекомендовано студентам направлений 231300.62 «Прикладная математика», 221400.62 «Управление качеством», 221700.62 «Стандартизация и метрология», а также преподавателям, которые преподают математическую логику студентам всех направлений.

(для доступа требуется авторизация)

Доп.точки доступа:
Сысоев, А. С.
Свободных экз. нет
Найти похожие

IPRBooks-16494

16494

Крайзель, Г.
Биография Курта Геделя [Электронный ресурс] / Крайзель Г. - Москва, Ижевск : Регулярная и хаотическая динамика, Ижевский институт компьютерных исследований, 2013. - 144 с. - ISBN 5-93972-213-X : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

517

ББК 22.1

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

(для доступа требуется авторизация)

Доп.точки доступа:
Минц, Г. Е. \пер.\; Скворцов, Д. П. \пер.\
Свободных экз. нет
Найти похожие

10.

IPRBooks-45037

45037

Забуга, А. А.
Теоретические основы информатики [Электронный ресурс] : учебное пособие / Забуга А. А. - Новосибирск : Новосибирский государственный технический университет, 2013. - 168 с. - ISBN 978-5-7782-2312-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.81

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

1-10 11-20 21-30 31-40 41-50 51-53

Тематический навигатор

Статистика обращений

Статистика за 26.06.2024
Число запросов	0
Число посетителей	0
Число заказов	0

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