Персональный сайт Валерия Штырова

	L38 Логика предикатов. Черновик		L38a0 шаблон
			L38a1 переименование переменных в доказательствах
	L40, L9 События		L40_1 Событийная онтология логики. События. Прибавления 1, 2 L40_4 Переводы L40 Понятия множеств, вероятности L40_2 Прибавление 1 Прибавление 2

	L30		Гнездо файлов 1. L30a L30a0 шаблон L30a1 Проекция отношений множеств на бинарные операторы L30a2 Тупик L30a3 Проекция бинарных операторов на отношения множеств L30a4 выражение операторов через операторы L30a5 Разные логики L30a6 Доказательства L30a7 Логика объёмов и логика свойств L30a8 Обман L30a9 Правила вывода L30a10 Тождественно-истинные выражения L30a11 Тождественно-истинные выражения и правила вывода L30a12 Алгоритмы L30a13 Конечные автоматы.L30a14 Функции и рекурсивные функции L30a15 Качественный и количественный аспекты истины. L30a16 Импликация 2. L30b выписки из Dic
	L46 Из заметок дурака		L46_x L46_1 Множества и порядок L46_2 L46_3 События L46_4 Русская рулетка L40_5 Закон тождества и таблица истинности операторов.
	L51 Вероятность		L51_x L51_1 Испытания Бернулли L51_2 конспекты и тексты по вероятности L51_2.1 условная вероятность L51_3 зфл. Статья 8. Введение L51_4 конспекты L51_5 Тим Харфорд

Планировщик