Автор Тема: О теоретическом разделе  (Прочитано 1502 раз)

0 Пользователей и 1 Гость просматривают эту тему.

Оффлайн Admin

  • Администратор
  • Сообщений: 5046
  • Поблагодарили: 1576 раз(а)
    • Просмотр профиля
О теоретическом разделе
« : Октябрь 15, 2016, 01:11:21 am »
В ближайшее время на нашем форуме появится теоретический раздел. Если быть точнее, раздел, где я планирую выкладывать собственноручно написанные лекции по математической логике. Сейчас готовится к публикации электронная книга "Классическая логика высказываний. Базовый курс". Она состоит из шести частей:

1) Имена, высказывания, умозаключения.
2) Операции над высказываниями.
3) Формулы логики высказываний.
4) Равносильность формул логики высказываний.
5) Нормальные формы формул логики высказываний.
6) Следование формул логики высказываний.

В этом курсе классическая пропозициональная логика рассматривается с содержательной стороны. Все теоремы будут доказаны (кроме самых простейших, которые можно предоставить читателю как элементарные упражнения), подробно разобраны типовые задачи. Книга представляет собой самоучитель по алгебре высказываний и не требует почти никаких предварительных знаний. Она включает себя не только лекции, но и материал для практических занятий.

В будущем (при наличии свободного времени) намереваюсь написать и выложить на форуме ещё три курса:

а) Классическая логика предикатов. Базовый курс.

б) Классическая логика высказываний. Специальные главы.

в) Классическая логика предикатов. Специальные главы.

Часть материала для данных электронных книг уже готова.
 
Сказали спасибо: Байт, Alexey

Оффлайн Alexey

  • Модератор
  • Сообщений: 228
  • Поблагодарили: 154 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #1 : Октябрь 15, 2016, 01:23:49 am »
Это интересно! Я вот матлогику совсем не знаю. У нас пока не было (даже не знаю, будет ли). Будет интересно почитать и поучиться!
 
Сказали спасибо: Admin

Оффлайн Admin

  • Администратор
  • Сообщений: 5046
  • Поблагодарили: 1576 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #2 : Октябрь 15, 2016, 01:25:44 am »
Будет интересно почитать и поучиться!

Надеюсь, до конца октября всё закончу и выложу на форуме. Но не могу обещать, что сделаю это в срок.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 5046
  • Поблагодарили: 1576 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #3 : Ноябрь 02, 2016, 12:21:46 pm »
Надеюсь, до конца октября всё закончу

К сожалению, не уложился в срок. Но первые четыре лекции уже готовы. Осталось доделать две последние - про совершенные нормальные формы и следование формул логики высказываний.
 
Сказали спасибо: Alexey

Оффлайн Admin

  • Администратор
  • Сообщений: 5046
  • Поблагодарили: 1576 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #4 : Ноябрь 11, 2016, 10:48:42 pm »
Выложил первые четыре лекции. Остальные две (про нормальные формы и следование формул) опубликую позже. Приглашаю всех к обсуждению материала: можно задавать вопросы, критиковать, предлагать изменения и т.д.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 5046
  • Поблагодарили: 1576 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #5 : Март 05, 2017, 01:21:39 pm »
Готовлю вторую часть курса "Математическая логика". Она будет посвящена основным понятиям классической логики предикатов первого порядка.
 
Сказали спасибо: Alexey

Оффлайн Alexey

  • Модератор
  • Сообщений: 228
  • Поблагодарили: 154 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #6 : Март 07, 2017, 04:53:33 pm »
Я по логике высказываний до пятой лекции дошёл, но там доказательства трудные.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 5046
  • Поблагодарили: 1576 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #7 : Март 07, 2017, 06:35:34 pm »
доказательства трудные

Если не понятно что-то конкретное, можете задать вопрос в теме.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 5046
  • Поблагодарили: 1576 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #8 : Май 01, 2017, 01:08:10 pm »
Начал выкладывать лекции по классической логике предикатов первого порядка. Первые четыре лекции практически готовы (возможно, позже будут небольшие дополнения, в том числе задачи). Сейчас готовлю ещё четыре лекции. Они будут посвящены отношениям между формулам первопорядковой логики предикатов и отношениям между ними (равносильности и следованию), а также логике одноместных предикатов первого порядка (так называемой монадической логике предикатов).
 

Оффлайн Admin

  • Администратор
  • Сообщений: 5046
  • Поблагодарили: 1576 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #9 : Март 13, 2018, 12:37:01 pm »
Открылся новый раздел "Лекции по логике", куда я буду постепенно переносить изменённые и расширенные лекции по математической логике.
 
Сказали спасибо: Байт, Alexey, ARRY

Оффлайн ARRY

  • Пользователь
  • Сообщений: 231
  • Поблагодарили: 180 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #10 : Март 18, 2018, 12:08:35 am »
Admin
А почему в новом разделе невозможно выделить и скопировать кусок текста лекции? Хотел оставить пару комментов и замечаний.
Это у меня одного? Может, это зависит от браузера?
Предположим, что мы не так уж далеки от истины................Ксенофан
 

Оффлайн Admin

  • Администратор
  • Сообщений: 5046
  • Поблагодарили: 1576 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #11 : Март 18, 2018, 12:16:24 am »
А почему в новом разделе невозможно выделить и скопировать кусок текста лекции?

ARRY, это так у всех, есть некоторые технические проблемы. Надеюсь, скоро решить их.
 

Оффлайн Alexey

  • Модератор
  • Сообщений: 228
  • Поблагодарили: 154 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #12 : Март 18, 2018, 12:32:14 pm »
куда я буду постепенно переносить

А почему постепенно?
 

Оффлайн Admin

  • Администратор
  • Сообщений: 5046
  • Поблагодарили: 1576 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #13 : Март 18, 2018, 01:00:23 pm »
А почему постепенно?

Лекции будут существенно изменены.
Вообще, я решил назвать новый раздел теоретическим разделом, там будут размещаться материалы не только по математической логике, но и по другим разделам математики.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 5046
  • Поблагодарили: 1576 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #14 : Март 18, 2018, 01:01:00 pm »
Новый адрес - http://maths24.net/theory/
 

Оффлайн Admin

  • Администратор
  • Сообщений: 5046
  • Поблагодарили: 1576 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #15 : Март 18, 2018, 02:18:00 pm »
Сейчас выполняю различные настройки. В частности, в комментариях можно будет использовать LaTeX, для этого формулу нужно окружить одинарными знаками доллара.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 5046
  • Поблагодарили: 1576 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #16 : Март 18, 2018, 09:22:43 pm »
Теоретический раздел открыт для комментариев.
 
Сказали спасибо: ARRY

Оффлайн Admin

  • Администратор
  • Сообщений: 5046
  • Поблагодарили: 1576 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #17 : Март 19, 2018, 02:16:27 pm »
Критика, замечания, предложения приветствуются.
 

Оффлайн ARRY

  • Пользователь
  • Сообщений: 231
  • Поблагодарили: 180 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #18 : Март 19, 2018, 11:35:28 pm »
Admin
В комментариях к лекциям невозможно жирно выделить текст в цитате. В самом комменте всё нормально.
Предположим, что мы не так уж далеки от истины................Ксенофан
 

Оффлайн Admin

  • Администратор
  • Сообщений: 5046
  • Поблагодарили: 1576 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #19 : Март 19, 2018, 11:49:12 pm »
В комментариях к лекциям невозможно жирно выделить текст в цитате.

ARRY, проверил. Это действительно так. Надо подумать над этим...
 

Оффлайн Admin

  • Администратор
  • Сообщений: 5046
  • Поблагодарили: 1576 раз(а)
    • Просмотр профиля
Re: О теоретическом разделе
« Ответ #20 : Март 20, 2018, 04:33:56 pm »
ARRY, вижу Ваш комментарий к лекциям. Постараюсь подробно ответить позже...