Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

в найденном

Найдено в других БД:

БД "Книги" (123)

Труды АМГУ (4)

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>S=Логика<.>)

Общее количество найденных документов : 73
Показаны документы с 1 по 10

1-10 11-20 21-30 31-40 41-50 51-60

Агалаков, Е. В.
Метод параллельного логического вывода следствий для исчисления высказываний [Текст] / Е. В. Агалаков, Д. А. Страбыкин, М. Н. Томчук // Программные продукты и системы. - 2012. - № 2. - С. 142-144 : ил.: 1 рис., 1 табл. - Библиогр.: с. 144 (1 назв.) . - ISSN 0236-235X

УДК

^a004.9:002

^a16

ББК 73 + 87.4
Рубрики: Информатика
   Информационные системы с базами знаний
   Логика
   Общие вопросы логики
Кл.слова (ненормированные):
логические выводы -- вывод логических следствий -- параллельные вычисления -- постановка задачи -- моделирование рассуждений
Аннотация: Предлагается метод получения новых фактов из текущей базы знаний на основе поступивших фактов. Приводятся содержательная и формальная постановки задачи, формальное описание процедуры вывода и описание предлагаемого метода. Работа метода иллюстрируется примером вывода следствий.

Доп.точки доступа:
Страбыкин, Д. А.; Томчук, М. Н.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Анеллис, И. Г.
Обращение Ирвинга Г. Анеллиса к читателям [Текст] / И. Г. Анеллис // Философские науки. - 2012. - № 7. - С. 126 . - ISSN 0235-1188

УДК

^a16

ББК 87.4
Рубрики: Логика
Общие вопросы логики
Кл.слова (ненормированные):
обзоры -- учебная литература -- логическое образование -- преподавание логики
Аннотация: Автор обзора "Публикации по современной логике" объясняет его цели и задачи.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Антовский, Александр Юрьевич (канд. филос. наук, ст. науч. сотрудник Ин-та философии РАН).
Знание истины: к вопросу об объеме понятия [Текст] / А. Ю. Антовский // Эпистемология и философия науки. - 2008. - Т. 18, N 4. - С. 32-43. . - Библиогр. в сносках

УДК

^a165

^a16

ББК 87.22 + 87.42
Рубрики: Философия
   Теория познания
   Логика
   Логические формы и законы
Кл.слова (ненормированные):
знание истины -- истина знания -- знание знания -- когерентная теория -- истинность знания
Аннотация: В статье обосновывается тезис о том, что в основе различности истины знания и знания истины лежит различение двух типов наблюдений (первого и второго порядков), где наблюдателю второго порядка открывается латентный пространственно-временной и личностный контекст истинных высказываний первого наблюдателя. Именно поэтому истинные высказывания наблюдателя первого порядка не являются знанием.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Архиереев, Н. Л.
Логические модальности как арифметические функции - 1 [Текст] / Н. Л. Архиереев // Философия науки. - 2010. - N 2. - С. 78-91. . - Библиогр.: с. 90-91 (6 назв. )

УДК

^a16

ББК 87.43
Рубрики: Логика
Дедукция, дедуктивная логика, теория дедуктивных умозаключений
Кл.слова (ненормированные):
модальность -- возможные меры -- семантика -- логическая модальность
Аннотация: В статье представлено краткое описание принципиально нового подхода к анализу понятий логической необходимости, возможности и случайности.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Бабкин, Э. (канд. техн. наук; проф.).
Использование онтологий в задачах семантического анализа [Текст] / Э. Бабкин, А. Шишин // Проблемы теории и практики управления. - 2009. - N 9. - С. 71-79. . - Библиогр.: с. 79 (5 назв. )

УДК

^a16

^a004.9

ББК 87.41 + 32.973-018.2
Рубрики: Логика
   Логический синтаксис и логическая семантика
   Вычислительная техника
   Прикладные информационные (компьютерные) технологии в целом
Кл.слова (ненормированные):
семантический анализ -- онтологии -- автоматическая обработка текста -- модели представления знаний -- анализ текстов -- веб-онтологии -- OWL -- языковые конструкции
Аннотация: При автоматической обработке слаботипизированных текстов представление знаний реализуется на основе набора онтологий, которые, выполняя роль логических центров предметных областей, призваны объединять вокруг себя релевантные тексты и обеспечивать наличие кластеров.

Доп.точки доступа:
Шишин, А. (аспирант ГУ-ВШЭ)

Имеются экземпляры в отделах: всего 1 : эк. (1)
Свободны: эк. (1)

Найти похожие

Бахтияров, К. И.
Французская логика 17-начала 19 столетий [Text] / К. И. Бахтияров // Вестник Московского университета. Сер. 7, Философия. - 2001. - N 6. - С. 29-42

ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
логика французская -- Логика Пор-Рояля -- Декарт -- Кондильяк -- Траси А.-Л.Д -- Ланслен П.Ф. -- Кондорсе А.

Доп.точки доступа:
Паскаль, Б.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Белякин, Н. В.
Об основных критериях убедительности доказательства [Текст] / Н. В. Белякин, Е. М. Черепанов // Философия науки. - 2010. - N 3. - С. 31-44. . - Библиогр.: с. 43-44 (8 назв. )

УДК

^a16

^a510.6

ББК 87.42 + 22.12
Рубрики: Логика
   Логические формы и законы
   Математика
   Математическая логика
Кл.слова (ненормированные):
доказательства (математика) -- убедительность -- убедительность доказательства -- формализуемость -- компьютерные доказательства -- полнимание доказательства -- обозримость доказательства -- простота доказательства
Аннотация: В статье рассматриваются основные понятия, которые чаще всего связываются с критериями убедительности доказательства, а также отношения между этими критериями.

Доп.точки доступа:
Черепанов, Е. М.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Бессонов, А. В.
Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. )

УДК

^a510.6

^a16

ББК 22.12 + 87.4
Рубрики: Логика
   Математика
   Математическая логика
   Общие вопросы логики
Кл.слова (ненормированные):
вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство
Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.

Доп.точки доступа:
Хлебалин, А. В.; Целищев, В. В.; Черч, Алонзо (американский логик и математик) \а.\

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Бочаров, Вячеслав Александрович (доктор философских наук; профессор).
Логика и математика [Текст] / В. А. Бочаров // Вестник Московского университета. Сер. 7, Философия. - 2012. - № 1. - С. 72-80. - Библиогр.: с. 80 . - ISSN 0201-7385

УДК

^a16

ББК 87.4
Рубрики: Логика
Общие вопросы логики
Кл.слова (ненормированные):
логика и математика -- математика -- функции (логика) -- теория множеств -- алгебра -- алгоритмы -- математика и логика -- математические методы познания -- методы познания -- познание
Аннотация: В статье обсуждается мнение о том, что логика в своих исследованиях использует математические методы познания.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

10.

Бочаров, Вячеслав Александрович (д-р философ. наук, профессор).
Пифагореизм, платонизм и логика [Текст] / В. А. Бочаров // Вестник Московского университета. Сер. 7, Философия. - 2010. - N 3. - С. 84-94. : рис. - Библиогр.: с. 94 (3 назв. ). - Примеч. в сносках

УДК

^a16

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

Доп.точки доступа:
Платон (древнегреческий философ); Пифагор (математик)

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

1-10 11-20 21-30 31-40 41-50 51-60

Тематический навигатор

Статистика за 27.08.2024
Число запросов	36029
Число посетителей	1
Число заказов	0

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