IPB

Здравствуйте, гость ( Вход | Регистрация )

Календарь
Именинники
RSS Текстовая версия
Рейтинг@Mail.ru

Гюстав Гаспар КОРИОЛИС
французский физик-механик, работы которого сыграли большую роль в создании теории динамики машин.
>>>
Смотреть календарь

В этот день молния ударила в колокольню рижской церкви Петра. Колокольня рухнула и подожгла шесть домов. Были зафиксированы и человеческие жертвы. >>>
Смотреть календарь

ЗНАРОКОМ, знарочно нареч. зап. нарочно, с умыслом, намеренно, умышленно, нароком, взнарок.

Логика высказываний

Важнейшая функция логики. Аксиоматическое построение исчислений высказываний. Системы без доказательства. Эквивалентные системы исчисления высказываний. Системы Д. Гильберта и В. Аккермана. Правило подстановки, схема за...