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

Базы данных


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

Вид поиска
книги
Статьи
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=предикаты<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.
74.26
Ц 78
    Цомая, Е. В.
    Условно-следственные отношения в простом осложненном предложении : лингвистические заметки / Е. В. Цомая // Русский язык в школе. - 2010. - № 3. - С. 55-59
ББК 74.26
Рубрики: Образование. Педагогика--Среднее образование
Кл.слова (ненормированные):
СРЕДНЕЕ ОБРАЗОВАНИЕ -- МЕТОДИКА ПРЕПОДАВАНИЯ РУССКОГО ЯЗЫКА -- РУССКИЙ ЯЗЫК -- ПРОСТОЕ ОСЛОЖНЕННОЕ ПРЕДЛОЖЕНИЕ -- ИРРЕАЛЬНАЯ МОДАЛЬНОСТЬ -- РЕАЛЬНАЯ МОДАЛЬНОСТЬ -- ОДНОРОДНЫЕ ПРЕДИКАТЫ -- ВВОДНЫЕ КОНСТРУКЦИИ -- ВСТАВНЫЕ КОНСТРУКЦИИ

Держатели документа:
Чувашская республиканская детско-юношеская библиотека
Имеются экземпляры в отделах:
Чит. зал (07.04.2010г. (1 экз.) - Б.ц.) - свободны 1

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

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

Держатели документа:
Чувашская республиканская детско-юношеская библиотека

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

    Серов, В. В. (доктор технических наук; профессор).
    Формализация нечётких знаний в области молекулярной спектроскопии [] / Серов В. В. // Естественные и технические науки. - 2017. - № 11 (113). - С. 190-193. - Библиогр.: с. 192-193 (5 назв.). - Национальная библиотека им. Н. Г. Доможакова Республики Хакасия. - code, eitn. - year, 2017. - no, 11. - ss, 190. - ad, 1. - d, 2017, , 0, y. - RUMARS-eitn17_no11_ss190_ad1 . - ISSN 1684-2626
УДК
^a535.33
ББК 22.344
Рубрики: Физика
   Спектроскопия
Кл.слова (ненормированные):
молекулярная спектроскопия -- предикаты -- прикладное исчисление
Аннотация: Рассмотрены нечеткие знания в области молекулярной спектроскопии и методы их формализации для создания экспертных систем.

Нет сведений об экземплярах (Источник в БД не найден)

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

    Костицина, Раиса Владимировна (старший преподаватель).
    К вопросу о классификации глагольных предикатов [] / Р. В. Костицина // Известия Волгоградского государственного педагогического университета. - 2019. - № 4. - С. 119-125. - Библиогр.: с. 124-125 (17 назв. ). - Волгоградский государственный социально-педагогический университет, Научно-педагогическая библиотека. - code, vgpu. - year, 2019. - no, 4. - ss, 119. - ad, 1. - d, 2019, , 0, y. - RUMARS-vgpu19_no4_ss119_ad1
УДК
^a81
ББК 81.03
Рубрики: Языкознание
   Лексикология
Кл.слова (ненормированные):
авторские проекты -- глагольная лексика -- глагольные предикаты -- классификация -- лексико-семантические поля -- предикативная лексика -- предикатная лексика -- процессуальные предикаты
Аннотация: Предлагается авторский проект классификации предикатной и глагольной лексики.

Нет сведений об экземплярах (Источник в БД не найден)

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

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


Доп.точки доступа:
Гёдель, К. (австрийский математик ; 1906-1978)
Нет сведений об экземплярах (Источник в БД не найден)

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

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


Доп.точки доступа:
Гёдель, К. (австрийский математик ; 1906-1978)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 05.07.2024
Число запросов 19078
Число посетителей 0
Число заказов 0
Top.Mail.Ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)