16 Н53 Непейвода, Николай Николаевич. Прикладная логика [Текст] : учебное пособие / Н. Н. Непейвода. - Ижевск : Изд-во Удмуртского ун-та, 1997. - 385 с. - ISBN 5-7029-0074-X : 21.00 р., 20.00 р.
Рубрики: Логика Кл.слова (ненормированные): математика -- интерпретация -- предикат -- логические формулы -- истинность -- таблица -- квантора -- равенство -- отрицание -- множество -- кортеж -- отношения -- функции -- фактор -- диаграмма -- слово -- классическая логика -- индукция -- язык Аннотация: Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня. Держатели документа: НБ СГАП Доп.точки доступа: Тарский \о нем\; Гедель \о нем\; Прутков, К. \о нем\ Экземпляры всего: 3 ч/з1 (2), н/а (1) Свободны: ч/з1 (2), н/а (1) |