Головна
Авторизація
Прізвище
№ читательского билета
Наукова бібліотека Українського державного університету науки і технологій
Бази даних
Статті, доповіді, тези- результати пошуку
Вид пошуку
Каталог книг
Каталог книг НМетАУ (до 2022 року)
Періодичні видання (друковані)
Статті, доповіді, тези
Рідкісні та цінні видання
Охоронні документи
Мережеві ресурси
Зона пошуку
Ключевые слова
Автор
Назва
Рік видання
Знайдено у інших БД:
Каталог книг (2)
Формат представлення знайдених документів:
повний
інформаційний
короткий
Відсортувати знайдені документи за:
автором
назвою
роком видання
типом документа
Пошуковий запит:
<.>K=ДЕДУКЦИЯ<.>
Загальна кількість знайдених документів
:
3
Показані документи
с 1 за 3
>
1.
Терентьєва, Людмила
(доктор філософських наук; професор кафедри філософії природничих факультетів Одеського національного університету ім. І. І. Мечнікова).
Системна модель індукції та дедукції: співвіднесеність і подвійність / Л. Терентьєва> // Філософська думка : науково-теоретичний журнал. - 2011. -
№ 2
. - С. 40-54. - Библиогр. в конце ст. - В ОБЛ. БІБЛІОТЕЦІ
УДК
16
ББК
87.43 + 87.44
Рубрики:
Логіка
Дедукція, дедуктивна логіка, теорія дедуктивних умовиводів
Індукція, індуктивна логіка, індуктивні умовиводи
Логика
Дедукция
, дедуктивная логика, теория дедуктивных умозаключений
Индукция, индуктивная логика, индуктивные умозаключения
Кл.слова (ненормовані):
дедуктивна логіка
--
теорія дедуктивних умовиводів
--
дедуктивні умовиводи
--
індуктивна логіка
--
індуктивні умовиводи
--
індуктивні висновки
--
категорія співвіднесеного
--
метод подвійного системного моделювання
--
подвійне системне моделювання
--
параметрична загальна теорія систем
--
загальна теорія систем
--
категорія внутрішнього відношення
--
логічний квадрат
--
силогізм
--
дедуктивная логика
--
теория дедуктивных умозаключений
--
дедуктивные умозаключения
--
индуктивная логика
--
индуктивные умозаключения
--
индуктивные выводы
--
категория соотнесенного
--
метод двойного системного моделирования
--
двойное системное моделирование
--
параметрическая общая теория систем
--
общая теория систем
--
категория внутреннего отношения
--
логический квадрат
--
силлогизм
Анотація:
У дослідженні проблеми індуктивного висновку розглянуто можливості логіко-системної експлікації співвідношення дедуктивних та індуктивних аргументів, залишаючись у межах логіки, категорії Аристотеля "співвіднесене", метод подвійного системного моделювання, розроблений у параметричній загальній теорії систем А.Уйомова.
Дод.точки доступу:
Аристотель (древнегреческий философ ; 384-322 гг. до н. э.) \о нем\; Уйомов, А. (український філософ) \про нього\
Немає відомостей про примірники (Джерело у БД не знайдене)
Знайти схожі
>
2.
Федорченко, Ю.
(кандидат філософських наук;).
Структура доведення трансцендентальної дедукції категорій / Ю. Федорченко> // Філософська думка. - 2015. -
№ 2
. - С. 39-49. - Бібліогр. в кінці ст. - В ОБЛ. БІБЛІОТЕЦІ
УДК
1
ББК
87.5
Рубрики:
Філософія
Філософська антропологія
Философия
Философская антропология
Кл.слова (ненормовані):
трансцендентальна дедукція категорій
--
кантознавство
--
філософські дискусії
--
наукові статті
--
трансцендентальная
дедукция
категорий
--
кантоведение
--
философские дискуссии
--
научные статьи
Анотація:
Наведено дискусію щодо природи трансцендентальної дедукції категорій, і зокрема щодо структури доведення трансцендентальної дедукції категорій.
Перейти к внешнему ресурсу:
\\tower-2008\textlok\Адвокат\\Філософ_думка_2015_2\4.pdf
Дод.точки доступу:
Генрих, Дитер (філософ) \про нього\; Кант, І. (німецький філософ ; 1724-1804) \про нього\; Структура доведення Кантової трансцендентальної дедукції, стаття \о произв.\
Знайти схожі
>
3.
Лялецький, О. В.
В. М. Глушков і автоматизація пошуку доведень теорем в Україні: алгоритм очевидності та системи САД І SAD / О. В. Лялецький> // Математичні машини і системи : науковий журнал. - 2020. -
№ 4
. - С. 3-10. - Бібліогр. в кінці ст.
УДК
519.7:004.8
Рубрики:
Математична кібернетика
Математическая кибернетика
Інформаційні технології
Информационные технологии
Кл.слова (ненормовані):
В. М. Глушков
--
алгоритм очевидності
--
алгоритм очевидности
--
автоматизація пошуку доведень теорем
--
автоматизация поиска доказательств теорем
--
формальна природна мова
--
формальный естественный язык
--
секвенційний формалізм
--
секвенциальный формализм
--
резолюційний метод
--
резолюционный метод
--
дедукція
--
дедукция
Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)
Знайти схожі
повний формат
короткий формат
всі знайдені
відмічені
окрім відмічених
Стандартний
Розширений
Професійний
За словником
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)