История

Перейти к: навигация, поиск

Исчисление высказываний

4 сентября 2022

Maintenance script
rollbackEdits.php mass rollback
м
19:21
-2316

1 сентября 2022

194.26.192.187
Нет описания правки
08:18
+2316

29 апреля 2020

178.95.147.70
→‎Вычисление значений высказываний
08:04
+114

6 февраля 2019

188.162.65.115
minor fix wikitex
14:29
-19

24 декабря 2013

Gromak
Нет описания правки
17:46
+10

11 октября 2012

188.227.78.59
→‎Формальная система
18:17

27 января 2012

Dgerasimov
переименовал Лекция 2 в Исчисление высказываний
м
20:46

14 января 2012

Sementry
баг в грамматике
м
10:10

13 января 2012

Proshev
Нет описания правки
03:15
+67

12 января 2012

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:History/Исчисление_высказываний»

Навигация