Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:Книги фонда НБ СГЮА (1)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логика предикатов<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Задорин, Вячеслав Владимирович (кандидат философских наук)
Заглавие : Доказательство методом аналитических таблиц "слабых" модусов аристотелевской силлогистики
Серия: Научные сообщения
Место публикации : Вестник Волгоградского государственного университета. Сер. 7, Философия. Социология и социальные технологии. - 2011. - N 1 (13). - С.76-79. - ISSN 1998-9946 (Шифр vgu7/2011/1). - ISSN 1998-9946
Примечания : Библиогр.: с. 79 (5 назв. )
УДК : 16
ББК : 87.4
Предметные рубрики: Логика
Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): силлогистика--силлогизм--метод аналитических таблиц--аналитические таблицы--доказательства--аристотелевская силлогистика--логика предикатов--простой категорический силлогизм--простое категорическое высказывание--модусы--высказывания (логика)--логики
Аннотация: Утверждается, что однокванторная запись простых категорических высказываний позволяет методом аналитических таблиц доказать правильность всех 24 модусов простого категорического силлогизма аристотелевской силлогистики, что является новым для логических исследований.
Найти похожие

2.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Ковкель Н. Ф. (кандидат юридических наук; доцент)
Заглавие : Логическая структура нормативных правовых предписаний законодательства
Серия: Экология, экономика и право
Место публикации : Вестник Белорусского государственного экономического университета. - 2013. - № 2. - С.59-66. - ISSN 1026-3578 (Шифр vbeu/2013/2). - ISSN 1026-3578
Примечания : Библиогр.: с. 65-66 (14 назв. )
УДК : 340.1 + 16
ББК : 67.0 + 87.42
Предметные рубрики: Право
Общая теория права
Логика
Логические формы и законы --Беларусь
Ключевые слова (''Своб.индексиров.''): белорусское законодательство--деонтическая логика--законодательство--логика высказываний--логика предикатов--логическая структура--логическая теория взаимодействия--нормативные правовые предписания--структура правовых предписаний--человеческое взаимодействие
Аннотация: В статье посредством использования аппаратов логики высказываний, логики предикатов, деонтической логики и логической теории человеческого взаимодействия определяются структуры нормативных правовых предписаний белорусского законодательства.
Найти похожие

3.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Задорин, Вячеслав Владимирович (кандидат философских наук; доцент)
Заглавие : Некоторые принципы и особенности правил вывода в однокванторной силлогистике
Серия: Философия
Место публикации : Вестник Волгоградского государственного университета. Сер. 7, Философия. Социология и социальные технологии. - 2013. - № 2 (20). - С.62-66. - ISSN 1998-9946 (Шифр vgu7/2013/2). - ISSN 1998-9946
Примечания : Библиогр.: с. 66 (10 назв. )
УДК : 16
ББК : 87.4
Предметные рубрики: Логика
Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): логика предикатов--логические теории--однокванторная силлогистика--одноместные предикаты--принцип исключенного третьего--принцип непротиворечия--принцип тождества--принципы логики--силлогистика--силлогистическая теория--универсальная логика
Аннотация: Рассматриваются принципы, лежащие в основании универсальной логики одноместных предикатов: принцип исключенного третьего, принцип непротиворечия и принцип тождества. Выявляются особенности правил вывода в однокванторной силлогистике.
Найти похожие

4.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Рыжаков, Виталий Владимирович (заведующий кафедрой; кандидат физико-математических наук), Пономарев, Илья Дмитриевич
Заглавие : Четырехслойная структура нейронной сети классификации телекоммуникационного трафика
Параллельн. заглавия :Four-Layer Structure of the Neural Network of Classification of Telecommunication Traffic
Серия: Сетевые и информационные технологии
Место публикации : Качество. Инновации. Образование. - 2020. - № 3. - С.79-87: 2 рис. - ISSN 1999-513Х (Шифр kaio/2020/3). - ISSN 1999-513Х
Примечания : Библиогр.: с. 85-86 (5 назв.)
УДК : 519.22 + 004
ББК : 22.172 + 32.97
Предметные рубрики: Математика
Математическая статистика
Вычислительная техника
Вычислительная техника в целом
Ключевые слова (''Своб.индексиров.''): достаточная статистика--инфокоммуникационные сети--искусственные нейронные сети--логика предикатов--отношение правдоподобия--телекоммуникационный трафик--целевые функции--четырехслойные структуры
Аннотация: В работе рассматривается метод построения искусственной нейронной сети для решения задач классификации телекоммуникационного трафика с применением подхода, основанного на отношении правдоподобия теории принятия решений математической статистики.
Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)