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


КАФЕДРА ЛОГ
ІКИ
Ф
ІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
КИ
ЇВСЬКОГО НАЦІОНАЛЬНОГО УНІВЕРСИТЕТУ

імені ТАРАСА ШЕВЧЕНКА

і

КАФЕДРА ЛОГІКИ

ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ

МОСКОВСЬКОГО ДЕРЖАВНОГО УНИВЕРСИТЕТУ

імені М.В. ЛОМОНОСОВА

2 – 6 грудня 2013 р.

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

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

«Темпоральні логіки: мова, семантика, числення»

за участю
кандидата філософських наук, доцента 

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

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


ПРОГРАМА

 

Понеділок, 2.12.2013

Ауд. 326

Час

Подія

11.00 – 12.20

Головні поняття LaTeX. Початок роботи з системою LaTeX.

12.20 – 12.40

Перерва

12.40 – 14.00

Оточення, переліки, таблиці. Локалізація помилок. Робота в математичному режимі, набір логічних формул. 


Вівторок, 3.12.2013

Ауд. 326

Час

Подія

11.00 – 12.20

Головні засоби форматування в LaTeX. Оформлення різних компонентів тексту.

12.20 – 12.40

Перерва

12.40 – 14.00

Макровизначення та команди користувача. Створення презентацій засобами LaTeX.

 

Середа, 4.12.2013

Ауд. 326

Час

Подія

11.00 – 12.20

Графіка в LaTeX

12.20 – 12.40 Перерва
12.40 – 14.00 Висловлювання з темпоральними параметрами та характеристиками, види темпоральних модальностей, історія розвитку теморальної логіки.

 

Четвер, 5.12.2013

Ауд. 326

Час

Подія

11.00 – 12.20

Властивості потоку часу та темпоральні структури

12.20 – 12.40

Перерва

12.40 – 14.00

Прайоровские системи темпоральної логіки: мінімальна система та її розширення.

 

П’ятниця, 6.12.2013

Ауд. 326

Час

Подія

9.00-10.20 Аналітико-табличні числення систем темпоральної логіки.
10.20-10.40 Перерва

10.40-12-00

Логіки різних типів  часу.

12.00-13.00

Перерва

13.20-14.00

Залік