Sumbangan 15 hb September 2024 – 1 hb Oktober 2024 Mengenai pengumpulan sumbangan

Carian kata kunci

  • Main
  • Carian kata kunci
1
Логика в решении проблем

Логика в решении проблем

Ковальски Р.(Kowalski R.)
поиска
клауз
рис
данных
доказательства
языке
клаузы
истинно
решений
хорна
процедуры
задачи
логики
состояние
джон
языка
боб
вывода
логика
достичь
отношения
нравится
форме
сохраняет
задач
клауза
предложение
помощи
предложения
решения
определения
задача
подцелей
определение
программы
стандартной
факт
клаузальной
нисходящего
процедур
системы
счет
программ
посылок
пространства
отношение
мери
представление
процедура
результат
Tahun:
1990
Bahasa:
russian
Fail:
DJVU, 3.65 MB
0 / 0
russian, 1990
3
Древнерусские энклитики

Древнерусские энклитики

Зализняк Андрей Анатольевич
энклитик
еси
энклитики
примеры
есмь
клаузы
памятниках
группы
фразе
фразы
киев
яко
препозиции
памятников
местоимений
коэффициент
связки
далъ
случаях
энклитика
єси
случаев
ниже
связок
клауз
жаю
барьера
фраз
эволюция
словоформы
мнъ
языке
тако
єсть
берестяных
барьер
частности
примеров
речи
тобъ
формы
бъs
оуже
препозиция
есте
нпл
аще
вакернагеля
древнерусских
группа
Tahun:
2008
Bahasa:
russian
Fail:
PDF, 3.87 MB
0 / 0
russian, 2008
4
Грамматические категории в дискурсе

Грамматические категории в дискурсе

Гусев В.Ю., Плунгян В.А. (ред.), Урманчиева А.Ю.
формы
функции
значения
дискурса
форм
показателя
употребления
плюсквамперфекта
точки
языке
ситуации
языка
показатель
конструкции
событий
дискурсивные
текста
глагола
грамматических
плюсквамперфект
употребление
языках
клаузы
нарратива
исследования
речи
события
стратегии
вида
категории
зрения
значений
по­
примере
типа
линии
основной
глагольных
нарративе
дискурсивных
прошедшего
теории
функция
discourse
интерпретации
перфект
языков
клауз
повествования
связи
Tahun:
2008
Bahasa:
russian
Fail:
PDF, 6.53 MB
0 / 0
russian, 2008
5
Финитность и дискурсивная функция клаузы (на примере карачаево-балкарского языка)

Финитность и дискурсивная функция клаузы (на примере карачаево-балкарского языка)

Кибрик А.А.
клаузы
convcons
клауз
кибрик
предиката
формы
событий
выбор
карачаево
нарративных
события
финитность
форм
дискурсивная
последовательность
дискурса
финитной
функция
оформление
связи
данных
сценарий
haspelmath
оформления
финитных
примере
случаев
клауза
прогноз
событие
языке
балкарском
волков
данной
деепричастия
конструкции
работе
discourse
деепричастные
отрывок
помощи
последовательности
предикатов
рассказе
случаях
деепричастных
исследование
исследования
материале
нефинитные
Bahasa:
georgian
Fail:
PDF, 427 KB
0 / 0
georgian
7
Брюс Ли. Сражающийся дух

Брюс Ли. Сражающийся дух

Брюс Томас
Tahun:
1997
Bahasa:
russian
Fail:
FB2 , 5.09 MB
0 / 0
russian, 1997
9
Математическая логика и теория алгоритмов: Учебное пособие. - 2-е изд.

Математическая логика и теория алгоритмов: Учебное пособие. - 2-е изд.

Анкудинов Г.И., Анкудинов И.Г., Петухов О.А.
множество
называется
тьюринга
функции
машины
рис
формулы
т.е
высказывание
предикатов
логика
функция
значения
предикат
высказываний
задача
истинности
алгоритмов
функцию
задачи
множества
теории
символ
функций
программы
рассмотрим
задач
логики
предиката
существует
высказывания
множеств
формула
алгоритма
программ
сложность
данных
следовательно
конфигурации
операции
переменные
состояние
условие
причем
число
выражение
переменных
предложение
prolog
головки
Tahun:
2003
Bahasa:
russian
Fail:
PDF, 1.05 MB
0 / 0
russian, 2003
10
Интеллектуальные системы управления проектами

Интеллектуальные системы управления проектами

Истомина Н. Ю.
списка
prolog
вариант
visual
предикат
список
данных
parent
правила
доказать
системы
программы
предиката
clauses
вывода
маленькое
программа
stdio
integer
правило
цель
implement
животное
пролог
следующим
доменов
следовательно
phone_list
использовать
правил
предикатов
число
predicates
length_of
domains
значения
используя
вызов
списки
языке
b_date
owns
области
прологе
систем
составные
факт
являются
пролога
составных
Tahun:
2017
Bahasa:
russian
Fail:
PDF, 1.70 MB
0 / 0
russian, 2017
11
Интеллектуальные системы

Интеллектуальные системы

Истомина Н. Ю.
списка
вариант
prolog
visual
предикат
список
данных
parent
правила
доказать
программы
предиката
clauses
вывода
маленькое
программа
системы
stdio
integer
правило
пролог
цель
implement
животное
следующим
доменов
следовательно
phone_list
правил
предикатов
использовать
число
predicates
length_of
domains
значения
используя
вызов
систем
списки
b_date
owns
области
прологе
составные
факт
являются
языке
пролога
составных
Tahun:
2018
Bahasa:
russian
Fail:
PDF, 1.20 MB
0 / 0
russian, 2018
13
Применение "Theory of grounding" в изучении синтаксиса и стиля русских переводов прозаического текста (60,00 руб.)

Применение "Theory of grounding" в изучении синтаксиса и стиля русских переводов прозаического текста (60,00 руб.)

Уржа
текста
первого
плана
фона
aгентство
cервис
filologia_6
indd
kнига
бибком
оао
ооо
цкб
вида
форм
чвани
grounding
в.в
перевода
план
виноградов
совершенного
уржа
фон
области
переводов
теории
томсон
foregrounding
текстов
формы
функции
баллов
действия
исследования
количество
рассказа
русский
т.д
chvany
анализа
глагола
переводчик
произведения
русских
средств
хоппера
язык
aspect
narrative
Fail:
PDF, 1.53 MB
0 / 0
14
Методические указания на тему: «Параллельное программирование: OpenMP API»

Методические указания на тему: «Параллельное программирование: OpenMP API»

Савельевым В.А.
области
нитей
область
openmp
clause
нити
параллельной
parallel
переменные
structured
void
fortran
директивы
pragma
клауза
integer
директива
конструкции
памяти
команды
переменной
нить
списка
число
ordered
команде
переменных
разделения
цикла
function
nowait
subroutine
выполнения
lock
nvar
директив
critical
возвращает
данных
итераций
chunk_size
памятью
фрагменты
функция
частными
false
sections
workshare
барьер
блокировки
Tahun:
2006
Bahasa:
russian
Fail:
PDF, 349 KB
0 / 0
russian, 2006