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

Доповідь «Програмно-орієнтовані логіки часткових предикатів»

У вівторок 24 вересня 2013 року в Інституті філософії ім. Г. С. Сковороди НАНУ, на відділі логіки та методології науки відбудеться

доповідь
Нікітченка Миколи Степановича
та
Шкільняка Степана Степановича
на тему

«Програмно-орієнтовані логіки часткових предикатів»

Початок доповіді: 15:00.
Місце проведення: вул. Трьохсвятительська 4, 3 пов., к. 319.

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

Найцитованіші логічні журнали

Інтернет-портал SCImago Journal & Country Rank, що працює на основі бази даних Scopus, дозволяє відстежувати цитованість наукових публікацій в окремих журналах та країнах. Кожна позиція — журнал чи країна — представлена не тільки числами, але й діаграмами.

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

Курс лекцій «Релевантна логіка» в КНУ

В Київському національному університеті події найближчого часу, пов’язані з логікою, не вичерпуються міжнародним семінаром «Філософія і логіка». Практично одразу після заходу, 27–30 травня ць. р. учасник семінару Зайцев Д. В. (МДУ, Москва) прочитає на філософському факультеті курс лекцій «Релевантна логіка». Наводимо план лекцій:

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

Міжнародний семінар «Філософія і логіка»

23–25 травня ць. р. в Київському національному університеті імені Тараса Шевченка на базі кафедри логіки філософського факультету відбудеться міжнародний семінар «Флософія і логіка». Запрошено 22 доповідачі з 11 країн світу.

Сайт семінару (en)

Програма заходу (en):

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

Лекції В. І. Маркіна в КНУ

Цього тижня, 22–26 квітня 2013 р. завідувач кафедри логіки МДУ (Москва) Володимир Ілліч Маркін прочитає в Київському національному університеті на кафедрі логіки курс лекцій на тему «Вчення про поняття та сучасна логіка». Розміщуємо офіційне оголошення та розклад лекцій:

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

Круглий стіл «Проблема смислу в гуманітарному пізнанні та культурних практиках»

В середу 24 квітня 2013 р. в Інституті соціальної та політичної психології НАПН України відбудеться круглий стіл на тему «Проблема смислу в гуманітарному пізнанні та культурних практиках». Оскільки представникам аналітичних дисциплін є що сказати про смисли, розміщуємо повідомлення від організаторів:

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

Доступ до журналів видавництва Taylor & Francis

Видавництво Taylor & Francis у квітні надає вільний доступ до ряду своїх журналів у чотирьох категоріях: «фізика», «інженерія», «інформатика» (Computer Science) та «математика й статистика». У двох останніх розділах сукупно бачимо три журнали логічного спрямування або з матеріалами з логічної тематики:

Доступ мають тільки зареєстровані користувачі. Тож, якщо зацікавили якісь статті, а реєстрації не маєте, звертайтеся, доки не минув квітень — завантажу, вишлю.

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

Харків: «Логіка і арґументація в праві» буде заочною

Організатори науково-практичної конференції «Логіка і арґументація в праві» у Харкові, строк подачі тез на яку ось-ось спливе, повідомили про деякі зміни у проведенні заходу. Зацитуємо:

Дата проведення конференції — 24 квітня 2013 року, формат конференції — заочний. Збірку матеріалів надсилатимуть авторам протягом двох тижнів з дня проведення конференції.

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

LATA 2013: програма конференції

Стала доступною програма LATA 2013 — VII-ої міжнародної конференції з теорії мови й автоматів та її застосувань. Розміщуємо її і на LNU:

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

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

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

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

2013 INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING

Дослідницька група з математичної лінгвістики з таррагонського університету Rovira i Virgili, яка щороку влаштовує цілий ряд наукових заходів, оголосила про проведення цього року літньої школи з тенденцій в обчисленнях. Оскільки серед пропонованих курсів є не тільки прикладні програмістські, але й фундаментальні, логічного спрямування, розміщуємо повідомлення від організаторів про проведення школи:

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

Конференція «МОВА І КУЛЬТУРА»

Аналітичні дисципліни, до яких, серед іншого, належить логіка, можна приблизно описати як галузі знання, котрі аналізують дійсність через мову. Саме тому у аналітиків в цьому сенсі є всі підстави контактувати з представниками інших мовознавчих дисциплін: філологами й лінгвістами, матлінгвістами, психолінгвістами.

Виходячи з таких міркувань, розміщую в новинній стрічці повідомлення про проведення цього року, 24–27 червня, в Києві чергової філологічної конференції «Мова і культура» — на якій передбачена окрема філософська секція:

Paper Development Workshop - Ukraine

Семінар-практикум з підготовки статей до друку в зарубіжних журналах

За сприяння Фонду Джона Темпелтона влітку 2013 і 2014 рр. відбудуться два семінари-практикуми, спрямовані на підтримку талановитих російських, українських і білоруських філософів, що мають бажання опублікувати свої роботи в якісних англомовних філософських журналах аналітичної традиції.

Реєстрація на сайті

У зв’язку з активізацією спамерів самостійна реєстрація на LNU відімкнена. Як що ви хочете зареєструватися на порталі, напишіть про це на адресу logic@logic.net.ua. В листі вкажіть справжнє ім’я та прізвище або прізвише, ім’я й по-батькові — ці дані, згідно з правилами LNU, будуть вашим логіном. Тимчасовий пароль для вас буде створено адміністратором, тому його слід змінити на власний при першому ж заході на сайт в якості зареєстрованого користувача.

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

Scope of Logic Theorems: конкурс наукових робіт на UNILOG'2013

Під час проведення наступного UNILOG-у (29 березня – 7 квітня 2013 року, Ріо-де-Жанейро, Бразилія), як і в попередні роки, буде організовано тематичний конкурс статей. Тема конкурсу наступного року: «Сукупність логічних теорем» (Scope of Logic Theorems). Статті на конкурс приймаються до 28 лютого 2013 року. Докладніше:

RSS-матеріал


by Dr. Radut