Нужен автокод - иностранцам вежливо настраивать язык кириллический

Информация о пользователе

Привет, Гость! Войдите или зарегистрируйтесь.

базовые определения

Страница:   1 2

Тем 31 страница 56 из 56

Тема Ответов Просмотров Последнее сообщение
31 Парадигма, что же это такое?  Лис [Л]
 0 77 2022-06-27 06:10:31  Лис [Л]
32 Вычисление тригонометрических функций  Лис [Л]
 1 87 2022-06-15 08:25:36  Лис [Л]
33 машина Поста  Лис [Л]
 4 152 2022-05-30 12:49:12  Лис [Л]
34 Как сделать деревья при помощи массивов  ВежливыйЛис
 8 173 2022-04-18 10:25:46  NuShaman
35 Хорновский дизъюнкт  Лис [К]
 1 80 2022-02-08 10:35:26  NuShaman
36 Состав или структура? Или система?  Лис [Л]
 3 197 2021-08-10 06:47:04  NuShaman
37 Перечень  Лис [К]
 4 154 2021-08-09 15:07:32  NuShaman
38 Лента  Лис [К]
 3 222 2021-01-20 13:19:23  Лис [К]
39 Реестр  Лис [К]
 0 88 2021-01-17 22:04:03  Лис [К]
40 Символьная логика и автоматическое доказательство теорем  Лис [К]
 0 189 2020-02-27 21:45:46  Лис [К]
41 Лис: тебе хватит уже читать новости. Пора подтянуть базовые знания.  ВежливыйЛис
 4 298 2020-02-03 19:26:15  MihalNik
42 Метод резолюций  Лис [К]
 0 103 2019-11-26 03:25:58  Лис [К]
43 Что общего у резолюции (resolution) и у унификации (unification)?  Лис [К]
 6 164 2019-11-25 14:46:03  Лис [К]
44 рассуждение от противного (Modus tollens)  Лис [К]
 0 64 2019-11-24 18:58:14  Лис [К]
45 Модус поненс  Лис [К]
 1 94 2019-11-24 18:54:02  Лис [К]
46 выводимость и доказуемость - в чём разница?  Лис [К]
 1 152 2019-11-24 18:45:03  Лис [К]
47 Правило вывода  Лис [К]
 0 81 2019-11-24 18:42:15  Лис [К]
48 общее и частное  Лис [К]
 0 73 2019-11-24 16:49:41  Лис [К]
49 Логика высказываний (пропозициональная логика)  Лис [К]
 0 86 2019-11-24 15:53:41  Лис [К]
50 Теорема о дедукции (Теорема Эрбрана)  Лис [К]
 0 153 2019-11-24 15:33:49  Лис [К]
51 Высказывание (Predicate?)  Лис [К]
 0 82 2019-11-24 07:38:52  Лис [К]
52 символьная обработка - 19 век  Лис [О]
 8 226 2018-05-08 08:53:36  utkin
53 CyC и его формулы  ВежливыйЛис
 0 94 2018-02-16 05:39:06  ВежливыйЛис
54 Денотационная семантика vs операционная семантика  ВежливыйЛис
 1 419 2018-02-05 17:06:16  MihalNik
55 Визуализация графов  ВежливыйЛис
 13 238 2017-11-07 07:16:56  utkin
56 Алгоритм Тарьяна  ВежливыйЛис
 1 134 2017-11-06 11:40:02  ВежливыйЛис
Страница:   1 2