...
前言 本文內容 聲明 自由群 引入 經典命題邏輯 自由群的引入 定義 泛性質 泛性質的意義 構造 字符 字 word 規約 自由 群結構 證明 形式化 diamond property 泛性質 自由群與 生成 生成子群 展示 草草結尾 前言 果然,堅持寫博客是一件非常困難的事。按照計划,這篇博客一年前就該寫出來了,那個時候我還在堅持學抽象代數 結果中間不知道發生了什么 總而言之一直耽擱到現在。 ...
2021-11-27 12:11 0 209 推薦指數:
...
我相信我的訂閱者中有很多是IT從業人員,我們在工作中會使用各種軟件,除了微軟、蘋果等軟件巨頭的商業軟件,還有更多的自由軟件。我們使用這些軟件構建自己的工作環境,為公司開發運營系統,為客戶實現業務流程,有時候為了增強完善補充功能,我們甚至會修改這些軟件的源代碼...... 那么什么是自由 ...
下面是一則筆記,關於緊致Lie群的基本群,之后有時間會補充例子。 一則評注:緊致lie群/lie代數/約化代數群,因為基本都被根系刻畫了,所以大家想要用根系描述他的所有信息,例如基本群,同調群,表示,子群等等,這些連續的東西最后轉化成一些可以把握住的有組合意味的刻畫,以上便是 ...
大家好,我是良許,前碼農,現在自由職業者。 有關注我朋友圈的小伙伴都知道,就在上周,我剛剛結束了長達 35 天的「假期」。 此言一出,立刻掀起了評論區留言狂潮,大家紛紛問我,你特么不是自由職業嗎?哪來的假期? 別急,請聽我慢慢道來。 這 35 天里,我的行程是這樣的:廣州出發 → 衡陽 ...
1. QT線程(QThread的子類)的退出: (1)使用terminate()函數無法退出;線程可能會立即被終止也可能不會,這取決於操作系統的調度策略,使用terminate()之后再使用Q ...
屬性名稱 說明 group :group= "name",相同的組之間可以相互拖拽 sort :sort= " ...
上篇文章,主要講述了理財工具的分類,要想實現財務自由,我們主要需要用好無風險和低風險類的理財工具即可。在這兩類中,又存在三大核心的工具,即企業、股票和REITs 購買生錢資產,主要就是購買生錢資產類型的股票和REITs 創造生錢資產,主要就是創造企業 其中:用好了企業,會成為企業家;用好 ...
終於離開的這家我服務了2年的公司。本來不計划吐槽發感慨,我一直是樂觀調侃談笑寫代碼,不過自從我離職那天起,我的個人技術試驗站流量開始上漲,好像在慶賀我終於覺悟了一樣, 之前我也寫過一些我自己寫代 ...