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

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

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

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

Страница:   1 2

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

Тема Ответов Просмотров Последнее сообщение
31 Парадигма, что же это такое?  Лис [Л]
 0 100 2022-06-27 06:10:31  Лис [Л]
32 Вычисление тригонометрических функций  Лис [Л]
 1 107 2022-06-15 08:25:36  Лис [Л]
33 машина Поста  Лис [Л]
 4 196 2022-05-30 12:49:12  Лис [Л]
34 Как сделать деревья при помощи массивов  ВежливыйЛис
 8 220 2022-04-18 10:25:46  NuShaman
35 Хорновский дизъюнкт  Лис [К]
 1 101 2022-02-08 10:35:26  NuShaman
36 Состав или структура? Или система?  Лис [Л]
 3 232 2021-08-10 06:47:04  NuShaman
37 Перечень  Лис [К]
 4 190 2021-08-09 15:07:32  NuShaman
38 Лента  Лис [К]
 3 257 2021-01-20 13:19:23  Лис [К]
39 Реестр  Лис [К]
 0 108 2021-01-17 22:04:03  Лис [К]
40 Символьная логика и автоматическое доказательство теорем  Лис [К]
 0 211 2020-02-27 21:45:46  Лис [К]
41 Лис: тебе хватит уже читать новости. Пора подтянуть базовые знания.  ВежливыйЛис
 4 341 2020-02-03 19:26:15  MihalNik
42 Метод резолюций  Лис [К]
 0 127 2019-11-26 03:25:58  Лис [К]
43 Что общего у резолюции (resolution) и у унификации (unification)?  Лис [К]
 6 208 2019-11-25 14:46:03  Лис [К]
44 рассуждение от противного (Modus tollens)  Лис [К]
 0 81 2019-11-24 18:58:14  Лис [К]
45 Модус поненс  Лис [К]
 1 123 2019-11-24 18:54:02  Лис [К]
46 выводимость и доказуемость - в чём разница?  Лис [К]
 1 173 2019-11-24 18:45:03  Лис [К]
47 Правило вывода  Лис [К]
 0 102 2019-11-24 18:42:15  Лис [К]
48 общее и частное  Лис [К]
 0 90 2019-11-24 16:49:41  Лис [К]
49 Логика высказываний (пропозициональная логика)  Лис [К]
 0 104 2019-11-24 15:53:41  Лис [К]
50 Теорема о дедукции (Теорема Эрбрана)  Лис [К]
 0 174 2019-11-24 15:33:49  Лис [К]
51 Высказывание (Predicate?)  Лис [К]
 0 100 2019-11-24 07:38:52  Лис [К]
52 символьная обработка - 19 век  Лис [О]
 8 279 2018-05-08 08:53:36  utkin
53 CyC и его формулы  ВежливыйЛис
 0 118 2018-02-16 05:39:06  ВежливыйЛис
54 Денотационная семантика vs операционная семантика  ВежливыйЛис
 1 444 2018-02-05 17:06:16  MihalNik
55 Визуализация графов  ВежливыйЛис
 13 297 2017-11-07 07:16:56  utkin
56 Алгоритм Тарьяна  ВежливыйЛис
 1 150 2017-11-06 11:40:02  ВежливыйЛис
Страница:   1 2