First-order Logic vs Second-order Logic

17 Feb 2016

Please check this link to see an interesting discussion.

For more information, check some explanations from Wikipedia:

1. Higher-order Logic

2. Second-order Logic

Console-based Applications using Spring Boot

17 Feb 2016

Check this link to see how things can be done with the usual Spring Boot magic.

Proof by Contradiction and Examples

15 Feb 2016

Given a set of premises S, a proposition P, and a contradiction F, the proof by contradiction is represented as:

S U {~P} |= F implies S |= P

Example

Prove that there is no greatest even integer.

Suppose that the proposition is false, i.e. there is greatest even integer N. We then need to show a contradiction.

There is greatest even integer N <==> for every even integer n, N >= n.

Now, suppose M = N + 2. Then, M is also an even and M > N (because M = N + 2). Hence, this contradicts the supposition that N >= n for all even integers.

Hence, the supposition is false and the statement there is no greatest even integer is true.

This completes the proof.

More Details

1. Link to Proof Theory section of Prof. Rashid’s homepage

2. Link to Wikipedia page

วิธีเดินทางออกนอกญี่ปุ่นไม่เกิน 1 ปี

15 Feb 2016

โดยปกติ การถือ Single Visa ทำให้เราได้สิทธิในการออกนอกประเทศที่มาอาศัยเพียงครั้งเดียว (ถึงเรียก “Single”) หากต้องการสิทธิที่ใช้สำหรับ เข้า-ออก มากกว่า 1 ครั้ง เราต้องขอสิทธิ Reentry Permission เมื่อเราได้สิทธิมาแล้ว จะทำให้เราสามารถออกนอกประเทศได้เป็นระยะเวลานานถึง 5 ปี และ เข้า-ออกกี่ครั้งก็ได้

อย่างไรก็ตาม หากเราต้องการ เข้า-ออก และ ออกจากญี่ปุ่นระยะสั้น (น้อยกว่า หรือ เท่ากับ 1 ปี) เราสามารถใช้สิทธิ Special Reentry ได้ ซึ่งสิทธินี้จะมีในทุกคนที่ถือ Resident Card

วิธีอ้างสิทธิ Special Reentry

1. แสดงบัตร Resident Card ที่ ตม
2. ติ้กถูกช่อง Special Reentry ที่บัตรขาออก (ตามรูป)

For non-Thai readers, please follow this link.

List of Submitting Journals

14 Feb 2016

Following is a list of journals ordered by an impact factor. Note that all the information here is gathered on February 2016 (Today’s post).

1. [Q1] Journal of Web Semantics
   H Index: 54
   

2. [Q1] Journal of Automated Reasoning
   H Index: 39
   

3. [Q2, Impact Factor: 2.308 (evaluated in 2012)] International Journal on Semantic Web and Information Systems
   H Index: 23
   

4. [Q2, Impact Factor: 0.886] Journal of Intelligent Information Systems
   H Index: 41
   

5. [Q4, Impact Factor: 0.504] The journal Computing and Informatics
   H Index: 18
   

Important Terms

1. SJR (SCImago Journal Rank) indicator It expresses the average number of weighted citations received in the selected year by the documents published in the selected journal in the three previous years, –i.e. weighted citations received in year X to documents published in the journal in years X-1, X-2 and X-3.

2. H Index The h index expresses the journal’s number of articles (h) that have received at least h citations. It quantifies both journal scientific productivity and scientific impact and it is also applicable to scientists, countries, etc.

Check out this link for more information.