История
4 сентября 2022
1 сентября 2022
1 марта 2012
→3. Вывод из допущений. Теорема о дедукции.
м+5
→2. Доказуемость. Аксиомы исчисления высказываний. Корректность исчисления высказываний.
м+8
→1. Исчисление высказываний, общие определения. Таблицы истинности. Общезначимость.
м+5
17 января 2012
переименовал Теоретический минимум по математическому логике за 3 семестр в [[Теоретический минимум по математической логике за 3 сем...
мпереименовал Теоретический минимум по математической логике за 3 семестр в [[Теоретический минимум по математическому логике за 3 сем...
мпереименовал Теоретический минимум по математическому логике за 3 семестр в [[Теоретический минимум по математической логике за 3 сем...
мпереименовал Краткие Ответы в Теоретический минимум по математическому логике за 3 семестр
м
14 января 2012
Нет описания правки
+116
→2. Доказуемость. Аксиомы исчисления высказываний. Корректность исчисления высказываний.
+1753
→3. Вывод из допущений. Теорема о дедукции.
+1428
→1. Исчисление высказываний, общие определения. Таблицы истинности. Общезначимость.
+2002
Новая страница: «==1. Исчисление высказываний, общие определения. Таблицы истинности. Общезначимость.== ==2. Д...»
м+2755