Вклад участника DDDre
Участник с 33 правками. Учётная запись создана 22 августа 2007 года.
8 июня 2012
- 11:3311:33, 8 июня 2012 разн. история +31 Топологическая семантика →Связь с семантикой Крипке
- 11:3111:31, 8 июня 2012 разн. история +2 Топологическая семантика Нет описания правки
- 11:3011:30, 8 июня 2012 разн. история +2 Топологическая семантика →Связь с семантикой Крипке
- 11:3011:30, 8 июня 2012 разн. история +3 Топологическая семантика →Топологическая семантика для модальной логики
- 11:2711:27, 8 июня 2012 разн. история −284 Топологическая семантика Нет описания правки
- 11:2511:25, 8 июня 2012 разн. история +1135 Топологическая семантика →Топологическая семантика для модальной логики
19 февраля 2012
10 декабря 2011
- 23:1423:14, 10 декабря 2011 разн. история +19 Топологическая семантика →Топологическая семантика для модальной логики
- 23:1223:12, 10 декабря 2011 разн. история +2 Топологическая семантика →Топологическая семантика для модальной логики
- 23:1123:11, 10 декабря 2011 разн. история +2 Топологическая семантика →Топологическая семантика для модальной логики
6 мая 2010
- 10:4010:40, 6 мая 2010 разн. история 0 Модальная логика →Синтаксис
- 10:3910:39, 6 мая 2010 разн. история +1428 Модальная логика Нет описания правки
- 10:2110:21, 6 мая 2010 разн. история +3629 Н Топологическая семантика ← Новая страница: «'''Топологическая семантика''' является естественной семантикой для неклассическ...»
18 ноября 2008
- 16:4216:42, 18 ноября 2008 разн. история +201 Модальная логика →Литература
7 августа 2008
- 09:5009:50, 7 августа 2008 разн. история +4 Модальная логика Нет описания правки
- 09:4409:44, 7 августа 2008 разн. история +245 Модальная логика Нет описания правки
5 марта 2008
- 18:4118:41, 5 марта 2008 разн. история +35 Образовательное программное обеспечение →Интерактивные образовательные среды
- 18:3918:39, 5 марта 2008 разн. история −3 Образовательное программное обеспечение →Интерактивные образовательные среды
- 18:3918:39, 5 марта 2008 разн. история +647 Образовательное программное обеспечение →Основные виды образовательного ПО
20 февраля 2008
- 10:3310:33, 20 февраля 2008 разн. история +17 Колмогоров, Андрей Николаевич Нет описания правки
- 10:3110:31, 20 февраля 2008 разн. история +46 Успенский, Владимир Андреевич Нет описания правки
14 февраля 2008
- 15:4215:42, 14 февраля 2008 разн. история +43 Модальная логика →Семантика
- 15:4015:40, 14 февраля 2008 разн. история −44 Модальная логика →Семантика
- 15:3815:38, 14 февраля 2008 разн. история +399 Модальная логика Нет описания правки
- 15:3315:33, 14 февраля 2008 разн. история +46 Семантика Крипке →Семанитка для модальной логики
- 15:3115:31, 14 февраля 2008 разн. история +59 Семантика Крипке Нет описания правки
- 15:2915:29, 14 февраля 2008 разн. история +2 Семантика Крипке Нет описания правки
- 15:2715:27, 14 февраля 2008 разн. история +363 Семантика Крипке →Семанитка для модальной логики
- 15:2515:25, 14 февраля 2008 разн. история +2543 Н Семантика Крипке ← Новая страница: «'''Семантика Крипке''' является распространенной семантикой для неклассических ...»
6 декабря 2007
- 16:5016:50, 6 декабря 2007 разн. история +35 Модальная логика Нет описания правки
22 августа 2007
- 13:2513:25, 22 августа 2007 разн. история +3255 Н Динамическая геометрия ← Новая страница: «'''Динамической геометрией''' часто называют програмные среды, которые позволяю...»