[{"content":"Aufgabenstellung Zeigen Sie, dass die Operatormenge {$\\not\\rightarrow$, 1} vollständig ist, wobei 1 eine gültige Formel repräsentiert und durch folgende Wahrheitstafel definiert wird: Zeigen Sie,dass die Operatormenge{♦,→}vollständigist,wobei $\\rightarrow$ der übliche Implikations-Operator ist und ♦ (“Dingsi”) durch folgende Wahrheitstafel definiert wird: Zwischenschritt Vergleiche die obigen Wahrheitstabellen, um eindeutlich zu erklären.\nWir wissen, $ A \\rightarrow B \\equiv \\lnot A \\lor B $\nd.h. wenn B=0, erhalten wir die Darstellung von $ \\lnot A $.\nSchaue die erste Wahrheitstabelle an, schreiben wir DNF wie $ A \\not \\rightarrow B \\equiv A \\land \\lnot B $, d.h. wenn A=1, bekommen wir $ \\lnot B $. Warum schreibt man DNF? Denn es liegt nur einen Einswert darin, deshalb vereinfachen wir die Aufgabe.\nWährend macht man DNF oder KNF in zweite Wahrheitstabelle(Aufgabe 2) nicht gut, denn wir haben sowohl zwei Einswerte als auch zwei Nullswerte. In der Tatsache wählen wir KNF oder DNF aus, um die Wahrheitstafeln der Formel darzustellen, dann können wir von der KNF oder DNF die Beschreibung der Negation bestimmen.\nFalls es das Zeichen Negation gibt, schaffen wir die Aufgabe zu Vollständigkeit locker. Bei der Aufgabe 10b, betrachten wir die Wahrheitstabelle, die eine Negation der ersten(Implikation) Tabelle ist. d.h.\n$ A \\not\\rightarrow B \\equiv \\lnot (A \\rightarrow B) $, eigentlich genau wie DNF, die obig erwähnt ist.\nJetzt löschen wir die Aufgabe 1,\nNegation: $ \\lnot B \\equiv 1 \\not \\rightarrow B $\nUnd: $ A \\lor B \\equiv \\lnot A \\rightarrow B \\equiv \\lnot \\lnot (\\lnot A \\rightarrow B ) \\equiv \\lnot (\\lnot (\\lnot A \\rightarrow B )) \\equiv \\lnot (\\lnot A \\not \\rightarrow B) $\nIch würde die zweite Wahrheitstabelle (Aufgabe 2), die kompliziert ist. Aber wir betrachten auch die Formel von Implikation. Denn es gibt negierte Aussage in der Formel der Implikation, nämlich $ A \\rightarrow B \\equiv \\lnot A \\lor B $, damit können wir schnell das Zeichen von Negation bekommen dadurch, dass wir B=0 setzen. Zurzeit liegt es daran, wie man den Nullswert finden.\nWerfe einen Blick auf die zweite Wahrheitstabelle, suche die Nullswerte darin. Also steht dies Nulls in erster und letzter Zeile. Welche Eigenschaften besitzen die Zeilen? d.h. wenn A und B gleichen Wert besitzen, nämlich A ♦ A = 0. Also lösen wir nach der obigen Methode schnell auf.\n","permalink":"https://blog.aixup.de/posts/vollstaedigkeit-operator/","summary":"\u003ch3 id=\"aufgabenstellung\"\u003eAufgabenstellung\u003c/h3\u003e\n\u003col\u003e\n\u003cli\u003eZeigen Sie, dass die Operatormenge {$\\not\\rightarrow$, 1} vollständig ist, wobei 1 eine gültige Formel repräsentiert und  durch folgende Wahrheitstafel definiert wird:\u003c/li\u003e\n\u003cli\u003eZeigen Sie,dass die Operatormenge{♦,→}vollständigist,wobei $\\rightarrow$ der übliche Implikations-Operator ist und ♦ (“Dingsi”) durch folgende Wahrheitstafel definiert wird:\u003c/li\u003e\n\u003c/ol\u003e\n\u003cp\u003e\u003cimg alt=\"Vollstaedigkeit\" loading=\"lazy\" src=\"/posts/vollstaedigkeit-operator/Vollstaedigkeit.png\"\u003e\u003c/p\u003e\n\u003ch4 id=\"zwischenschritt\"\u003eZwischenschritt\u003c/h4\u003e\n\u003cp\u003eVergleiche die obigen Wahrheitstabellen, um eindeutlich zu erklären.\u003c/p\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cp\u003eWir wissen, $ A \\rightarrow B \\equiv \\lnot A \\lor B $\u003c/p\u003e\n\u003cp\u003ed.h. wenn B=0, erhalten wir die Darstellung von $ \\lnot A $.\u003cbr\u003e\nSchaue die erste Wahrheitstabelle an, schreiben wir DNF wie $ A \\not \\rightarrow B \\equiv A \\land \\lnot B $, d.h. wenn A=1, bekommen wir $ \\lnot B $. Warum schreibt man DNF? Denn es liegt nur einen Einswert darin, deshalb vereinfachen wir die Aufgabe.\u003c/p\u003e","title":"die Vollstaedigkeit der Operatoren"},{"content":"Bereinigte Form erfüllt die folgenden Bedingungen,\nJede gebundene Variable in der Form wird unterschiedlich genannt.\nz.B.\n$ \\forall xP(x) \\lor \\forall xQ(x) $ ist keine bereinigte Form.\n$ \\equiv \\forall xP(x) \\lor \\forall yQ(y) $ gebundene UmbenennungQ(x)[x/y], bereinigte Form Keine Variable in der Formel ist sowohl gebunden als auch frei.\nz.B.\n$ \\forall xP(x) \\lor Q(x) $ ist keine bereinigte Form.\n$\\equiv \\forall yP(y) \\lor Q(x) $ bereinigt\nAchtung: $\\forall xP(x) \\lor Q(y)$ Das geht nicht. Denn bei der Bereinigung darf man nur die gebundene Variable umbenennen. Jetzt nehmen wir noch ein Beispiel, das die obigen Eigenschaften besitzt.\nz.B.\n$ \\forall xP(x) \\lor Q(x) \\lor \\exists xQ(x) $ nicht bereinigt\n$ \\equiv \\forall xP(x) \\lor Q(y) \\lor \\exists zQ(z) $ bereinigt\nBei der Aufgabe 32:\n(a) $ \\forall x(P(x) \\lor Q(a) \\lor \\exists xQ(x)) $\n$ \\equiv \\forall x(P(x) \\lor Q(a) \\lor \\exists yQ(y)) $\n(b) $ \\forall x(P(x) \\rightarrow \\exists x(Q(x) \\rightarrow \\forall x(\\forall x R(x) \\rightarrow S(x)))) $\n$ \\equiv \\forall x(P(x) \\rightarrow \\exists y(Q(y) \\rightarrow \\forall z(\\forall u R(u) \\rightarrow S(z)))) $\n","permalink":"https://blog.aixup.de/posts/bereinigte-form/","summary":"\u003cp\u003eBereinigte Form erfüllt die folgenden Bedingungen,\u003c/p\u003e\n\u003col\u003e\n\u003cli\u003eJede gebundene Variable in der Form wird unterschiedlich genannt.\u003cbr\u003e\nz.B.\u003cbr\u003e\n$ \\forall xP(x) \\lor \\forall xQ(x) $    ist keine bereinigte Form.\u003cbr\u003e\n$ \\equiv \\forall xP(x) \\lor \\forall yQ(y) $   gebundene UmbenennungQ(x)[x/y], bereinigte Form\u003c/li\u003e\n\u003cli\u003eKeine Variable in der Formel ist sowohl gebunden als auch frei.\u003cbr\u003e\nz.B.\u003cbr\u003e\n$ \\forall xP(x)  \\lor Q(x) $ ist keine bereinigte Form.\u003cbr\u003e\n$\\equiv \\forall yP(y)  \\lor Q(x) $ bereinigt\u003cbr\u003e\n\u003cstrong\u003eAchtung:\u003c/strong\u003e $\\forall xP(x)  \\lor Q(y)$ Das geht nicht. Denn bei der Bereinigung darf man nur die gebundene Variable umbenennen.\u003c/li\u003e\n\u003c/ol\u003e\n\u003cp\u003eJetzt nehmen wir noch ein Beispiel, das die obigen Eigenschaften besitzt.\u003cbr\u003e\nz.B.\u003cbr\u003e\n$ \\forall xP(x) \\lor Q(x) \\lor \\exists xQ(x) $ nicht bereinigt\u003cbr\u003e\n$ \\equiv \\forall xP(x) \\lor Q(y) \\lor \\exists zQ(z) $ bereinigt\u003c/p\u003e","title":"Bereinigte Form"},{"content":"缘自不理解二项分布的期望，方差和似然函数，而又必须面对期末考试，为了不挂科所以必须把这些概念和推导搞明白。\n二项分布是啥？ 伯努力实验（Bernoulli-Experiment）：非黑即白，只有{1,0}两个结果。1:事件发生，0:事件不发生。\n一般我们会做这样的实验：抛n次硬币，m次是头(Kopf)的概率。这就服从二项分布。\n**特别注意：**我们必须分清，整个N次实验对应的随机变量X和单次的（比如：$\\bar X$，此时$\\bar X$对应的正态分布函数和X是不同的。）\nN次和1次 首先我必须吐槽一下，我个人经常被二项分布里的N次实验和1次实验（比如均值）给弄得找不着北。我们知道期望一般都是用符号$\\mu$来表示，但是经常我们看到的是这样：\n$N次实验: E(X)=\\mu$ $均值\\bar X的期望: E(\\bar X)=\\frac{1}{n}\\sum_{i=1}^nE(x_i)=\\frac{1}{n}n\\mu=\\mu$ 我不禁要说，这是闹哪样？你俩的结果看起来完全一样！这导致我一直不理解二项分布。实际上我们应该像wikipedia上一样写：\n$N次实验: E(X)=\\mu_n$\n下标加上n就知道是n次伯努力实验，因此$\\mu_n=np$。\n$均值\\bar X的期望: E(\\bar X)=\\frac{1}{n}\\sum_{i=1}^nE(x_i)=\\frac{1}{n}n\\mu=\\mu$\n这里不用变，因为就表示一次伯努力实验，一次实验的结果只有0和1的可能。当P代表出现的概率时，$E(x_i)=P+0(1-P)=P=\\mu$。所以一次实验的期望始终是P。\n二项分布均值的期望和方差 事件发生的概率 P，对应于值「1」\n事件未发生的概率 1-P，对应于值「0」\n一次伯努力实验的期望和方差，如下：\n$E(x_i)=P+0(1-P)=P=\\mu,i=1,2,3…n$\n$Var(x_i)=E((x_i-\\mu)^2)=E(x_i^2)-\\mu^2=1^2P+0^2(1-P)=P-\\mu^2=P-P^2=P(1-P)$ 均值的期望和方差\n$E(\\bar X)=\\frac{1}{n}\\sum_{i=1}^nE(x_i)=\\frac{1}{n}n\\mu=\\mu＝P$\n$Var(\\bar X)=Var(\\frac{x_1+…+x_n}{n})=\\frac{1}{n^2}\\sum_{i=1}^nVar(x_i)=\\frac{1}{n^2}n\\sigma^2=\\frac{\\sigma^2}{n}=\\frac{P(1-P)}{n}$ 正态分布关于均值的考试题型 我经常在置信区间遇到这种类型的题目。比如平时练习中的一道题：\nEin Psychologe misst bei 100 zufällig ausgewählten Personen die Reaktionszeit auf ein bestimmtes Signal. Dabei ergibt sich ein Mittelwert von $\\bar X = 0,80$ Sekunden. Unter Annahme, dass die Zufallsvariablen $X_1, …, X_{100}$, welche die Reaktionszeit beschreiben, unabhängig und $N(\\mu, 0,04)$-verteilt sind, berechne man ein 0,95-Konfidenzintervall für $\\mu$.\n一次心理测验中，随机选中100个人，测试其对于一个特定信号的反应时间。给定平均值为0,80秒。在这种假设下，每个随机变量$X_1, …, X_{100}$都描述反应时间，它们互相独立且满足$N(\\mu, 0,04)$正态分布，求0,95-置信区间下的$\\mu$。注：0,04=0.04\n给定如下正态分布表格\n$\\alpha$ 0,05 0,025 0,005 0,0025 $1-\\alpha$ 0,95 0,975 0,995 0,9975 $\\phi^-1(1-\\alpha)$ 1,645 1,960 2,576 2,807 解:\n标准化均值随机变量：$\\frac{\\bar X-E(\\bar X)}{\\sqrt{Var(\\bar X)}}=\\frac{\\bar X-\\mu}{\\sqrt{\\frac{\\sigma^2}{n}}}=\\sqrt{n}\\frac{\\bar X-\\mu}{\\sigma}$\n$\\alpha=0,05 \\Leftrightarrow 1-\\frac{\\alpha}{2}=0,975$\n查表可知：$c=\\phi^{-1}(0,975)=1,960$\n又$P(|\\sqrt{n}\\frac{\\bar X-\\mu}{\\sigma}|\\leq c)=1-\\alpha=0,95$\n$|\\sqrt{n}\\frac{\\bar X-\\mu}{\\sigma}|\\leq c$\n$\\Leftrightarrow -c \\leq\\sqrt{n}\\frac{\\bar X-\\mu}{\\sigma} \\leq c$\n$\\Leftrightarrow -c\\frac{\\sigma}{\\sqrt{n}} \\leq \\bar X-\\mu \\leq c\\frac{\\sigma}{\\sqrt{n}}$\n$\\Leftrightarrow -c\\frac{\\sigma}{\\sqrt{n}}-\\bar X \\leq -\\mu \\leq c\\frac{\\sigma}{\\sqrt{n}}-\\bar X$\n$\\Leftrightarrow c\\frac{\\sigma}{\\sqrt{n}}+\\bar X \\geq \\mu \\geq -c\\frac{\\sigma}{\\sqrt{n}}+\\bar X$\n将$\\sigma=\\sqrt{0,04}=0,2, n=100, \\bar X=0,8, c=1,96$代入上式得：\n$1,96\\frac{0,2}{\\sqrt{100}}+0,8 \\geq \\mu \\geq -1,96\\frac{0,2}{\\sqrt{100}}+0,8$\n$\\Leftrightarrow 0,8392 \\geq \\mu \\geq 0,7608$\n因此$\\mu \\in [0,7608 , 0,8392]$是$\\mu$的0,95-置信空间。\n也就是说我们估计$\\mu$有95的概率落在[0,7608 , 0,8392]此区间。\n","permalink":"https://blog.aixup.de/posts/binomialverteilung/","summary":"\u003cp\u003e缘自不理解二项分布的期望，方差和似然函数，而又必须面对期末考试，为了不挂科所以必须把这些概念和推导搞明白。\u003c/p\u003e\n\u003ch3 id=\"二项分布是啥\"\u003e二项分布是啥？\u003c/h3\u003e\n\u003cp\u003e伯努力实验（Bernoulli-Experiment）：非黑即白，只有{1,0}两个结果。1:事件发生，0:事件不发生。\u003cbr\u003e\n一般我们会做这样的实验：抛n次硬币，m次是头(Kopf)的概率。这就服从二项分布。\u003c/p\u003e\n\u003cp\u003e**特别注意：**我们必须分清，整个N次实验对应的随机变量X和单次的（比如：$\\bar X$，此时$\\bar X$对应的正态分布函数和X是不同的。）\u003c/p\u003e\n\u003chr\u003e\n\u003ch3 id=\"n次和1次\"\u003eN次和1次\u003c/h3\u003e\n\u003cp\u003e首先我必须吐槽一下，我个人经常被二项分布里的N次实验和1次实验（比如均值）给弄得找不着北。我们知道期望一般都是用符号$\\mu$来表示，但是经常我们看到的是这样：\u003c/p\u003e\n\u003cul\u003e\n\u003cli\u003e$N次实验: E(X)=\\mu$\u003c/li\u003e\n\u003cli\u003e$均值\\bar X的期望: E(\\bar X)=\\frac{1}{n}\\sum_{i=1}^nE(x_i)=\\frac{1}{n}n\\mu=\\mu$\u003c/li\u003e\n\u003c/ul\u003e\n\u003cp\u003e我不禁要说，这是闹哪样？你俩的结果看起来完全一样！这导致我一直不理解二项分布。实际上我们应该像\u003ca href=\"https://zh.wikipedia.org/wiki/%E4%BA%8C%E9%A0%85%E5%88%86%E4%BD%88\"\u003ewikipedia\u003c/a\u003e上一样写：\u003c/p\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cp\u003e$N次实验: E(X)=\\mu_n$\u003c/p\u003e\n\u003cp\u003e下标加上n就知道是n次伯努力实验，因此$\\mu_n=np$。\u003c/p\u003e\n\u003c/li\u003e\n\u003cli\u003e\n\u003cp\u003e$均值\\bar X的期望: E(\\bar X)=\\frac{1}{n}\\sum_{i=1}^nE(x_i)=\\frac{1}{n}n\\mu=\\mu$\u003c/p\u003e\n\u003cp\u003e这里不用变，因为就表示一次伯努力实验，一次实验的结果只有0和1的可能。当P代表出现的概率时，$E(x_i)=P+0(1-P)=P=\\mu$。所以一次实验的期望始终是P。\u003c/p\u003e\n\u003c/li\u003e\n\u003c/ul\u003e\n\u003ch3 id=\"二项分布均值的期望和方差\"\u003e二项分布均值的期望和方差\u003c/h3\u003e\n\u003cp\u003e事件发生的概率 P，对应于值「1」\u003cbr\u003e\n事件未发生的概率 1-P，对应于值「0」\u003c/p\u003e\n\u003col\u003e\n\u003cli\u003e一次伯努力实验的期望和方差，如下：\u003cbr\u003e\n$E(x_i)=P+0(1-P)=P=\\mu,i=1,2,3…n$\u003cbr\u003e\n$Var(x_i)=E((x_i-\\mu)^2)=E(x_i^2)-\\mu^2=1^2P+0^2(1-P)=P-\\mu^2=P-P^2=P(1-P)$\u003c/li\u003e\n\u003cli\u003e均值的期望和方差\u003cbr\u003e\n$E(\\bar X)=\\frac{1}{n}\\sum_{i=1}^nE(x_i)=\\frac{1}{n}n\\mu=\\mu＝P$\u003cbr\u003e\n$Var(\\bar X)=Var(\\frac{x_1+…+x_n}{n})=\\frac{1}{n^2}\\sum_{i=1}^nVar(x_i)=\\frac{1}{n^2}n\\sigma^2=\\frac{\\sigma^2}{n}=\\frac{P(1-P)}{n}$\u003c/li\u003e\n\u003c/ol\u003e\n\u003ch3 id=\"正态分布关于均值的考试题型\"\u003e正态分布关于均值的考试题型\u003c/h3\u003e\n\u003cp\u003e我经常在置信区间遇到这种类型的题目。比如平时练习中的一道题：\u003c/p\u003e\n\u003cblockquote\u003e\n\u003cp\u003eEin Psychologe misst bei 100 zufällig ausgewählten Personen die Reaktionszeit auf ein bestimmtes Signal. Dabei ergibt sich ein Mittelwert von $\\bar X = 0,80$ Sekunden. Unter Annahme, dass die Zufallsvariablen $X_1, …, X_{100}$, welche die Reaktionszeit beschreiben, unabhängig und $N(\\mu, 0,04)$-verteilt sind, berechne man ein 0,95-Konfidenzintervall für $\\mu$.\u003cbr\u003e\n一次心理测验中，随机选中100个人，测试其对于一个特定信号的反应时间。给定平均值为0,80秒。在这种假设下，每个随机变量$X_1, …, X_{100}$都描述反应时间，它们互相独立且满足$N(\\mu, 0,04)$正态分布，求0,95-置信区间下的$\\mu$。注：0,04=0.04\u003c/p\u003e","title":"二项分布令人迷惑的n次和1次实验的期望"},{"content":"本文主要通过checked Exception探讨两者的区别，因为checked必须处理，否则编译出错。当我们理解了throw,throws对checked Exception的作用，unchecked也迎刃而解。\nthrows 用来声明可能会抛出的异常，然后将异常处理交由上级处理。这样写代码的时候可以不用try..catch。\n//通过throws处理异常 class Person { public void eat() throws FileNotFoundException { FileInputStream fs = new FileInputStream(\u0026#34;fruit.txt\u0026#34;); //此处可能会出现FileNotFoundException， //而FileNotFoundException 属于checked Exception， //因此必须处理该异常，你是用throws的方式抛出给上级去处理或者自己try...catch就由你自己权衡。 } } //通过try...catch处理异常 class Person { public void eat() { try { FileInputStream fs = new FileInputStream(\u0026#34;fruit.txt\u0026#34;); } catch (FileNotFoundException e) { //可以什么都不做 } //编译不会报错。但是如果谁调用此方法，必须处理该checked Exception（这两种方法任选其一），否则编译报错。 } } 由此看来，throws是一种用来处理异常的方式，即声明异常交由上级调用者处理，这样在对checked Exception必须做出处理时，免去了try…catch。\nthrow 直接抛出一个异常。如果抛出checked Exception，那么必须处理，还是一个道理，上面的方式两选一。\n//throw 抛出异常 //如果你这么写，编译报错 class Person { public void eat() { throw new FileNotFoundException(\u0026#34;checked Exception\u0026#34;); //抛出checked Exception，但是没处理。 } } //第一种：throws交由上级处理 class Person { public void eat() throws FileNotFoundException { throw new FileNotFoundException(\u0026#34;checked Exception\u0026#34;); } } //为何此处既有throw又有throws呢？throw抛出异常，throws\u0026#34;处理\u0026#34;(交由上级处理)异常，两者分工合作很愉快。 //第二种：try...catch处理 //此处仅供学习，应该没人这么写。 class Person { public void eat() { try { throw new FileNotFoundException(\u0026#34;checked Exception\u0026#34;); } catch (FileNotFoundException e) { //do something } } } 为什么throw抛出异常的第二种方式正常不会有人这样写？ **我的思考是：**用try去抛出一个异常然后自己再去catch并处理，这不是多此一举吗！我们用throw抛出一个异常肯定是希望上级去处理，所以应该用第一种。另外，我们经常用throw去抛出一个unchecked Exception给上级。\n至此，unchecked Exception的处理也是同样的道理，只是编译器不强制你处理，所以编译能通过，但是程序一旦运行（所以它也称Runtime Exception），unchecked Exception没有被处理，程序肯定是要崩溃的。\n","permalink":"https://blog.aixup.de/posts/throw-throws-java/","summary":"\u003cp\u003e本文主要通过checked Exception探讨两者的区别，因为checked必须处理，否则编译出错。当我们理解了throw,throws对checked Exception的作用，unchecked也迎刃而解。\u003c/p\u003e\n\u003cul\u003e\n\u003cli\u003ethrows\u003c/li\u003e\n\u003c/ul\u003e\n\u003cp\u003e用来声明可能会抛出的异常，然后将异常处理交由上级处理。这样写代码的时候可以不用try..catch。\u003c/p\u003e\n\u003cdiv class=\"highlight\"\u003e\u003cpre tabindex=\"0\" class=\"chroma\"\u003e\u003ccode class=\"language-java\" data-lang=\"java\"\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"c1\"\u003e//通过throws处理异常\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"kd\"\u003eclass\u003c/span\u003e \u003cspan class=\"nc\"\u003ePerson\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"p\"\u003e{\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"w\"\u003e\t\u003c/span\u003e\u003cspan class=\"kd\"\u003epublic\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"kt\"\u003evoid\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"nf\"\u003eeat\u003c/span\u003e\u003cspan class=\"p\"\u003e()\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"kd\"\u003ethrows\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"n\"\u003eFileNotFoundException\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"p\"\u003e{\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"w\"\u003e\t\t\u003c/span\u003e\u003cspan class=\"n\"\u003eFileInputStream\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"n\"\u003efs\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"o\"\u003e=\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"k\"\u003enew\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"n\"\u003eFileInputStream\u003c/span\u003e\u003cspan class=\"p\"\u003e(\u003c/span\u003e\u003cspan class=\"s\"\u003e\u0026#34;fruit.txt\u0026#34;\u003c/span\u003e\u003cspan class=\"p\"\u003e);\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"w\"\u003e\t\t\u003c/span\u003e\u003cspan class=\"c1\"\u003e//此处可能会出现FileNotFoundException，\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"w\"\u003e\t\t\u003c/span\u003e\u003cspan class=\"c1\"\u003e//而FileNotFoundException 属于checked Exception，\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"w\"\u003e\t\t\u003c/span\u003e\u003cspan class=\"c1\"\u003e//因此必须处理该异常，你是用throws的方式抛出给上级去处理或者自己try...catch就由你自己权衡。\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"w\"\u003e\t\u003c/span\u003e\u003cspan class=\"p\"\u003e}\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"p\"\u003e}\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"c1\"\u003e//通过try...catch处理异常\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"kd\"\u003eclass\u003c/span\u003e \u003cspan class=\"nc\"\u003ePerson\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"p\"\u003e{\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"w\"\u003e\t\u003c/span\u003e\u003cspan class=\"kd\"\u003epublic\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"kt\"\u003evoid\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"nf\"\u003eeat\u003c/span\u003e\u003cspan class=\"p\"\u003e()\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"p\"\u003e{\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"w\"\u003e\t\t\u003c/span\u003e\u003cspan class=\"k\"\u003etry\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"p\"\u003e{\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"w\"\u003e\t\t\t\u003c/span\u003e\u003cspan class=\"n\"\u003eFileInputStream\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"n\"\u003efs\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"o\"\u003e=\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"k\"\u003enew\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"n\"\u003eFileInputStream\u003c/span\u003e\u003cspan class=\"p\"\u003e(\u003c/span\u003e\u003cspan class=\"s\"\u003e\u0026#34;fruit.txt\u0026#34;\u003c/span\u003e\u003cspan class=\"p\"\u003e);\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"w\"\u003e\t\t\u003c/span\u003e\u003cspan class=\"p\"\u003e}\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"k\"\u003ecatch\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"p\"\u003e(\u003c/span\u003e\u003cspan class=\"n\"\u003eFileNotFoundException\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"n\"\u003ee\u003c/span\u003e\u003cspan class=\"p\"\u003e)\u003c/span\u003e\u003cspan class=\"w\"\u003e \u003c/span\u003e\u003cspan class=\"p\"\u003e{\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"w\"\u003e\t\t\t\u003c/span\u003e\u003cspan class=\"c1\"\u003e//可以什么都不做\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"w\"\u003e\t\t\u003c/span\u003e\u003cspan class=\"p\"\u003e}\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"w\"\u003e\t\t\u003c/span\u003e\u003cspan class=\"c1\"\u003e//编译不会报错。但是如果谁调用此方法，必须处理该checked Exception（这两种方法任选其一），否则编译报错。\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"w\"\u003e\t\u003c/span\u003e\u003cspan class=\"p\"\u003e}\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003cspan class=\"line\"\u003e\u003cspan class=\"cl\"\u003e\u003cspan class=\"p\"\u003e}\u003c/span\u003e\u003cspan class=\"w\"\u003e\n\u003c/span\u003e\u003c/span\u003e\u003c/span\u003e\u003c/code\u003e\u003c/pre\u003e\u003c/div\u003e\u003cp\u003e由此看来，throws是一种用来处理异常的方式，即声明异常交由上级调用者处理，这样在对checked Exception必须做出处理时，免去了try…catch。\u003c/p\u003e\n\u003cul\u003e\n\u003cli\u003ethrow\u003c/li\u003e\n\u003c/ul\u003e\n\u003cp\u003e直接抛出一个异常。如果抛出checked Exception，那么必须处理，还是一个道理，上面的方式两选一。\u003c/p\u003e","title":"throw and throws in Java"},{"content":"为什么有语法？ 语法是后于语言出现的，是为了规范语言，使表达没有歧义。\n系动词、定状补 系动词：起连系作用的词。\n补语：补充主语或宾语\n定语：修饰名词 形容词 定语从句（有时候带逻辑，带动词关系） 介词加名词\n状语：修饰动词 时间 地点 条件 原因 结果 频率 方式 目的\n我在楼下碰到小偷。 在楼下只和碰到这个动词有关系。\nTip: 瞬间动作加ing变成将来\ngoing: going to coming: The rain is coming，将要下雨了。 dying: die的现在分词，The old man is dying。这位老人即将离世。快要死了，而不你不能说正在死，没死绝。\n核心动词定位 be动词 动词原形，三单(v-es)，过去式（did,-ed） 助动词 当动词想表达否定，倒装，完成 do did does have has had 情态动词 与核心动词搭配使用。can shall may could should might 非谓语动词的形式 现在分词 -ing 主动发出，正在进行 过去分词 -ed 被动接受，已经完成 不定式 to do 目的意图，将来趋势\n非谓语动词：除不能作系动词、谓语。其他成分都可以。\n状语：如何用一个动词去修饰核心动词。多个动词同时发生，主要动词作核心动词，其他动词则用非谓语形式出现。如：\nAfter heartbroken（整个句子主语都是he，无需写）, he left his city, crying, to look for a new life.\nAfter encouraged by his teacher, he quited present job, preparing to go abroad.\n**注：**两个句子（前提是句子，如果短语的话就不需要）间逗号隔开，必须用连词。所以上面例子中preparing前不用加连词。\n下节提示 动词又分 及物 不及物 接物时需要介词，介词表达动词的方向或结果 介词 ","permalink":"https://blog.aixup.de/posts/grammar-lesson2/","summary":"\u003ch2 id=\"为什么有语法\"\u003e为什么有语法？\u003c/h2\u003e\n\u003cp\u003e语法是后于语言出现的，是为了规范语言，使表达没有歧义。\u003c/p\u003e\n\u003ch2 id=\"系动词定状补\"\u003e系动词、定状补\u003c/h2\u003e\n\u003cp\u003e系动词：起连系作用的词。\u003c/p\u003e\n\u003cp\u003e补语：补充主语或宾语\u003c/p\u003e\n\u003cp\u003e定语：修饰名词 形容词 定语从句（有时候带逻辑，带动词关系） 介词加名词\u003c/p\u003e\n\u003cp\u003e状语：修饰动词 时间 地点 条件 原因 结果 频率 方式 目的\u003cbr\u003e\n我在楼下碰到小偷。 在楼下只和碰到这个动词有关系。\u003c/p\u003e\n\u003cp\u003e\u003cstrong\u003eTip:\u003c/strong\u003e 瞬间动作加ing变成将来\u003c/p\u003e\n\u003cblockquote\u003e\n\u003cp\u003egoing: going to\ncoming: The rain is coming，将要下雨了。\ndying: die的现在分词，The old man is dying。这位老人即将离世。快要死了，而不你不能说正在死，没死绝。\u003c/p\u003e\n\u003c/blockquote\u003e\n\u003ch2 id=\"核心动词定位\"\u003e核心动词定位\u003c/h2\u003e\n\u003col\u003e\n\u003cli\u003ebe动词\u003c/li\u003e\n\u003cli\u003e动词原形，三单(v-es)，过去式（did,-ed）\u003c/li\u003e\n\u003cli\u003e助动词\u003c/li\u003e\n\u003c/ol\u003e\n\u003cul\u003e\n\u003cli\u003e当动词想表达否定，倒装，完成 do did does have has had\u003c/li\u003e\n\u003c/ul\u003e\n\u003col start=\"4\"\u003e\n\u003cli\u003e情态动词\u003c/li\u003e\n\u003c/ol\u003e\n\u003cul\u003e\n\u003cli\u003e与核心动词搭配使用。can shall may could should might\u003c/li\u003e\n\u003c/ul\u003e\n\u003ch2 id=\"非谓语动词的形式\"\u003e非谓语动词的形式\u003c/h2\u003e\n\u003col\u003e\n\u003cli\u003e现在分词 -ing\u003c/li\u003e\n\u003c/ol\u003e\n\u003cul\u003e\n\u003cli\u003e主动发出，正在进行\u003c/li\u003e\n\u003c/ul\u003e\n\u003col start=\"2\"\u003e\n\u003cli\u003e过去分词 -ed\u003c/li\u003e\n\u003c/ol\u003e\n\u003cul\u003e\n\u003cli\u003e被动接受，已经完成\u003c/li\u003e\n\u003c/ul\u003e\n\u003col start=\"3\"\u003e\n\u003cli\u003e不定式 to do\u003c/li\u003e\n\u003c/ol\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cp\u003e目的意图，将来趋势\u003c/p\u003e\n\u003c/li\u003e\n\u003cli\u003e\n\u003cp\u003e非谓语动词：除不能作系动词、谓语。其他成分都可以。\u003c/p\u003e\n\u003c/li\u003e\n\u003cli\u003e\n\u003cp\u003e状语：如何用一个动词去修饰核心动词。多个动词同时发生，主要动词作核心动词，其他动词则用非谓语形式出现。如：\u003c/p\u003e\n\u003c/li\u003e\n\u003c/ul\u003e\n\u003cblockquote\u003e\n\u003cp\u003eAfter heartbroken（整个句子主语都是he，无需写）, he left his city, crying, to look for a new life.\u003cbr\u003e\nAfter encouraged by his teacher, he quited present job, preparing to go abroad.\u003c/p\u003e","title":"语法笔记「二」"},{"content":"冠词 定冠词 你我都明确知道的东西。如果对方不知道的话肯定回问，你说的是哪个东西啊。 专属名词 The yellow river. The summer palace. 不定冠词：某个。 零冠词：泛指某类。 注意：中文句子中带冠词英文也得有。\n句子连接 一个句子的核心是动词。\n两个句子用逗号分隔中间必须有连词（不能是带有连接意思的副词或者短语，如副词however）\n两个句子联系并不紧密可用：\n分号：类比 排列 概念并列并不是动作 句号： 句子分析 By the 1970s, a new respect for the place of buildings within the existing townscape arose.\nPeople who lived(从句动词) in the cities and were（从句动词，与前面lived并列） not directly involved in trade often participated(核心动词) in small cottage industries making(非谓语动词，ing在主动词发生过程中，伴随着发生) handcrafted goods. 参加到作坊的同时，做手工艺品。\n非谓语动词 现在分词 -ing 主动发出，正在进行 2. 过去/分词 -ed\n被动，已经完成 3. 将来 -to do\n简单句结构 主谓宾 动作的发出和接受关系 主谓\n谓宾 祈使句，你知道主语是谁。Help me.\n主谓 双宾语\n主谓宾+宾补 I elect you our monitor.\n双宾语和宾补的区别？\n双宾语可以将动词后的名词（通常是人）加上介词放到直接宾语（原句中一般是物）后面。例：I baked him a cake = I baked a cake for him。 核心动词是bake，我们bake什么？蛋糕，而不是他！\n宾补是对宾语的补充和描述。例：I elect you president。如果把句子当成双宾语：I elect president for/to you。 这表达完全不对。所以正确理解是：我选你，你当班长。班长用来补充你。「我选你」，句子明显少信息。\n主系表 状态和表达的描述关系 例：这个菜很难吃。我很冷。 感官动词也是系动词 ","permalink":"https://blog.aixup.de/posts/grammar-lesson1/","summary":"\u003ch2 id=\"冠词\"\u003e冠词\u003c/h2\u003e\n\u003col\u003e\n\u003cli\u003e定冠词\u003c/li\u003e\n\u003c/ol\u003e\n\u003cul\u003e\n\u003cli\u003e你我都明确知道的东西。如果对方不知道的话肯定回问，你说的是哪个东西啊。\u003c/li\u003e\n\u003cli\u003e专属名词 The yellow river. The summer palace.\u003c/li\u003e\n\u003c/ul\u003e\n\u003col start=\"2\"\u003e\n\u003cli\u003e不定冠词：某个。\u003c/li\u003e\n\u003cli\u003e零冠词：泛指某类。\u003c/li\u003e\n\u003c/ol\u003e\n\u003cp\u003e\u003cstrong\u003e注意：中文句子中带冠词英文也得有。\u003c/strong\u003e\u003c/p\u003e\n\u003ch2 id=\"句子连接\"\u003e句子连接\u003c/h2\u003e\n\u003cp\u003e一个句子的核心是动词。\u003c/p\u003e\n\u003cp\u003e两个句子用逗号分隔中间必须有连词（不能是带有连接意思的副词或者短语，如副词however）\u003c/p\u003e\n\u003cp\u003e两个句子联系并不紧密可用：\u003c/p\u003e\n\u003cul\u003e\n\u003cli\u003e分号：类比 排列 概念并列并不是动作\u003c/li\u003e\n\u003cli\u003e句号：\u003c/li\u003e\n\u003c/ul\u003e\n\u003ch2 id=\"句子分析\"\u003e句子分析\u003c/h2\u003e\n\u003cp\u003eBy the 1970s, a new respect for the place of buildings within the existing townscape arose.\u003c/p\u003e\n\u003cp\u003ePeople who lived(从句动词) in the cities and were（从句动词，与前面lived并列） not directly involved in trade often participated(核心动词) in small cottage industries making(非谓语动词，ing在主动词发生过程中，伴随着发生) handcrafted goods. 参加到作坊的同时，做手工艺品。\u003c/p\u003e\n\u003ch2 id=\"非谓语动词\"\u003e非谓语动词\u003c/h2\u003e\n\u003col\u003e\n\u003cli\u003e现在分词 -ing\u003c/li\u003e\n\u003c/ol\u003e\n\u003cp\u003e主动发出，正在进行\n2. 过去/分词 -ed\u003c/p\u003e\n\u003cp\u003e被动，已经完成\n3. 将来 -to do\u003c/p\u003e","title":"语法笔记「一」"}]