Колеги з кафедри логіки КНУ імені Тараса Шевченка повідомляють, що 25 лютого – 1 березня ць. р. в університеті О. М. Григор’єв (МДУ, Москва) прочитає два курси лекцій: «Вступ до системи підготовки наукових текстів LaTeX» та «Темпоральна логіка». Офіційна інформація та розклад лекцій:
КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
КИЇВСЬКОГО НАЦІОНАЛЬНОГО УНІВЕРСИТЕТУ
імені ТАРАСА ШЕВЧЕНКА
і
КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
МОСКОВСЬКОГО ДЕРЖАВНОГО УНИВЕРСИТЕТУ
імені М.В. ЛОМОНОСОВА
25 лютого – 1 березня 2013 р.
проводить курси лекцій
«Вступ до системи підготовки наукових текстів LaTeX»
і
«Темпоральна логіка»
за участю
(МДУ імені М.В. Ломоносова)
лекційного курсу
| Час | Подія |
|---|---|
| 10.00 – 11.20 | Головні поняття LaTeX. Початок роботи з системою LaTeX. |
| 11.20 – 11.40 | Перерва |
| 11.40 – 13.00 | Оточення, переліки, таблиці. Локалізація помилок. Робота в математичному режимі, набір логічних формул. |
| Час | Подія |
|---|---|
| 10.00 – 11.20 | Головні засоби форматування в LaTeX. Оформлення різних компонентів тексту. |
| 11.20 – 11.40 | Перерва |
| 11.40 – 13.00 | Макровизначення та команди користувача. Створення презентацій засобами LaTeX. |
| Час | Подія |
|---|---|
| 10.00 – 11.20 | Графіка в LaTeX |
лекційного курсу
| Час | Подія |
|---|---|
| 11.40 – 13.00 | Висловлювання з темпоральними параметрами та характеристиками, види темпоральних модальностей, історія розвитку темпоральної логіки. |
| Час | Подія |
|---|---|
| 10.00 – 11.20 | Властивості потоку часу та темпоральні структури |
| 11.20 – 11.40 | Перерва |
| 11.40 – 13.00 | Прайоровські системи темпоральної логіки: мінімальна система та її розширення. |
| Час | Подія |
|---|---|
| 10.00 – 11.20 | Логіки лінійного та розгалуженого часу. |
| 11.20 – 11.40 | Перерва |
| 11.40 – 13.00 | Метатеоретичні властивості логічних числень систем темпоральної логіки. |