ProofWiki
На просторах інтернету з’явився цікавий сайт ProofWiki, задуманий як колекція математичних теоретичних фактів: теорем, доведень, означень, логічних законів.
В категорії «Логіка», на перший погляд, поки доволі мало статей, але якщо набрати в пошуку який-небудь термін або просто піти в статті підкатегорій, можна натрапити там на відверто більшу кількість статей.
Особливо ж приємно, що сайт підтримує синтаксис у стилі LateX, що дозволяє писати формули просто у статтях.
- Увійдіть щоб залишати відгуки
Коментарі
Синтаксис TeX на LNU
Справедливості заради відзначу, що LNU теж уміє форматувати LateX-синтаксис. Для цього треба лише оточити потрібний код оточенням \(\(...\)\) або [math]\(...\)[/math], де замість трикрапки вписуєте потрібний код. Для виділення в окремий абзац з вирівнюванням по центру передбачено оточення \(\$\$...\$\$\), воно ж [display]\(...\)[/display]. Отримаєте щось на зразок [math]S^F_B A\equiv A[/math] та
[display]\forall xF(x)\to F(a)[/display]
відповідно.
Адміністратор LNU