Вид документа : Однотомное издание Шифр издания : 16(075)/Н 53 Автор(ы) : Непейвода Н. Н. Заглавие : Прикладная логика : учеб. пособие Выходные данные : Ижевск: Изд-во Удмурт. ун-та, 1997 Колич.характеристики :385 с. ; 21см Коллективы : Удмурт. гос. ун-т (Ижевск) ISBN, Цена 570290074Х: 25.00 р. ГРНТИ : 02.21.01.33 УДК : 16(075.8) ББК : 87.4я73 Предметные рубрики: Философия-- Логика Ключевые слова (''Своб.индексиров.''): логика--прикладная логика--язык математики--логические формулы--математические понятия--классическая логика--семантика--семантические таблицы Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Вид документа : Однотомное издание Шифр издания : 679497 681.142.2/Н 53 Автор(ы) : Непейвода, Николай Николаевич, Скопин, Игорь Николаевич Заглавие : Основания программирования : научное издание Выходные данные : Москва; Ижевск: Изд. Ин-та компьютер. исслед., 2003 Колич.характеристики :851, [1] с Серия: Высшая информатика Примечания : Библиогр. ISBN (в пер.), Цена 5-93972-299-7: 120.00 р. УДК : 004.42 Предметные рубрики: вычислительная техника-- программирование Ключевые слова (''Своб.индексиров.''): программирование--программное обеспечение--жизненный цикл--информационные технологии--структуры данных Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Скопин, Игорь Николаевич |
Вид документа : Однотомное издание Шифр издания : 681.3/Г 85 Автор(ы) : Грис Д. Заглавие : Наука программирования : научное издание Выходные данные : М.: Мир, 1984 Колич.характеристики :416 с.: ил.; 21 см Цена : 1.90 р. ГРНТИ : 50.05 УДК : 681.3.06 Предметные рубрики: Вычислительная техника-- Программирование Ключевые слова (''Своб.индексиров.''): предикаты--тавтологии--эквивалентные преобразования--язык программирования--построение программ Аннотация: Представляет собой введение в науку программирования и отражает богатый опыт автора в научной и преподавательской работе. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Непейвода, Н. Н. Ершов, А.П. |