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

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

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

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

Страница:   1 2

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

Тема Ответов Просмотров Последнее сообщение
31 Хорновский дизъюнкт  Лис [К]
 1 69 2022-02-08 10:35:26  NuShaman
32 Состав или структура? Или система?  Лис [Л]
 3 183 2021-08-10 06:47:04  NuShaman
33 Перечень  Лис [К]
 4 133 2021-08-09 15:07:32  NuShaman
34 Лента  Лис [К]
 3 200 2021-01-20 13:19:23  Лис [К]
35 Реестр  Лис [К]
 0 76 2021-01-17 22:04:03  Лис [К]
36 Символьная логика и автоматическое доказательство теорем  Лис [К]
 0 179 2020-02-27 21:45:46  Лис [К]
37 Лис: тебе хватит уже читать новости. Пора подтянуть базовые знания.  ВежливыйЛис
 4 279 2020-02-03 19:26:15  MihalNik
38 Метод резолюций  Лис [К]
 0 92 2019-11-26 03:25:58  Лис [К]
39 Что общего у резолюции (resolution) и у унификации (unification)?  Лис [К]
 6 144 2019-11-25 14:46:03  Лис [К]
40 рассуждение от противного (Modus tollens)  Лис [К]
 0 55 2019-11-24 18:58:14  Лис [К]
41 Модус поненс  Лис [К]
 1 80 2019-11-24 18:54:02  Лис [К]
42 выводимость и доказуемость - в чём разница?  Лис [К]
 1 143 2019-11-24 18:45:03  Лис [К]
43 Правило вывода  Лис [К]
 0 66 2019-11-24 18:42:15  Лис [К]
44 общее и частное  Лис [К]
 0 64 2019-11-24 16:49:41  Лис [К]
45 Логика высказываний (пропозициональная логика)  Лис [К]
 0 77 2019-11-24 15:53:41  Лис [К]
46 Теорема о дедукции (Теорема Эрбрана)  Лис [К]
 0 141 2019-11-24 15:33:49  Лис [К]
47 Высказывание (Predicate?)  Лис [К]
 0 74 2019-11-24 07:38:52  Лис [К]
48 символьная обработка - 19 век  Лис [О]
 8 192 2018-05-08 08:53:36  utkin
49 CyC и его формулы  ВежливыйЛис
 0 79 2018-02-16 05:39:06  ВежливыйЛис
50 Денотационная семантика vs операционная семантика  ВежливыйЛис
 1 403 2018-02-05 17:06:16  MihalNik
51 Визуализация графов  ВежливыйЛис
 13 205 2017-11-07 07:16:56  utkin
52 Алгоритм Тарьяна  ВежливыйЛис
 1 123 2017-11-06 11:40:02  ВежливыйЛис
Страница:   1 2