Н30 Нарский, Игорь Сергеевич. Давид Юм [] / И. С. Нарский. - Москва : Мысль, 1973. - 190 с. : табл. - (Мыслители прошлого). - Прил.: с. 165-170. - Указ. имен: с. 171-173. - Лит.: с. 174-178. - 0.19 р. Рубрики: Філософи--Персоналії--Велика Британія, 18 ст.--Науково-популярні видання Кл.слова (ненормовані): біографії філософів -- биографии философов -- ассоциации -- асоціації -- абстракции -- абстракції -- религия -- релігія Анотація: Краткий очерк жизни и анализ воззрений видного английского философа ХVIII в. Д. Юма. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Юм, Девід (філософ ; 1711 - 1776) \про нього\ Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Б 68 Блецкан, Михаил Иванович. Диалектика формирования научных абстракций [] : [монография] / М. И. Блецкан. - Л. : Выща шк., 1989. - 180 с. - Примеч.: с. 151-177. - ISBN 5-11-000514-1 : 2.20 р. Рубрики: Матеріалістична філософія--Наукові видання Кл.слова (ненормовані): диалектический материализм -- діалектичний матеріалізм -- наукова творчість -- научное творчество -- наукова діяльність -- научная деятельность -- научные абстракции -- наукові абстракції -- логико-познавательный прием -- логіко-пізнавальний прийом -- научное познание -- наукове пізнання -- аппарат науки -- апарат науки -- принцип историзма -- принцип історизму -- культура -- экстраполяция -- екстраполяція -- интуиция -- інтуїція -- научно-техническая революция -- науково-технічна революція Анотація: На основе методологических принципов диалектического материализма анализируется природа, структура и функции научных абстракций, система логико-познавательных приёмов их формирования. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ФОНД (1) Свободны: ФОНД (1) |
> Шифр: junh/2013/11 Журнал 2013р. N 11 Петрушков, А. Изборск - город древний / А. Петрушков. - С.4-6 : фото.цв. Платонова, Н. Прерафаэлиты: викторианский авангард / Н. Платонова. - С.7-11 : цв.ил. Шульгин, А. Линия жизни Михаила Маторина / А. Шульгин. - С.26-27 : цв.ил. Сомов, Г. Символы и скрытые знаки в картине "Боярыня Морозова" / Г. Сомов. - С.28-31 : цв.ил. Иванов, Н. Иван Миляев - темпераментный и стремительный / Н. Иванов. - С.34-37 : цв.ил. Донская, О. О тайнах мастерства в линогравюре / О. Донская. - С.38-43 : ил. Загряжская, А. Лариса Белима. Абстракции / А. Загряжская. - С.44-45 : цв.ил. Трофимова, С. Натюрморт в пятновой черно-белой графике / С. Трофимова. - С.46-47 : ил. Є примірники у відділах: всього 1 : ФП (1) Вільні: ФП (1) |
Загряжская, А. Лариса Белима. Абстракции [] / А. Загряжская> // Юный художник : журн. по изобразительному искусству для детей и юношества. - 2013. - N 11. - С. 44-45 : цв.ил. . - ISSN 0205-5791 Рубрики: Художники російські, 20 - 21 ст. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Бєліма, Лариса Петрівна (1962) Є примірники у відділах: всього 1 : ФП (1) Вільні: ФП (1) |
Ф68 Фішман, Ізраіль Маркович. Методологічні питання шкільного курсу математики [] : посіб. для самоосвіти вчителів / І. М. Фішман ; за ред. О. І. Кедровського. - К. : Рад. шк., 1985. - 72 с. - Л-ра: с. 71-72. - 0.10 р.
Рубрики: Математика--Методика викладання--Загальноосвітні школи--Навчальні видання Кл.слова (ненормовані): посібники для вчителів математики -- пособия для учителей математики -- математика в школі -- математика в школе -- розвиток математики -- развитие математики -- математичні абстракції -- математические абстракции -- аксіоматичний метод -- аксиоматический метод -- диференціальне числення -- дифференциальное исчисление -- інтегральне числення -- интегральное исчисление -- математизація сучасної науки -- математизация современной науки Анотація: У посібнику розглядаються найважливіші світоглядні питання математики: її предмет і метод, проблеми обгрунтування, математичні абстракції і зв'язок їх з дійсністю, причини ефективності математичних методів, що застосовуються в різних галузях науки і техніки. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Кедровський, О. І. \ред.\ Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Л63 Лисков, Барбара. Использование абстракций и спецификаций при разработке программ [] = Abstraction and Specification in Program Development / Б. Лисков, Дж. Гатэг ; пер. с англ. : С. А. Жигалкина, С. А. Усова, Д. Б. Шехватова. - М. : Мир, 1989. - 424 с. : рис., табл. - Библиогр. в конце глав. - Прил.: с. 329-417. - Предм. указ.: с. 418-420. - ISBN 5-03-000489-0 : 2.20 р.
Рубрики: Програмування--Мови програмування--Програмне забезпечення--Наукові видання Кл.слова (ненормовані): язык программирования СLU -- мова програмування CLU -- процедурная абстракция -- процедурна абстракція -- абстракции данных -- абстракції даних -- исключительные ситуации -- виключні ситуації -- абстракция итерации -- абстракція інтерації -- язык Паскаль -- мова Паскаль -- спецификации -- специфікації -- тестирование -- тестування -- процесс верификации программ -- процес верифікації програм -- разработка программ -- розробка програм -- проектирование -- проектування Анотація: Способы создания специфических программ, повышающих эффективность разработки информационно-программного обеспечения. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Гатэг, Джон; Жигалкин, С. А. \пер.\; Усов, С. А. \пер.\; Шехватова, Д. Б. \пер.\ Примірників всього: 2 ВВ (1), ФОНД (1) Свободны: ВВ (1), ФОНД (1) |
М34 Математическая логика в программировании [] : пер. с англ. / под ред.: М. В. Захарьящева, Ю. И. Янова. - Москва : Мир, 1991. - 408 с. : рис. - (Математическое обеспечение ЭВМ). - Лит.: с. 395-407. - ISBN 5-03-001635-X : 7.00 крб
Рубрики: Програмування--Математична логіка--Теорія--Практика--Наукові видання Кл.слова (ненормовані): функциональные программы -- функціональні програми -- мышление функционального уровня -- мислення функціонального рівня -- линейные уравнения -- лінійні рівняння -- денотационная семантика -- денотаційна семантика -- неразделенные лямбда-абстракции -- нерозділені лямбда-абстракції -- комбинаторы -- комбінатори -- суперкомбинаторы -- суперкомбінатори -- логический анализ модулей -- логічний аналіз модулей -- описания вычислений -- опис обчислень Анотація: Результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Захарьящев, М. В. \ред.\; Янов, Ю. И. \ред.\ Примірників всього: 2 ВВ (1), ФОНД (1) Свободны: ВВ (1), ФОНД (1) |