Skip to Content

Курси лекцій з LaTeX-у та часової логіки в КНУ

Зображення користувача Ярослав Кохан.

Колеги з кафедри логіки КНУ імені Тараса Шевченка повідомляють, що 25 лютого – 1 березня ць. р. в університеті О. М. Григор’єв (МДУ, Москва) прочитає два курси лекцій: «Вступ до системи підготовки наукових текстів LaTeX» та «Темпоральна логіка». Офіційна інформація та розклад лекцій:

Курси лекцій Олега Михайловича Григор’єва

КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
КИЇВСЬКОГО НАЦІОНАЛЬНОГО УНІВЕРСИТЕТУ
імені ТАРАСА ШЕВЧЕНКА
і
КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
МОСКОВСЬКОГО ДЕРЖАВНОГО УНИВЕРСИТЕТУ
імені М.В. ЛОМОНОСОВА

25 лютого – 1 березня 2013 р.

проводить курси лекцій

«Вступ до системи підготовки наукових текстів LaTeX»
і
«Темпоральна логіка»

за участю

Григор’єва Олега Михайловича

(МДУ імені М.В. Ломоносова)

 


 

ПРОГРАМА

лекційного курсу

«Вступ до системи підготовки наукових текстів LaTeX»

Понеділок, 25.02.2013
Ауд. 330
Час Подія
10.00 – 11.20 Головні поняття LaTeX. Початок роботи з системою LaTeX.
11.20 – 11.40 Перерва
11.40 – 13.00 Оточення, переліки, таблиці. Локалізація помилок. Робота в математичному режимі, набір логічних формул.

Вівторок, 26.02.2013
Ауд. 330
Час Подія
10.00 – 11.20 Головні засоби форматування в LaTeX. Оформлення різних компонентів тексту.
11.20 – 11.40 Перерва
11.40 – 13.00 Макровизначення та команди користувача. Створення презентацій засобами LaTeX.

Середа, 27.02.2013
Ауд. 330
Час Подія
10.00 – 11.20 Графіка в LaTeX

 


 

ПРОГРАМА

лекційного курсу

«Темпоральна логіка»

Середа, 27.02.2013
Ауд. 330
Час Подія
11.40 – 13.00 Висловлювання з темпоральними параметрами та характеристиками, види темпоральних модальностей, історія розвитку темпоральної логіки.

Четвер, 28.02.2013
Ауд. 330
Час Подія
10.00 – 11.20 Властивості потоку часу та темпоральні структури
11.20 – 11.40 Перерва
11.40 – 13.00 Прайоровські системи темпоральної логіки: мінімальна система та її розширення.

П’ятниця, 1.03.2013
Ауд. 330
Час Подія
10.00 – 11.20 Логіки лінійного та розгалуженого часу.
11.20 – 11.40 Перерва
11.40 – 13.00 Метатеоретичні властивості логічних числень систем темпоральної логіки.

 



story | by Dr. Radut