Наукова бібліотека Українського державного університету науки і технологій

Головна

Бази даних

Статті, доповіді, тези- результати пошуку

Вид пошуку

Каталог книг

Каталог книг НМетАУ (до 2022 року)

Періодичні видання (друковані)

Статті, доповіді, тези

Рідкісні та цінні видання

Охоронні документи

Мережеві ресурси

Зона пошуку

Знайдено у інших БД:

Каталог книг (11)

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

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

Пошуковий запит: <.>K=математическая логика<.>

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

Бирюков, Б. В.
Из истории становления логико-математического конструктивизма [Текст] / Б.В. Бирюков, З.А. Кузичева // Вопросы философии. - 2004. - №12. - С. 89-102

УДК

510.6:1

510.21

ББК Ю25
Рубрики: ФИЛОСОФИЯ--НАУКА--МАТЕМАТИКА
Кл.слова (ненормовані):
ФИЛОСОФИЯ НАУКИ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА

Дод.точки доступу:
Кузичева, З.А.
Є примірники у відділах: всього 1 : ЧЗНЛ (1)
Вільні: ЧЗНЛ (1)

Знайти схожі

Кузьменко, В. В. (доцент Национальной металлургической академии Украины; кандидат философских наук).
Философская рефлексия оснований аксиоматизированной теории вероятностей А. Н. Колмогорова / В. В. Кузьменко // Грані : Науково-теоретичний і громадсько-політичний альманах. - 2010. - № 6. - С. 55-59. - Бібліографія: С. 59 : 10 назв. - В ОБЛ. БИБЛИОТЕКЕ

УДК

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

Дод.точки доступу:
Декарт, Рене (французский философ ; 1596-1650) \о нем\; Кант, Иммануил (немецкий философ ; 1724-1804) \о нем\; Колмогоров, А. Н. (математик) \о нем\

Знайти схожі

Литвин, О. М.
Про один метод побудови точних розв’язків крайової задачі для диференціального рівняння еліптичного типу в областях складної форми / О. М. Литвин // Доповіді Національної академії наук України. - 2011. - № 7. - С. 37-41 : ил. - Библиогр. в конце ст. - В ОБЛ. БИБЛИОТЕКЕ . - ISSN 1025-6415

УДК

510.6

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

Дод.точки доступу:
Лобанова, Л. С.
Немає відомостей про примірники (Джерело у БД не знайдене)

Знайти схожі

Целищев, В. В.
Логика и философия (записки семядесятнка) / В. В. Целищев // Вопросы философии. - 2012. - № 5. - С. 124-133 . - ISSN 0042-8744

УДК

Рубрики: Философия
Філософія
Кл.слова (ненормовані):
аналитическая философия -- аналітична філософія -- философская логика -- філософська логіка -- математическая логика -- математична логіка -- модальная логика -- модальна логіка

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

Знайти схожі

Волков, А. А.
Системотехника численных представлений качественных параметров среды жизнедеятельности: рекурсивное погружение на уровни детализации объекта / А. А. Волков, Н. Н. Воднев // Промышленное и гражданское стр-во. - 2013. - № 7. - С. 29-32. - Библиогр. в конце ст.

УДК

69:519.71:004.8

Рубрики: Строительство
   Будівництво
   Системотехника
   Системотехніка
Кл.слова (ненормовані):
строительство -- будівництво -- системотехника -- системотехніка -- интеллект зданий -- інтелект будівель -- коэффициент интеллекта зданий -- коефіцієнт інтелекту будівель -- гомеостат зданий -- гомеостат будівель -- управление зданием -- управління будівлею -- абстрактная кибернетика -- абстрактна кібернетика -- теория множеств -- теорія множин -- системный анализ -- системний аналіз -- функциональный анализ -- функціональний аналіз -- математическая логика -- математична логіка -- рекурсивное погружение -- рекурсивне занурення -- качественные параметры жизнедеятельности -- якісні параметри життєдіяльності

Дод.точки доступу:
Воднев, Н. Н.

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

Знайти схожі

Волков, А. А.
Системотехника численных представлений качественных параметров среды жизнедеятельности: процедура рекурсивного погружения на уровни детализации объекта (общая математика и логика) / А. А. Волков, Н. Н. Воднев // Промышленное и гражданское стр-во. - 2013. - № 9. - С. 6-8. - Библиогр. в конце ст.

УДК

69:519.71:004.8

Рубрики: Строительство
Будівництво
Кл.слова (ненормовані):
системотехника -- системотехніка -- интеллект зданий -- інтелект будівель -- коэффициент интеллекта зданий -- коефіцієнт інтелекту будівель -- гомеостат зданий -- гомеостат будівель -- управление зданием -- управління будівлею -- абстрактная кибернетика -- абстрактна кібернетика -- теория множеств -- теорія множин -- системный анализ -- системний аналіз -- функциональный анализ -- функціональний аналіз -- математическая логика -- математична логіка -- рекурсивное погружение -- рекурсивне занурення -- проектирование -- проектування -- качественные параметры -- якісні параметри -- строительство -- будівництво

Дод.точки доступу:
Воднев, Н. Н.

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

Знайти схожі

Пынько, А. П.
Минимизация КНФ частично-монотонных булевых функций / А. П. Пынько // Доповіді Національної Академії наук України : Науково-теоретичний журнал. - 2017. - № 3. - С. 18-21 : ил. - Библиогр. в конце ст. - В ОБЛ. БИБЛИОТЕКЕ . - ISSN 1025-6415

УДК

510.6

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

Знайти схожі

Шкільняк, О. С.
Відношення логічного наслідку в логіках монотонних предикатів та логіках антитонних предикатів / О. С. Шкільняк // Проблеми програмування : науковий журнал. - 2017. - № 1. - С. 21-29. - Бібліогр. в кінці ст.

УДК

004.42:510.69

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

Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)

Знайти схожі

Нікітченко, М. С.
Чисті першопорядкові квазіарні логіки з предикатами рівності / М. С. Нікітченко, С. С. Шкільняк // Проблеми програмування : науковий журнал. - 2017. - № 2. - С. 3-23. - Бібліогр. в кінці ст.

УДК

004.42:510.69

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

Дод.точки доступу:
Шкільняк, С. С.

Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)

Знайти схожі

10.

Нікітченко, М. С.
Алгебри загальних недетермінованих предикатів / М. С. Нікітченко, О. С. Шкільня, С. С. Шкільняк // Проблеми програмування : науковий журнал. - 2018. - № 1. - С. 5-21 : табл. - Бібліогр. в кінці ст.

УДК

004.42:510.69

Рубрики: Програмування
   Программирование
   Математична логіка
   Математическая логика
Кл.слова (ненормовані):
математична логіка -- математическая логика -- логічний наслідок -- логическое следствие -- недетермінований предикат -- недетерминированный предикат -- неоднозначні предикати -- неоднозначные предикаты

Дод.точки доступу:
Шкільня, О. С.; Шкільняк, С. С.

Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)

Знайти схожі

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