Вышло в свет учебное пособие Супруна В.П. «Основы математической логики»

Учебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и сложных разделов дискретной математики — математической логики. Область применения математической логики весьма широка: информационные технологии, программирование, математическая лингвистика, системы искусственного интеллекта, управление базами данных и управление организационно-экономическими системами.

В пособии рассматриваются основные разделы математической логики (алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов и машины Тьюринга). Пособие адресовано студентам младших курсов для успешного овладения элементами математической логики, а также старшеклассникам и их преподавателям при проведении факультативных занятий по дискретной математике.

Автор пособия — доцент, кандидат технических наук Супрун Валерий Павлович

Новости БГУ

Поздравление ректора БГУ Андрея Короля с Днем Независимости Беларуси 03.07.2024
Уважаемые соотечественники, студенты и сотрудники БГУ! Поздравляю вас с Днем Независимости Республики Беларусь! На протяжении 80-ти лет мы выражаем признательность нашим героическим предкам за их самоотверженный пример по отвоевыванию права на мирную жизнь. Наш праздник является символом единства разности, наследия и достояния, великого подвига и героизма. В этой дате заключена часть общей судьбы нашего народа, […]
«Мы обещаем всем героям ВОВ, что своей деятельностью будем дальше укреплять независимость нашего государства и его благосостояние» 02.07.2024
Такой мыслью поделился первый проректор БГУ Дмитрий Курлович во время Торжественной линейки в БГУ по случаю празднования Дня Независимости. Акция прошла сегодня, 2 июля, с участием проректоров, деканов факультетов, сотрудников и студентов вуза. Почетным гостем мероприятия выступил ветеран Великой Отечественной войны, освободитель Беларуси от немецко-фашистских захватчиков, работавший в 1963–2002 годы на факультете географии и геоинформатики […]
Студенты и преподаватели БГУ обсудят технологии непрерывного образования в области естественных наук и математики 02.07.2024
Международная научно-практическая конференция «Непрерывное образование в области естественных наук и математики: организация, методология, технологии» пройдет 4–5 июля в Витебске (пр-т Московский, 33, фойе первого этажа). Начало в 11.00. Мероприятие пройдет в очно-дистанционном формате. Участниками конференции станут более 100 студентов, преподавателей, ученых и специалистов в области образования из Беларуси и России. Это представители БГУ, БГУИР, Витебского […]
Хроника «80 неизвестных героев Великой Отечественной войны». Выпуск 24 02.07.2024
В преддверии важной памятной даты – 80-летия освобождения Беларуси от немецко-фашистских захватчиков БГУ запустил новую тематическую рубрику «80 неизвестных героев Великой Отечественной войны». Концепция хроники предполагает размещение на сайте вуза 80 уникальных историй о людях, которые были живыми свидетелями и участниками Великой Отечественной войны. Это не обязательно солдаты и офицеры. В этом списке значатся судьбы […]
Торжественная линейка ко Дню Независимости пройдет в БГУ 01.07.2024
Торжественная линейка, посвященная Дню Независимости, пройдет 2 июля в БГУ (ул. Бобруйская, 5а, внутренний дворик БГУ). Начало в 12.00. К участию приглашаются все желающие студенты и сотрудники университета. Отметим, День Независимости Республики Беларусь – это главный праздник белорусской государственности, отмечаемый ежегодно 3 июля. Знаменательное событие приурочено к освобождению Минска от немецко-фашистских захватчиков во время Великой […]