Применение искинов - шоссе империализма (Стенгазета русификаторов ИТ)

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

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

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

Страница:   1 2

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

Тема Ответов Просмотров Последнее сообщение
31 Состав или структура? Или система?  Лис [Л]
 3 174 2021-08-10 06:47:04  NuShaman
32 Перечень  Лис [К]
 4 127 2021-08-09 15:07:32  NuShaman
33 Лента  Лис [К]
 3 197 2021-01-20 13:19:23  Лис [К]
34 Реестр  Лис [К]
 0 71 2021-01-17 22:04:03  Лис [К]
35 Символьная логика и автоматическое доказательство теорем  Лис [К]
 0 174 2020-02-27 21:45:46  Лис [К]
36 Лис: тебе хватит уже читать новости. Пора подтянуть базовые знания.  ВежливыйЛис
 4 270 2020-02-03 19:26:15  MihalNik
37 Метод резолюций  Лис [К]
 0 86 2019-11-26 03:25:58  Лис [К]
38 Что общего у резолюции (resolution) и у унификации (unification)?  Лис [К]
 6 137 2019-11-25 14:46:03  Лис [К]
39 рассуждение от противного (Modus tollens)  Лис [К]
 0 51 2019-11-24 18:58:14  Лис [К]
40 Модус поненс  Лис [К]
 1 75 2019-11-24 18:54:02  Лис [К]
41 выводимость и доказуемость - в чём разница?  Лис [К]
 1 138 2019-11-24 18:45:03  Лис [К]
42 Правило вывода  Лис [К]
 0 60 2019-11-24 18:42:15  Лис [К]
43 общее и частное  Лис [К]
 0 60 2019-11-24 16:49:41  Лис [К]
44 Логика высказываний (пропозициональная логика)  Лис [К]
 0 68 2019-11-24 15:53:41  Лис [К]
45 Теорема о дедукции (Теорема Эрбрана)  Лис [К]
 0 130 2019-11-24 15:33:49  Лис [К]
46 Высказывание (Predicate?)  Лис [К]
 0 69 2019-11-24 07:38:52  Лис [К]
47 символьная обработка - 19 век  Лис [О]
 8 170 2018-05-08 08:53:36  utkin
48 CyC и его формулы  ВежливыйЛис
 0 74 2018-02-16 05:39:06  ВежливыйЛис
49 Денотационная семантика vs операционная семантика  ВежливыйЛис
 1 399 2018-02-05 17:06:16  MihalNik
50 Визуализация графов  ВежливыйЛис
 13 188 2017-11-07 07:16:56  utkin
51 Алгоритм Тарьяна  ВежливыйЛис
 1 115 2017-11-06 11:40:02  ВежливыйЛис
Страница:   1 2