Б 43 Белнап, Н. Логика вопросов и ответов [] : пер. с англ. Г. Е. Крейдлина / Н. Белнап, Т. Стил ; ред.: В. А. Смирнова, В. К. Финна. - М. : Прогресс, 1981. - Указ. имен: с.285-286 Биб. указ. с.157-206 Прилож. с.208-265 Л-ра с.266-267. Прмеч. редак. с. 268-284. - 1.20 р.
Рубрики: Логика Кл.слова (ненормовані): ассерторический язык -- ассорторичний язик -- субьекти -- субєкти -- спецификация требования -- специфікація вимоги -- аббреватура -- аббреватура -- типи вопросов -- типи питань -- составные вопросы -- складові питаня -- логические операции -- логічні операції -- квантификация -- квантифікація -- релятивизованные вопросы -- релятивізовані питаня -- эротическая семантика -- еротична семантика -- интеррогативы -- інтеррогативи Анотація: Современная логика изучает не только понятия, имеющие сугубо техническое значение и представляющие интерес лишь для логиков- професионалов. В настоящее время арсенал логических средств рассуждения используется и для изучения понятий, имеющих общенаучное (и дажеобщекультурное значение). Именно такими понятиями являются полнота и непротиворечивость систем аксиом, алгоритм,интерпритация, семантическая информация,парадокс.Книга специально посвященная проблемам логики вопросов и ответов (так называемой эротической логике). Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Стил, Т.; Смирнова, В. А. \ред.\; Финна, В. К. \ред.\ Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Г 61 Головчук, А. Ф. Інженерна та комп'ютерна графіка [] : навч. посібник / А. Ф. Головчук, О. І. Кепко, Н. М. Чумак. - К. : Центр учбов. л-ри, 2010. - 159, [1] с. : табл., креслення. эл. опт. диск (CD-ROM). - Дод.: с. - Л-ра: с. 159. - ISBN 978-966-364-0071-7 : 63.00 грн
Рубрики: Інженерна графіка--Комп'ютерна графіка--Навчальні видання Кл.слова (ненормовані): оформлення креслеників -- оформление черчения -- шрифти креслярські -- чертежные шрифты -- проекціювання -- проецирование -- зображення -- изображение -- аксонометрія -- аксонометрия -- метод Монжа -- графічні позначки матеріалів -- графические отметки материалов -- технічне креслення -- техническое черчение -- конструкторська документація -- конструкторская документация -- специфікація -- спецификация -- будівельне креслення -- строительное черчение Анотація: Графічні роботи, в яких в логічній послідовності детально описані дії, які необхідно викокувати на коп'ютері. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Кепко, О. І.; Чумак, Н. М. Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |
И75 Йордон, Эдвард. Структурные модели в объектно-ориентированном анализе и проектировании [] = Case Studies in Object-Orirnted Analysis and Design / Э. Йордон, К. Аргила ; [ред. В. Алеев ; пер. с англ. П. Быстрова]. - М. : Лори, 1999. - 264 [2] с. : рис., табл. - Библиогр. в конце глав. - Прил.: с. 159-264. - ISBN 5-85582-057-2 : 43.40 грн
Рубрики: Програмне забезпечення--Програмні інтерфейси--Проектування--Практичні посібники Кл.слова (ненормовані): поиск подходящих объектов -- пошук відповідних об'єктів -- хранение подходящих объектов -- зберігання відповідних об'єктів -- идентификация классов -- ідентифікація класів -- идентификация структуры -- ідентифікація структури -- идентификация субъектов -- ідентифікація суб'єктів -- идентификация атрибутов -- ідентифікація атрибутів -- идентификация отношений -- ідентифікація відносин -- непротиворечивость модели анализа -- несуперечливість моделі аналізу -- аналитические модели -- аналітичні моделі -- описание проблемы -- опис проблеми -- спецификация человеческого интерфейса -- специфікація людського інтерфейсу -- спецификация проекта баз данных -- специфікація проекту баз даних -- модели проектирования -- моделі проектування -- объектно-проектированные технологии -- об'єктно-проектувальні технології Анотація: Проекты двух структурных моделей доведены до такого уровня, на котором эти системы можно предложить программистам для реализации. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Аргила, Карл; Алеев, В. \ред.\; Быстров, П. \пер.\ Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |