Ph.D. student
Tamazyan Hakob
Date and place of defense
Monday, june 17, 2024
15:00
0025, 謩. 缘謤謬铡斩, 员宅榨謩 談铡斩崭謧寨盏铡斩, 1
Subject:
Investigation of proof complexities in various known and newly constructed propositional calculus systems
Professional council:
Code of specialty:
员.01.09-談铡诈榨沾铡湛斋寨铡寨铡斩 寨斋闸榨占斩榨湛斋寨铡 謬 沾铡诈榨沾铡湛斋寨铡寨铡斩 湛謤铡沾铡闸铡斩崭謧诈盏崭謧斩
猿斋湛铡寨铡斩 詹榨寨铡站铡謤:
諌崭謧闸铡謤盏铡斩 员斩铡瞻斋湛 员謤湛铡辗榨战斋
(謫斋咋沾铡诈. 眨斋湛. 栅崭寨湛崭謤, 蘸謤崭謫榨战崭謤)
员.01.09
Opponents:
諍崭詹崭战盏铡斩 苑. 談.
(謫斋咋沾铡诈. 眨斋湛. 栅崭寨湛崭謤)
员.01.09
圆崭宅斋闸榨寨盏铡斩 諃. 諏.
(謫斋咋沾铡诈. 眨斋湛. 诈榨寨斩铡债崭謧)
Leading organization:
諃铡盏-諏崭謧战铡寨铡斩 /諐宅铡站崭斩铡寨铡斩/ 瞻铡沾铡宅战铡謤铡斩
Abstract: