Детальная информация
ЭБС
НГПУ
НГПУ
Краткий курс математической логики [Электронный ресурс] : учебно-методическое пособие / сост. И. А. Дудковская ; Новосиб. гос. пед. ун-т. - Новосибирск : НГПУ, 2011. - 81 с. : ил. - Библиогр.: с. 149-164. - URL: https://lib.nspu.ru/views/library/75795/read.php
(дата обращения: 21.11.2024)
.
Доступ | Наименование документа |
---|---|
А В | Полнотекстовый документ (читать) |
В данном пособии рассмотрен краткий лекционный материал по математической логике для студентов ФМиИ КФ ФГБОУ ВПО НГПУ, приведены задания для практических занятий, разобраны варианты контрольных работ и даны варианты для самостоятельного решения, также даны рекомендации по выполнению контрольных работ, по работе с тестирующим материалом. Основой для теоретического материала стало учебное пособие В.В. Селиванова, А.А. Урмана, А.Б. Хуторецкого «Краткий курс математической логики». Данное пособие содержит методические рекомендации по подготовке к экзамену и список рекомендуемой литературы. Данное пособие может быть использовано студентами педагогического вуза, а также всеми желающими освоить основы математической логики.
Логика высказываний
Логика предикатов
булевы функции
логика высказываний
логические операции
математическая логика
НГПУ
предикаты
труды преподавателей НГПУ
логика высказываний
логические операции
математическая логика
НГПУ
предикаты
труды преподавателей НГПУ
Пункт книговыдачи | Доступно (экз.) | Всего (экз.) |
---|---|---|
ЭБС НГПУ | 1 | 1 |