お知らせ ビープラウド、「90日で稼げるプログラマーに」オンライン学習サービス「PyQ(パイキュー)」を販売開始

このエントリーをはてなブックマークに追加

11月

27

LogicCafe #5

なごやでおちゃのんでおかしたべながら論理のおべんきょうをするかい

主催 : its_out_of_tune

ハッシュタグ :#logic_cafe
募集内容

参加枠1

無料

先着順
5/15

イベントの説明

さいしゅうもくひょう

古典論理/直観主義論理/線形論理

を、基本の「き」から学習し、ひと通り全員が内容を理解する事を目標とします。

はじめてのひとへ

現在は述語論理の基本として、教科書「記号論理入門」を読んでいます。 持参して頂ければスマートかと思いますが、予備が一冊ある他、隣の人に見せてもらうとかも出来ますので、持っていなくても気にせず参加して頂ければと思います。

ぜんかいやったこと

  • 記号論理入門を2章sec6(52page)まで読んだ
  • なんか色々駄弁った

こんかいやること

  • 前回参加していなかった人が居たら、ざっと復習する
  • 記号論理入門を2章sec7(53page)からみんなで読む

かいじょうについて

休日は正面出入口が開いていないので、その脇の通用口まで主催者が迎えに行きます。

開場5〜10分前くらいから主催者(@its_out_of_tune ロン毛でヒゲのにーやん)が待機しているので、声をかけてください。

14:00以降にいらっしゃる方は、Twitterアカウントまでリプライお願いします。

(Twitterをやっていない方のために、このページのフィード欄もいちおう注意して見ておきますが、もしかしたら見逃しちゃうかもしれません……)

室内の飲食は構いませんが、こぼしたり汚したりしないようにだけ、ご協力をお願いします。

資料 資料をもっと見る/編集する

資料が投稿されると、最新の3件が表示されます。

フィード

its_out_of_tune

its_out_of_tune さんが LogicCafe #5 を公開しました。

2016/10/29 18:17

LogicCafe #5 を公開しました!

グループ

LogicCafe

なごやでおちゃのんでおかしたべながら論理のおべんきょうをするかい

イベント数 7回

メンバー数 25人

終了

2016/11/27(日)

14:00
18:30

募集期間
2016/10/29(土) 18:17 〜
2016/11/27(日) 18:30

会場

株式会社オンザロード

460-0003 愛知県名古屋市中区錦1丁目19−24、名古屋第一ビル

株式会社オンザロード

管理者

参加者(5人)

kekyo

kekyo

LogicCafe #5 に参加を申し込みました!

c0hama

c0hama

LogicCafe #5に参加を申し込みました!

ryokayan

ryokayan

LogicCafe #5に参加を申し込みました!

keita44_f4

keita44_f4

LogicCafe #5に参加を申し込みました!

jx7548469

jx7548469

LogicCafe #5 に参加を申し込みました!

参加者一覧(5人)

キャンセルした人(1人)