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

Головна

Бази даних

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

Вид пошуку

Каталог книг

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

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

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

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

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

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

Зона пошуку

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

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

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

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

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

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

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

УДК

510.6

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

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

Знайти схожі

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

УДК

510.6

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

Знайти схожі

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

УДК

004.42:510.69

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

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

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

Знайти схожі

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

УДК

004.42:510.69

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

Дод.точки доступу:
Шашацька, О. В.

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

Знайти схожі

   06
   Л 89

Львівська політехніка
    Вавіленкова, А.
    Структура системи порівняльного аналізу електронних текстових документів за змістом / А. Вавіленкова // Вісник / Львів. політехн. - Львів : Львівська політехніка, 2017. - № 864: Комп`ютерні науки та інформаційні технології. - С. 277-285. - Бібліогр. в кінці ст.

УДК

510.635:004.891(045)

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

Дод.точки доступу:
Рашкевич, Ю. М. \ред.\; Львівська політехніка
Немає відомостей про примірники (Джерело у БД не знайдене)

Знайти схожі

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