Поиск по сайту

Google на mf.grsu.by

Информационный бюллетень 1 Информационный бюллетень 2

Навiны матэматычнай адукацыi

Iнфармацыйны бюлецень №2

        В Институте математики Национальной Академии Наук Беларуси успешно защитили диссертации на соискание степени кандидата физико-математических наук молодые преподаватели кафедры алгебры, геометрии и методики преподавания математики Юрий Яцентович Романовский и Ирина Александровна Корлюкова.

        В своей диссертации Ю.Я.Романовский построил геометрию собственной группы Пуанкаре с помощью дифференциально-геометрических структур на однородных пространствах, порожденных глобальной парой этой группы. И.А.Корлюкова, используя свои результаты о распределении действительных корней многочленов, доказала ряд новых теорем о совместных приближениях нуля значениями целочисленных полиномов в различных метриках.

        Результаты гродненских математиков получили высокую оценку столичных специалистов.

Соб.инф.

        У кнiзе разглядаюцца асновы класiчнай матэматычнай логiкi: злiчэнне выказванняý, злiчэнне прэдыкатаý, азначэнне алгарытму (машына Т'юрынга).

        Злiчэнне выказванняý выкладаецца ý раздзелах 1 i 2: у раздзеле 1 - тэорыя мадэляý, у раздзеле 2 - тэорыя доказаý. У §§1-2 раздзелу 1 азначаюцца аперацыi над выказваннямi, формулы алгебры выказванняý; даказваюцца правiла падстановы, прынцып дуальнасцi i iншыя сцверджаннi; даецца азначэнне логiкавага вынiку. У §3 раздзелу 1 даказваецца, што вывучэнне прапазiцыйных формулаý з дакладнасцю да эквiвалентнасцi раýназнанае вывучэнню булевых функцыяý; даюцца азначэннi дыз'юнкцыйнай i кан'юнкцыйнай нармальных формаý. У §1 раздзелу 2 даецца азначэнне фармальнай аксiяматычнай тэорыi, вывядзення ý фармальнай тэорыi, тэарэмы (выводнай формулы), вывядзення з мноства гiпотэзаý, развязальнай тэорыi. У §2 вывучаецца аксiяматычная тэорыя злiчэнне выказванняý. Даказваюцца тэарэмы дэдукцыi i поýнасцi, несупярэчлiвасць i развязальнасць злiчэння выказванняý.

        У раздзеле 3 выкладаецца злiчэнне прэдыкатаý: у § §1-3 - тэорыя мадэляý, у § §4-6 - тэорыя доказаý (тэорыi першага парадку). Як прыклад тэорыi першага парадку ý §6 падаецца фармальная арытметыка. У §7 разглядаюцца некаторыя пытаннi, што ýзнiкаюць пры перакладзе з натуральнай мовы на мову логiкi выказванняý i прэдыкатаý. Гэты параграф, а таксама прыклады з §2 раздзелу 1 i §3 раздзелу 2, дзе праводзiцца аналiз разважанняý, будуць карыснымi для чытачоý не толькi пры вывучэннi матэматыкi, але i дапамогуць больш дакладна формуляваць свае думкi i аналiзаваць разважаннi ý штодзëнным жыццi - якасць, якую павiнны мець кожны, хто мае матэматычную адукацыю.

        У раздзеле 4 даецца адно з раýназначных азначэнняý алгарытму - машына Т'юрынга.

        Навучальны дапаможнiк "Уводзiны ý матэматычную логiку" будзе карысны не толькi студэнтам матэматычных спецыяльнасцяý ВНУ, але i студэнтам каледжаý, навучэнцам лiцэяý, а таксама выкладчыкам з прычыны невялiкай колькасцi лiтаратуры па матэматычнай логiцы на беларускай мове. Гэтая кнiжка - адна з невялiкай колькасцi кнiг па вышэйшай матэматыцы, напiсаных па-беларуску. Дапаможнiк можна набыць у выдавецкiм цэнтры ГрДзУ.

Уласн. iнф.

        19 снежня 2008 года на базе Гродзенскай гарадской гiмназii (былая школа-лiцэй № 1) адбылася I абласная навукова-практычная канферэнцыя вучняý i педагагiчных работнiкаý адукацыi Гродзенскай вобласцi "Крыштальная Альфа - 2008", арганiзаваная Упраýленнем адукацыi Гродзенскага аблвыканкама i Гродзенскiм дзяржаýным унiверсiтэтам iмя Янкi Купалы.

        Правядзенню канферэнцыi папярэднiчала вялiкая падрыхтоýчая работа. Дасланыя ý аргкамiтэт больш за 180 дакладаý школьнiкаý з усiх раëнаý Гродзеншчыны прайшлi рэцэнзаванне, у якiм прынялi ýдзел 53 выкладчыкi пяцi факультэтаý унiверсiтэта. 139 лепшых работ былi прадстаýлены вучнямi ý 9 секцыях канферэнцыi па асноýным школьным дысцыплiнам. Лепшыя даклады былi адзначаны дыпломамi журы i рэкамендаваныя да ýдзелу ý Рэспублiканскай канферэнцыi школьнiкаý, якая адбылася 27 лютага - 1 сакавiка ý г. Мiнску.

        Адзначым, что ý рабоце секцыi "Студэнты. Магiстранты. Аспiранты" прынялi ýдзел 9 студэнтаý факультэта матэматыкi i iнфарматыкi ГрДУ. Тэзiсы iх дакладаý рэкамендаваныя да надрукавання ý зборнiку матэрыялаý канферэнцыi, якi плануецца да выдання.

Намеснiк старшынi
аргкамiтэту канферэнцыi
А.М. Мятлiцкi

        В феврале 2009 года в БГУ состоялось заседание Минского городского геометрического семинара, посвященное юбилею известного белорусского математика профессора В.И.Ведерникова (1919-1991). Окончив в 1941 году физмат Воронежского университета, защитив кандидатскую и докторскую диссертации, он в 1969 году возглавил кафедру геометрии Белгосуниверситета. В.И.Ведерников стал одним из создателей теории обобщенных симметрических пространств, определив ее развитие в разных направлениях на долгие годы. В числе многочисленных учеников Василия Ивановича есть и преподаватели нашего факультета. Предлагаем Вашему вниманию фрагмент программы, представленной одним из участников заседания Ю.Я.Романовским.

Программа научных докладов

11 февраля 2009 г.

С.Г. Лейко (Украина, Одесский национальный университет)
"Геодезический поток на сферическом касательном расслоении"

12 февраля 2009 г.

В.И. Янчевский (Минск, БГУ-ИМ НАНБ)
"Строение внешних форм групп типа A_n (специальные унитарные группы некоммутативного типа)"

С.М. Агеев (Минск, БГУ)
"О реализации резольвенты Чигогидзе в евклидовом пространстве"

В.В. Балащенко (Минск, БГУ)
"В.И. Ведерников и обобщенные симметрические пространства" (к 45-летию теории)

С.Г. Кононов (Минск, БГУ)
"Редуцирующие эндоморфизмы главных расслоений"

М.В. Милованов (Минск, БГПУ)
"Полные инволютивные наборы функций на кокасательных расслоениях компактных солвмногообразий"

Б.Д. Чеботаревский (Могилев, МоГУ)
"О современном состоянии школьного математического образования"

Ю.Я. Романовский (Гродно, ГрГУ)
"Глобальные пары, порожденные собственной группой Пуанкаре"

А.А. Ермолицкий (Минск, МГВРТК)
"Деформации структур к геометрической черной дыре компактного многообразия"

        Сëння факультатыý ужо зусiм не той, што быý учора. Калi раней ëн успрымаýся многiмi педагогамi як "даважка" да асноýнага вiду дзейнасцi, то цяпер факультатыý стаý асноýнай формай дыферэнцыяцыi для агульнаадукацыйнай школы, паказчыкам прафесiяналiзму для настаýнiка, а для дзяцей сродкам задавальнення адукацыйных патрэб i асобаснага развiцця. Як адзначана ý Тлумачальнай запiсцы да Адзiных тыпавых вучэбных планаý, факультатыýныя заняткi - гэта форма арганiзацыi вучэбных заняткаý у пазаýрочны час, накiраваная на пашырэнне, паглыбленне i карэкцыю ведаý вучняý па вучэбных прадметах у адпаведнасцi з iх патрабаваннямi, запытамi, здольнасцямi i схiльнасцямi, а таксама на актывiзацыю пазнавальнай дзейнасцi. У дапамогу настаýнiкам i арганiзатарам факультатыýных заняткаý напярэдаднi новага навучальнага года быý выпушчаны дапаможнiк пад назвай "Арганiзацыя факультатыýных заняткаý у 11-гадовай школе". ëн быý рэкамендаваны да выпуску рэдакцыйна-выдавецкiм саветам Акадэмii паслядыпломнай адукацыi. Аýтары дапаможнiка - навукоýцы Мiкалай Iванавiч Запрудскi, загадчык кафедры педагогiкi i фiласофii АПА, кандыдат педагагiчных навук, дацэнт, i Ганна Iванаýна Дабрынеýская, метадыст вышэйшай катэгорыi АПА, заслужаны работнiк адукацыi Рэспублiкi Беларусь.

        Дапаможнiк складаецца з трох раздзелаý, у якiх аýтары iмкнулiся разгледзець паняццi i функцыi факультатыýных заняткаý у сучаснай школе, кiраýнiцкiя аспекты iх арганiзацыi, пытаннi эфектыýнасцi адукацыйнага працэсу ý сiстэме "ýрок - факультатыý". У канцы кнiжкi ý якасцi дадатку прапануюцца цiкавыя i карысныя рэкамендацыi па выбары дзецьмi факультатыýных заняткаý, анкета па вывучэннi стаýлення вучняý да факультатываý, рэкамендацыi настаýнiкам па напiсаннi праграмы факультатыýнага курса, методыка выбару тэхналогii для факультатыýных заняткаý i г.д.

"Настаýнiцкая газета", № 149, 27 лiстапада 2008 года