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

Базы данных


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

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

Вид документа : Статья из журнала
Шифр издания : 74.26/Ц 78
Автор(ы) : Цомая Е. В.
Заглавие : Условно-следственные отношения в простом осложненном предложении : лингвистические заметки
Место публикации : Русский язык в школе. - 2010. - № 3. - С. 55-59
ББК : 74.26
Предметные рубрики: Образование. Педагогика-- Среднее образование
Экземпляры :Чит. зал(1)
Свободны : Чит. зал(1)
Найти похожие
2.

Вид документа : Статья из журнала
Шифр издания : 32. 973.202/К 23
Автор(ы) : Каримов В.
Заглавие : Откровения метапрограммиста. Урок 5 : Программируем программный код на этапе компиляции, используем шаблоны C++ для нешаблонных решений
Место публикации : Хакер. - 2015. - февраль (№ 193). - С. 108-113: фот.
Примечания : 16+
ГРНТИ : 47
ББК : 32. 973.202
Предметные рубрики: компьютерные системы-- Программное обеспечение компьютерных систем
Ключевые слова (''Своб.индексиров.''): метапрогаммирование--шаблона метапрограммирования--скалярные типы с+++--предикаты
Найти похожие
3.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Серов В. В. (доктор технических наук; профессор)
Заглавие : Формализация нечётких знаний в области молекулярной спектроскопии
Серия: Системный анализ, управление и обработка информации
Место публикации : Естественные и технические науки. - 2017. - № 11 (113). - С.190-193. - ISSN 1684-2626 (Шифр eitn/2017/11). - ISSN 1684-2626
Примечания : Библиогр.: с. 192-193 (5 назв.). - Национальная библиотека им. Н. Г. Доможакова Республики Хакасияcode, eitnyear, 2017no, 11ss, 190ad, 1d, 2017, , 0, yRUMARS-eitn17_no11_ss190_ad1
УДК : 535.33
ББК : 22.344
Предметные рубрики: Физика
Спектроскопия
Ключевые слова (''Своб.индексиров.''): молекулярная спектроскопия--предикаты--прикладное исчисление
Аннотация: Рассмотрены нечеткие знания в области молекулярной спектроскопии и методы их формализации для создания экспертных систем.
Найти похожие
4.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Костицина, Раиса Владимировна (старший преподаватель)
Заглавие : К вопросу о классификации глагольных предикатов
Место публикации : Известия Волгоградского государственного педагогического университета. - 2019. - № 4. - С.119-125 (Шифр vgpu/2019/4)
Примечания : Библиогр.: с. 124-125 (17 назв. ). - Волгоградский государственный социально-педагогический университет, Научно-педагогическая библиотекаcode, vgpuyear, 2019no, 4ss, 119ad, 1d, 2019, , 0, yRUMARS-vgpu19_no4_ss119_ad1
УДК : 81
ББК : 81.03
Предметные рубрики: Языкознание
Лексикология
Ключевые слова (''Своб.индексиров.''): авторские проекты--глагольная лексика--глагольные предикаты--классификация--лексико-семантические поля--предикативная лексика--предикатная лексика--процессуальные предикаты
Аннотация: Предлагается авторский проект классификации предикатной и глагольной лексики.
Найти похожие
5.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Бессонов, Александр Владимирович (доктор философских наук; профессор; ведущий научный сотрудник)
Заглавие : Аналог теоремы Гёделя о неполноте арифметики с использованием предиката опровержимости
Серия: Аналитическая философия, эпистемология и философия науки
Место публикации : Сибирский философский журнал. - 2018. - Т. 16, № 4. - С.58-68. - ISSN 2541-7517 (Шифр vnfi/2018/16/4). - ISSN 2541-7517
Примечания : Библиогр.: с. 65-68. - Новосибирская государственная областная научная библиотекаcode, vnfiyear, 2018to, 16no, 4ss, 58ad, 1d, 2018, , 0, yRUMARS-vnfi18_to16_no4_ss58_ad1
УДК : 1
ББК : 87.25
Предметные рубрики: Философия
Философия науки
Ключевые слова (''Своб.индексиров.''): гёделя теоремы--дедекинда - пеано арифметика--австрийские математики--арифметика дедекинда - пеано--математическая философия--математические формулы--предикаты доказуемости--предикаты опровержимости--теоремы гёделя--теоремы о неполноте--философия математики--формальная арифметика
Аннотация: Рассматриваются теоремы австрийского математика Курта Гёделя о неполноте применительно к формальной арифметике Дедекинда - Пеано. С использованием предиката опровержимости строится формула, формально выражающая свою неопровержимость, и доказывается ее неразрешимость.
Найти похожие
6.

Вид документа : Статья из журнала
Шифр издания : 1/Б 53
Автор(ы) : Бессонов, Александр Владимирович (доктор философских наук; профессор; ведущий научный сотрудник)
Заглавие : Аналог теоремы Гёделя о неполноте арифметики с использованием предиката опровержимости
Серия: Аналитическая философия, эпистемология и философия науки
Место публикации : Сибирский философский журнал. - 2018. - Т. 16, № 4. - С.58-68. - ISSN 2541-7517 (Шифр vnfi/2018/16/4). - ISSN 2541-7517
Примечания : Библиогр.: с. 65-68. - Новосибирская государственная областная научная библиотекаcode, vnfiyear, 2018to, 16no, 4ss, 58ad, 1d, 2018, , 0, yRUMARS-vnfi18_to16_no4_ss58_ad1
УДК : 1
ББК : 87.25
Предметные рубрики: Философия
Философия науки
Ключевые слова (''Своб.индексиров.''): гёделя теоремы--дедекинда - пеано арифметика--австрийские математики--арифметика дедекинда - пеано--математическая философия--математические формулы--предикаты доказуемости--предикаты опровержимости--теоремы гёделя--теоремы о неполноте--философия математики--формальная арифметика
Аннотация: Рассматриваются теоремы австрийского математика Курта Гёделя о неполноте применительно к формальной арифметике Дедекинда - Пеано. С использованием предиката опровержимости строится формула, формально выражающая свою неопровержимость, и доказывается ее неразрешимость.
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 08.07.2024
Число запросов 22455
Число посетителей 0
Число заказов 0
Top.Mail.Ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)