Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=абстракції<.>

Загальна кількість знайдених документів : 6
Показані документи с 1 за 6

87.3
Н30

Нарский, Игорь Сергеевич.
Давид Юм [] / И. С. Нарский. - Москва : Мысль, 1973. - 190 с. : табл. - (Мыслители прошлого). - Прил.: с. 165-170. - Указ. имен: с. 171-173. - Лит.: с. 174-178. - 0.19 р.

ББК 87.3
Рубрики: Філософи--Персоналії--Велика Британія, 18 ст.--Науково-популярні видання
Кл.слова (ненормовані):
біографії філософів -- биографии философов -- ассоциации -- асоціації -- абстракции -- абстракції -- религия -- релігія
Анотація: Краткий очерк жизни и анализ воззрений видного английского философа ХVIII в. Д. Юма.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Юм, Девід (філософ ; 1711 - 1776) \про нього\
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

15.13
Б 68

Блецкан, Михаил Иванович.
Диалектика формирования научных абстракций [] : [монография] / М. И. Блецкан. - Л. : Выща шк., 1989. - 180 с. - Примеч.: с. 151-177. - ISBN 5-11-000514-1 : 2.20 р.

ББК 15.13
Рубрики: Матеріалістична філософія--Наукові видання
Кл.слова (ненормовані):
диалектический материализм -- діалектичний матеріалізм -- наукова творчість -- научное творчество -- наукова діяльність -- научная деятельность -- научные абстракции -- наукові абстракції -- логико-познавательный прием -- логіко-пізнавальний прийом -- научное познание -- наукове пізнання -- аппарат науки -- апарат науки -- принцип историзма -- принцип історизму -- культура -- экстраполяция -- екстраполяція -- интуиция -- інтуїція -- научно-техническая революция -- науково-технічна революція
Анотація: На основе методологических принципов диалектического материализма анализируется природа, структура и функции научных абстракций, система логико-познавательных приёмов их формирования.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ФОНД (1)
Свободны: ФОНД (1)
Знайти схожі

373.5.016:51
Ф68

Фішман, Ізраіль Маркович.
Методологічні питання шкільного курсу математики [] : посіб. для самоосвіти вчителів / І. М. Фішман ; за ред. О. І. Кедровського. - К. : Рад. шк., 1985. - 72 с. - Л-ра: с. 71-72. - 0.10 р.

УДК

373.5.016:51

ББК 74.262.21
Рубрики: Математика--Методика викладання--Загальноосвітні школи--Навчальні видання

Кл.слова (ненормовані):
посібники для вчителів математики -- пособия для учителей математики -- математика в школі -- математика в школе -- розвиток математики -- развитие математики -- математичні абстракції -- математические абстракции -- аксіоматичний метод -- аксиоматический метод -- диференціальне числення -- дифференциальное исчисление -- інтегральне числення -- интегральное исчисление -- математизація сучасної науки -- математизация современной науки
Анотація: У посібнику розглядаються найважливіші світоглядні питання математики: її предмет і метод, проблеми обгрунтування, математичні абстракції і зв'язок їх з дійсністю, причини ефективності математичних методів, що застосовуються в різних галузях науки і техніки.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Кедровський, О. І. \ред.\
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

004.415
Л63

Лисков, Барбара.
Использование абстракций и спецификаций при разработке программ [] = Abstraction and Specification in Program Development / Б. Лисков, Дж. Гатэг ; пер. с англ. : С. А. Жигалкина, С. А. Усова, Д. Б. Шехватова. - М. : Мир, 1989. - 424 с. : рис., табл. - Библиогр. в конце глав. - Прил.: с. 329-417. - Предм. указ.: с. 418-420. - ISBN 5-03-000489-0 : 2.20 р.

УДК

004.415

ББК 32.973.2-018
Рубрики: Програмування--Мови програмування--Програмне забезпечення--Наукові видання

Кл.слова (ненормовані):
язык программирования СLU -- мова програмування CLU -- процедурная абстракция -- процедурна абстракція -- абстракции данных -- абстракції даних -- исключительные ситуации -- виключні ситуації -- абстракция итерации -- абстракція інтерації -- язык Паскаль -- мова Паскаль -- спецификации -- специфікації -- тестирование -- тестування -- процесс верификации программ -- процес верифікації програм -- разработка программ -- розробка програм -- проектирование -- проектування
Анотація: Способы создания специфических программ, повышающих эффективность разработки информационно-программного обеспечения.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Гатэг, Джон; Жигалкин, С. А. \пер.\; Усов, С. А. \пер.\; Шехватова, Д. Б. \пер.\
Примірників всього: 2
ВВ (1), ФОНД (1)
Свободны: ВВ (1), ФОНД (1)
Знайти схожі

510.6:004.41
М34

Математическая логика в программировании [] : пер. с англ. / под ред.: М. В. Захарьящева, Ю. И. Янова. - Москва : Мир, 1991. - 408 с. : рис. - (Математическое обеспечение ЭВМ). - Лит.: с. 395-407. - ISBN 5-03-001635-X : 7.00 крб

УДК

510.6:004.41

ББК 32.973.2-018
Рубрики: Програмування--Математична логіка--Теорія--Практика--Наукові видання

Кл.слова (ненормовані):
функциональные программы -- функціональні програми -- мышление функционального уровня -- мислення функціонального рівня -- линейные уравнения -- лінійні рівняння -- денотационная семантика -- денотаційна семантика -- неразделенные лямбда-абстракции -- нерозділені лямбда-абстракції -- комбинаторы -- комбінатори -- суперкомбинаторы -- суперкомбінатори -- логический анализ модулей -- логічний аналіз модулей -- описания вычислений -- опис обчислень
Анотація: Результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Захарьящев, М. В. \ред.\; Янов, Ю. И. \ред.\
Примірників всього: 2
ВВ (1), ФОНД (1)
Свободны: ВВ (1), ФОНД (1)
Знайти схожі

Павлик, В. П.
Систематизація методів у інформаційному забезпеченні управління підприємствами [] / В. П. Павлик // Економіка АПК. - 2020. - N 1. - С. 95-100 : рис. - Бібліогр. в кінці ст.
Рубрики: Сільськогосподарські підприємства--Інформаційне забезпечення--Управління
Кл.слова (ненормовані):
метод абстракції -- монографічний метод -- метод синтезу

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Є примірники у відділах: всього 1 : ВВ (1)
Вільні: ВВ (1)

Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)