http://neerc.ifmo.ru/wiki/api.php?action=feedcontributions&user=Kir1251&feedformat=atom
Викиконспекты - Вклад участника [ru]
2024-03-28T23:58:03Z
Вклад участника
MediaWiki 1.30.0
http://neerc.ifmo.ru/wiki/index.php?title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5:%D0%9F%D1%80%D0%B0%D0%B2%D0%B8%D0%BB%D0%BE_%D0%9B%D0%B0%D1%83%D0%BB%D0%B5%D1%80%D0%B0&diff=23296
Обсуждение:Правило Лаулера
2012-06-02T21:24:26Z
<p>Kir1251: Новая страница: «В коде алгоритма, где N[i] = inf, вроде j должно быть. И кстати, на 379-ой странице Брукера это бы...»</p>
<hr />
<div>В коде алгоритма, где N[i] = inf, вроде j должно быть. И кстати, на 379-ой странице Брукера это быть никак не может, так как их там всего 371. Страница на самом деле 62. --[[Участник:Kir1251|Kir1251]] 01:24, 3 июня 2012 (GST)</div>
Kir1251
http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Kir1251/%D0%90%D0%BA%D1%81%D0%B8%D0%BE%D0%BC%D1%8B&diff=17972
Участник:Kir1251/Аксиомы
2012-02-04T00:23:31Z
<p>Kir1251: Удалено содержимое страницы</p>
<hr />
<div></div>
Kir1251
http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Kir1251&diff=17971
Участник:Kir1251
2012-02-04T00:22:47Z
<p>Kir1251: Удалено содержимое страницы</p>
<hr />
<div></div>
Kir1251
http://neerc.ifmo.ru/wiki/index.php?title=%D0%9A%D0%BE%D0%BD%D0%BA%D1%83%D1%80%D1%81_%D0%B4%D0%BB%D1%8F_%D0%B1%D0%BE%D0%BB%D0%B5%D0%B5_%D1%83%D0%B4%D0%B0%D1%87%D0%BD%D0%BE%D0%B3%D0%BE_URL_%D1%81%D0%B0%D0%B9%D1%82%D0%B0_%D0%B2%D0%B8%D0%BA%D0%B8-%D0%BA%D0%BE%D0%BD%D1%81%D0%BF%D0%B5%D0%BA%D1%82%D0%BE%D0%B2&diff=17970
Конкурс для более удачного URL сайта вики-конспектов
2012-02-04T00:22:05Z
<p>Kir1251: </p>
<hr />
<div>Хочется избавиться от имени mediawiki, потому что это название вики-движка .<br />
<br />
Предлагайте варианты URL для вики-конспектов на этой странице.<br />
Подписывайтесь, бонусы возможны.<br />
<br />
== Варианты ==<br />
<br />
{| class="wikitable"<br />
!Вариант!!Автор (<nowiki>~~~</nowiki>)<br />
|-<br />
|knowledge||[[Участник:Kirelagin|Кирилл Елагин]]<br />
|-<br />
|wikiconsp||[[Участник:Igor buzhinsky|Игорь Бужинский]]<br />
|-<br />
|wk ''(что бы это ни значило)''||[[Участник:Kirelagin|Кирилл Елагин]]<br />
|-<br />
|lectures||[[Участник:Igor buzhinsky|Игорь Бужинский]]<br />
|-<br />
|theory||[[Участник:Shevchen|Дмитрий Шевченко]]<br />
|-<br />
|outlines||[[Участник:Shevchen|Дмитрий Шевченко]]<br />
|-<br />
|wikikt||[[Участник:Mamoshkin.Arseny|Арсений Мамошкин]]<br />
|-<br />
|lecturenotes||[[Участник:Dgerasimov|Дмитрий Герасимов]]<br />
|-<br />
|ktlectures||[[Участник:SkudarnovYaroslav|Ярослав Скударнов]]<br />
|-<br />
|wiki||[[Участник:Андрей Шулаев|Андрей Шулаев]]<br />
|-<br />
|pediwikia||[[Участник:Pashkal|Павел Кротков]]<br />
|-<br />
|wikisynopses||[[Участник:Rybak|Андрей Рыбак]]<br />
|-<br />
|ctpedia||[[Участник:Borisov|Сергей Борисов]]<br />
|-<br />
|ctd||[[Участник:Borisov|Сергей Борисов]]<br />
|-<br />
|wikimath||[[Участник:Yurik|Александров Юрий]]<br />
|-<br />
|itmopedia||Марат Валиахметов<br />
|-<br />
|w||[[Участник:Tsar|Иоанн Волков]]<br />
|-<br />
|notes||[[Участник:Grechko|Гречко Владислав]]<br />
|-<br />
|medialibrary||[[Участник:Андреев Кирилл|Андреев Кирилл]]<br />
|-<br />
|algowiki||[[Участник:ЗабылПароль|Иванов Денис]]<br />
|-<br />
|wiki.ifmo.ru||[[Участник:Proshev|Прошев Семен]]<br />
|-<br />
|db.algowiki.ru||[[Участник:GeraltFromRivia|Завадский Дмитрий]]<br />
|-<br />
|wikicat ||[[Участник:Русин Никита|Русин Никита]]<br />
|-<br />
|algostore ||[[Участник:Русин Никита|Русин Никита]]<br />
|-<br />
|store ||[[Участник:Русин Никита|Русин Никита]]<br />
|-<br />
|ourwiki || [[Участник:kir1251|Голубев Кирилл]]<br />
|}<br />
+1 за педивикию :D</div>
Kir1251
http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Kir1251&diff=16764
Участник:Kir1251
2012-01-15T14:17:00Z
<p>Kir1251: </p>
<hr />
<div>==Тут только основные аксиомы(не относящиеся не к одной теории)==<br />
<br />
=Аксиомы системы исчисления высказываний=<br />
<tex><br />
(1) (\phi) \rightarrow ((\psi) \rightarrow (\phi))\\<br />
(2) ((\phi) \rightarrow (\psi)) \rightarrow ((\phi) \rightarrow (\psi) \rightarrow (\pi)) \rightarrow ((\phi) \rightarrow (\pi))\\<br />
(3) (\phi) \rightarrow (\psi) \rightarrow (\phi) \& (\psi)\\<br />
(4) (\phi) \& (\psi) \rightarrow (\phi)\\<br />
(5) (\phi) \& (\psi) \rightarrow (\psi)\\<br />
(6) (\phi) \rightarrow (\phi) \vee (\psi)\\<br />
(7) (\psi) \rightarrow (\phi) \vee (\psi)\\<br />
(8) ((\phi) \rightarrow (\pi)) \rightarrow ((\psi) \rightarrow (\pi)) \rightarrow ((\phi) \vee (\psi) \rightarrow (\pi))\\<br />
(9) ((\phi) \rightarrow (\psi)) \rightarrow ((\phi) \rightarrow \neg (\psi)) \rightarrow \neg (\phi)\\<br />
(10) \neg \neg (\phi) \rightarrow (\phi)\\<br />
</tex><br />
=Аксиомы предикатов=<br />
<tex><br />
(11) \forall{x}(\psi) \rightarrow (\psi[x := \alpha])\\<br />
(12) (\psi[x := \alpha]) \rightarrow \exists{x}(\psi) \\<br />
</tex></div>
Kir1251
http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Kir1251/%D0%90%D0%BA%D1%81%D0%B8%D0%BE%D0%BC%D1%8B&diff=16760
Участник:Kir1251/Аксиомы
2012-01-15T05:04:45Z
<p>Kir1251: </p>
<hr />
<div>=Список аксиом логики(просто для себя):=<br />
<br />
==Аксиомы системы исчисления высказываний==<br />
<tex><br />
(1) (\phi) \rightarrow ((\psi) \rightarrow (\phi))\\<br />
(2) ((\phi) \rightarrow (\psi)) \rightarrow ((\phi) \rightarrow (\psi) \rightarrow (\pi)) \rightarrow ((\phi) \rightarrow (\pi))\\<br />
(3) (\phi) \rightarrow (\psi) \rightarrow (\phi) \& (\psi)\\<br />
(4) (\phi) \& (\psi) \rightarrow (\phi)\\<br />
(5) (\phi) \& (\psi) \rightarrow (\psi)\\<br />
(6) (\phi) \rightarrow (\phi) \vee (\psi)\\<br />
(7) (\psi) \rightarrow (\phi) \vee (\psi)\\<br />
(8) ((\phi) \rightarrow (\pi)) \rightarrow ((\psi) \rightarrow (\pi)) \rightarrow ((\phi) \vee (\psi) \rightarrow (\pi))\\<br />
(9) ((\phi) \rightarrow (\psi)) \rightarrow ((\phi) \rightarrow \neg (\psi)) \rightarrow \neg (\phi)\\<br />
(10) \neg \neg (\phi) \rightarrow (\phi)\\<br />
</tex><br />
<br />
==Аксиомы предикатов==<br />
<tex><br />
(11) \forall{x}(\psi) \rightarrow (\psi[x := \alpha])\\<br />
(12) (\psi[x := \alpha]) \rightarrow \exists{x}(\psi) \\<br />
</tex><br />
<br />
==Аксиоматика Пеано==<br />
<tex><br />
(A1) a = b \rightarrow a' = b' \\<br />
(A2) a = b \rightarrow a = c \rightarrow b = c \\<br />
(A3) a' = b' \rightarrow a = b \\<br />
(A4) \neg a' = 0 \\<br />
(A5) a + b' = (a+b)' \\<br />
(A6) a + 0 = a \\<br />
(A7) a \cdot 0 = a \\<br />
(A8) a \cdot b' = a \cdot b + a \\<br />
(A9) (\psi [x := 0]) \& \forall{x}((\psi) \rightarrow (\psi) [x := x']) \rightarrow (\psi)\\<br />
</tex><br />
<br />
==Аксиоматика теории групп==<br />
<tex><br />
(E1) a = b \rightarrow (a = c \rightarrow b = c)\\<br />
(E2) a = b \rightarrow (a \cdot c = b \cdot c)\\<br />
(E3) a = b \rightarrow (c \cdot a = c \cdot b)\\<br />
(G1) a \cdot (b \cdot c) = (a \cdot b) \cdot c\\<br />
(G2) a \cdot 1 = a\\<br />
(G3)a \cdot a ^ {-1} = 1\\<br />
</tex><br />
<br />
==Аксиоматика теории множеств==<br />
<br />
===Аксиома равенства:===<br />
<tex>\forall x \forall y \forall z ((x = y \& x \in z) \rightarrow y \in z)</tex><br />
===Аксиома пары:===<br />
<tex>\forall x \forall y (\neg x=y \rightarrow \exists p (x \in p \& y \in p \& \forall z (z \in p \rightarrow (z = x \vee z = y)))</tex><br />
===Аксиома объединения===<br />
<tex>\forall x (\exists y y \in x \rightarrow \exists p \forall y (y \in p \leftrightarrow \exists s (y \in s \& s \in x)))</tex><br />
===Аксиома степени===<br />
<tex>\forall x \exists p \forall y (y \subseteq p \leftrightarrow y \in x)</tex><br />
===Аксиома выделения===<br />
<tex>\forall x \exists b \forall y (y \in b \leftrightarrow (y \in x \& \phi(y)))</tex><br />
===Аксиома выбора===<br />
<tex>\forall a \forall b (b \in a \& \neg(a = \emptyset) \& \neg(b = \emptyset) \rightarrow \neg(\times a = \emptyset)<br />
===Аксиома бесконечности===<br />
<tex>\emptyset \in N \& \forall x(x \in N \rightarrow x\cup\{x\} \in N)</tex><br />
===Аксиома фундирования===<br />
<tex>\forall x (x = \emptyset \vee \exists y (y \in x \& y \cap x = \emptyset))</tex><br />
===Аксиома подстановки===<br />
<br />
Если задана некоторая функция f, представимая в исчислении предикатов<br />
(то есть, есть предикат A, что f(x) = y тогда и только тогда,<br />
когда <tex>A(x,y) \& \exists ! z A(x,z)</tex>)<br />
то для любого множества Y существует множество f(Y) &mdash; образ<br />
множества Y при отображении f.</div>
Kir1251
http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Kir1251&diff=16754
Участник:Kir1251
2012-01-15T03:42:56Z
<p>Kir1251: Содержимое страницы заменено на «Аксиомы по логике(для себя)»</p>
<hr />
<div>[[Участник:Kir1251/Аксиомы|Аксиомы по логике(для себя)]]</div>
Kir1251
http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Kir1251/%D0%90%D0%BA%D1%81%D0%B8%D0%BE%D0%BC%D1%8B&diff=16753
Участник:Kir1251/Аксиомы
2012-01-15T03:42:51Z
<p>Kir1251: Новая страница: «==Список аксиом логики(просто для себя):== =Аксиомы системы исчисления высказываний= <tex> (1) (\...»</p>
<hr />
<div>==Список аксиом логики(просто для себя):==<br />
<br />
=Аксиомы системы исчисления высказываний=<br />
<tex><br />
(1) (\phi) \rightarrow ((\psi) \rightarrow (\phi))\\<br />
(2) ((\phi) \rightarrow (\psi)) \rightarrow ((\phi) \rightarrow (\psi) \rightarrow (\pi)) \rightarrow ((\phi) \rightarrow (\pi))\\<br />
(3) (\phi) \rightarrow (\psi) \rightarrow (\phi) \& (\psi)\\<br />
(4) (\phi) \& (\psi) \rightarrow (\phi)\\<br />
(5) (\phi) \& (\psi) \rightarrow (\psi)\\<br />
(6) (\phi) \rightarrow (\phi) \vee (\psi)\\<br />
(7) (\psi) \rightarrow (\phi) \vee (\psi)\\<br />
(8) ((\phi) \rightarrow (\pi)) \rightarrow ((\psi) \rightarrow (\pi)) \rightarrow ((\phi) \vee (\psi) \rightarrow (\pi))\\<br />
(9) ((\phi) \rightarrow (\psi)) \rightarrow ((\phi) \rightarrow \neg (\psi)) \rightarrow \neg (\phi)\\<br />
(10) \neg \neg (\phi) \rightarrow (\phi)\\<br />
</tex><br />
<br />
=Аксиомы предикатов=<br />
<tex><br />
(11) \forall{x}(\psi) \rightarrow (\psi[x := \alpha])\\<br />
(12) (\psi[x := \alpha]) \rightarrow \exists{x}(\psi) \\<br />
</tex><br />
<br />
=Аксиоматика Пеано=<br />
<tex><br />
(A1) a = b \rightarrow a' = b' \\<br />
(A2) a = b \rightarrow a = c \rightarrow b = c \\<br />
(A3) a' = b' \rightarrow a = b \\<br />
(A4) \neg a' = 0 \\<br />
(A5) a + b' = (a+b)' \\<br />
(A6) a + 0 = a \\<br />
(A7) a \cdot 0 = a \\<br />
(A8) a \cdot b' = a \cdot b + a \\<br />
(A9) (\psi [x := 0]) \& \forall{x}((\psi) \rightarrow (\psi) [x := x']) \rightarrow (\psi)\\<br />
</tex><br />
<br />
=Аксиоматика теории групп=<br />
<tex><br />
(E1) a = b \rightarrow (a = c \rightarrow b = c)\\<br />
(E2) a = b \rightarrow (a \cdot c = b \cdot c)\\<br />
(E3) a = b \rightarrow (c \cdot a = c \cdot b)\\<br />
(G1) a \cdot (b \cdot c) = (a \cdot b) \cdot c\\<br />
(G2) a \cdot 1 = a\\<br />
(G3)a \cdot a ^ {-1} = 1\\</div>
Kir1251
http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Kir1251&diff=16752
Участник:Kir1251
2012-01-15T03:41:41Z
<p>Kir1251: </p>
<hr />
<div>==Список аксиом логики(просто для себя):==<br />
[[Участник:Kir1251/Аксиомы|Аксиомы по логике(для себя)]]<br />
=Аксиомы системы исчисления высказываний=<br />
<tex><br />
(1) (\phi) \rightarrow ((\psi) \rightarrow (\phi))\\<br />
(2) ((\phi) \rightarrow (\psi)) \rightarrow ((\phi) \rightarrow (\psi) \rightarrow (\pi)) \rightarrow ((\phi) \rightarrow (\pi))\\<br />
(3) (\phi) \rightarrow (\psi) \rightarrow (\phi) \& (\psi)\\<br />
(4) (\phi) \& (\psi) \rightarrow (\phi)\\<br />
(5) (\phi) \& (\psi) \rightarrow (\psi)\\<br />
(6) (\phi) \rightarrow (\phi) \vee (\psi)\\<br />
(7) (\psi) \rightarrow (\phi) \vee (\psi)\\<br />
(8) ((\phi) \rightarrow (\pi)) \rightarrow ((\psi) \rightarrow (\pi)) \rightarrow ((\phi) \vee (\psi) \rightarrow (\pi))\\<br />
(9) ((\phi) \rightarrow (\psi)) \rightarrow ((\phi) \rightarrow \neg (\psi)) \rightarrow \neg (\phi)\\<br />
(10) \neg \neg (\phi) \rightarrow (\phi)\\<br />
</tex><br />
<br />
=Аксиомы предикатов=<br />
<tex><br />
(11) \forall{x}(\psi) \rightarrow (\psi[x := \alpha])\\<br />
(12) (\psi[x := \alpha]) \rightarrow \exists{x}(\psi) \\<br />
</tex><br />
<br />
=Аксиоматика Пеано=<br />
<tex><br />
(A1) a = b \rightarrow a' = b' \\<br />
(A2) a = b \rightarrow a = c \rightarrow b = c \\<br />
(A3) a' = b' \rightarrow a = b \\<br />
(A4) \neg a' = 0 \\<br />
(A5) a + b' = (a+b)' \\<br />
(A6) a + 0 = a \\<br />
(A7) a \cdot 0 = a \\<br />
(A8) a \cdot b' = a \cdot b + a \\<br />
(A9) (\psi [x := 0]) \& \forall{x}((\psi) \rightarrow (\psi) [x := x']) \rightarrow (\psi)\\<br />
</tex><br />
<br />
=Аксиоматика теории групп=<br />
<tex><br />
(E1) a = b \rightarrow (a = c \rightarrow b = c)\\<br />
(E2) a = b \rightarrow (a \cdot c = b \cdot c)\\<br />
(E3) a = b \rightarrow (c \cdot a = c \cdot b)\\<br />
(G1) a \cdot (b \cdot c) = (a \cdot b) \cdot c\\<br />
(G2) a \cdot 1 = a\\<br />
(G3)a \cdot a ^ {-1} = 1\\</div>
Kir1251
http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Kir1251&diff=16741
Участник:Kir1251
2012-01-15T01:38:29Z
<p>Kir1251: Новая страница: «==Список аксиом логики(просто для себя):== =Аксиомы системы исчисления высказываний= <tex> (1) (\...»</p>
<hr />
<div>==Список аксиом логики(просто для себя):==<br />
<br />
=Аксиомы системы исчисления высказываний=<br />
<tex><br />
(1) (\phi) \rightarrow ((\psi) \rightarrow (\phi))\\<br />
(2) ((\phi) \rightarrow (\psi)) \rightarrow ((\phi) \rightarrow (\psi) \rightarrow (\pi)) \rightarrow ((\phi) \rightarrow (\pi))\\<br />
(3) (\phi) \rightarrow (\psi) \rightarrow (\phi) \& (\psi)\\<br />
(4) (\phi) \& (\psi) \rightarrow (\phi)\\<br />
(5) (\phi) \& (\psi) \rightarrow (\psi)\\<br />
(6) (\phi) \rightarrow (\phi) \vee (\psi)\\<br />
(7) (\psi) \rightarrow (\phi) \vee (\psi)\\<br />
(8) ((\phi) \rightarrow (\pi)) \rightarrow ((\psi) \rightarrow (\pi)) \rightarrow ((\phi) \vee (\psi) \rightarrow (\pi))\\<br />
(9) ((\phi) \rightarrow (\psi)) \rightarrow ((\phi) \rightarrow \neg (\psi)) \rightarrow \neg (\phi)\\<br />
(10) \neg \neg (\phi) \rightarrow (\phi)\\<br />
</tex><br />
<br />
=Аксиомы предикатов=<br />
<tex><br />
(11) \forall{x}(\psi) \rightarrow (\psi[x := \alpha])\\<br />
(12) (\psi[x := \alpha]) \rightarrow \exists{x}(\psi) \\<br />
</tex><br />
<br />
=Аксиоматика Пеано=<br />
<tex><br />
(A1) a = b \rightarrow a' = b' \\<br />
(A2) a = b \rightarrow a = c \rightarrow b = c \\<br />
(A3) a' = b' \rightarrow a = b \\<br />
(A4) \neg a' = 0 \\<br />
(A5) a + b' = (a+b)' \\<br />
(A6) a + 0 = a \\<br />
(A7) a \cdot 0 = a \\<br />
(A8) a \cdot b' = a \cdot b + a \\<br />
(A9) (\psi [x := 0]) \& \forall{x}((\psi) \rightarrow (\psi) [x := x']) \rightarrow (\psi)\\<br />
</tex><br />
<br />
=Аксиоматика теории групп=<br />
<tex><br />
(E1) a = b \rightarrow (a = c \rightarrow b = c)\\<br />
(E2) a = b \rightarrow (a \cdot c = b \cdot c)\\<br />
(E3) a = b \rightarrow (c \cdot a = c \cdot b)\\<br />
(G1) a \cdot (b \cdot c) = (a \cdot b) \cdot c\\<br />
(G2) a \cdot 1 = a\\<br />
(G3)a \cdot a ^ {-1} = 1\\</div>
Kir1251
http://neerc.ifmo.ru/wiki/index.php?title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5:%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2&diff=16740
Обсуждение:Теория множеств
2012-01-15T01:27:40Z
<p>Kir1251: Новая страница: «Мне кажется, или в аксиоме равенства вместо & должна быть импликация? В текущем виде она аб...»</p>
<hr />
<div>Мне кажется, или в аксиоме равенства вместо & должна быть импликация? В текущем виде она абсолютно абсурдна, так как среди прочего попарное равенство всех множеств.--[[Участник:Kir1251|Kir1251]] 04:27, 15 января 2012 (MSK)</div>
Kir1251
http://neerc.ifmo.ru/wiki/index.php?title=%D0%98%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5_%D0%BF%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82%D0%BE%D0%B2&diff=16444
Исчисление предикатов
2012-01-13T01:41:06Z
<p>Kir1251: </p>
<hr />
<div>[[Категория: Математическая логика]]<br />
<br />
[[Лекция 3 | <<]][[Лекция 5 | >>]]<br />
<br />
test</div>
Kir1251
http://neerc.ifmo.ru/wiki/index.php?title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5:%D0%9B%D0%B5%D0%BC%D0%BC%D0%B0_%D0%BE_%D0%B4%D0%B5%D0%B4%D1%83%D0%BA%D1%86%D0%B8%D0%B8,_%D0%BF%D0%BE%D0%BB%D0%BD%D0%BE%D1%82%D0%B0_%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D1%8F_%D0%B2%D1%8B%D1%81%D0%BA%D0%B0%D0%B7%D1%8B%D0%B2%D0%B0%D0%BD%D0%B8%D0%B9&diff=16441
Обсуждение:Лемма о дедукции, полнота исчисления высказываний
2012-01-13T01:37:15Z
<p>Kir1251: </p>
<hr />
<div>Объяснил М.Р.<br />
Лучше объясни, что такое Сх.(откуда берутся эти формулы)<br />
: Вроде как из последнего определения прошлой лекции. Инфа меньше 100% --[[Участник:Kir1251|Kir1251]] 04:37, 13 января 2012 (MSK)</div>
Kir1251