ConceptPortal-public/rsconcept/frontend/src/components/man/HelpRSLang.tsx

43 lines
2.0 KiB
TypeScript
Raw Normal View History

2023-08-27 23:04:57 +03:00
import { useMemo } from 'react';
import EmbedYoutube from '@/components/ui/EmbedYoutube';
import useWindowSize from '@/hooks/useWindowSize';
import { urls, youtube } from '@/utils/constants';
2023-08-27 23:04:57 +03:00
2023-09-29 16:28:26 +03:00
const OPT_VIDEO_H = 1080;
2023-08-23 18:11:42 +03:00
function HelpRSLang() {
2023-08-27 23:04:57 +03:00
const windowSize = useWindowSize();
2023-12-28 14:04:44 +03:00
const videoHeight = useMemo(() => {
2023-08-27 23:04:57 +03:00
const viewH = windowSize.height ?? 0;
const viewW = windowSize.width ?? 0;
2024-02-22 15:07:05 +03:00
const availableWidth = viewW - (windowSize.isSmall ? 35 : 290);
return Math.min(OPT_VIDEO_H, viewH - 320, Math.floor((availableWidth * 9) / 16));
2023-08-27 23:04:57 +03:00
}, [windowSize]);
2023-12-28 14:04:44 +03:00
// prettier-ignore
2023-08-23 18:11:42 +03:00
return (
2023-12-18 20:45:33 +03:00
<div className='flex flex-col gap-4'>
2023-09-29 16:28:26 +03:00
<div>
<h1>Родоструктурная экспликация концептуальных схем</h1>
<p>Формальная запись (<i>экспликация</i>) концептуальных схем осуществляется с помощью языка родов структур.</p>
<p>Данный математический аппарат основан на аксиоматической теории множеств Цермелло-Френкеля и аппарате родов структур Н.Бурбаки.</p>
<p>Для ознакомления с основами родов структур можно использовать следующие материалы:</p>
<ul>
<li>1. <a className='underline' href={urls.intro_video}>Видео: Краткое введение в мат. аппарат</a></li>
<li>2. <a className='underline' href={urls.ponomarev}>Текст: Учебник И. Н. Пономарева</a></li>
<li>3. <a className='underline' href={urls.full_course}>Видео: лекции для 4 курса (второй семестр 2022-23 год)</a></li>
</ul>
2023-08-23 18:11:42 +03:00
</div>
2023-12-21 17:40:36 +03:00
<div className='justify-center w-full'>
2023-09-29 16:28:26 +03:00
<EmbedYoutube
videoID={youtube.intro}
pxHeight={videoHeight}
/>
</div>
</div>);
2023-08-23 18:11:42 +03:00
}
2023-12-28 14:04:44 +03:00
export default HelpRSLang;